Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Paolo Ballarini"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 14, Iss Proc. PDMC 2009, Pp 47-61 (2009)
We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined
Externí odkaz:
https://doaj.org/article/68d9643601cf448cba6cbaec4a4eb33f
Autor:
Paolo Ballarini, Benoît Barbot
Publikováno v:
ACM SIGMETRICS Performance Evaluation Review. 49:65-69
Cosmos is a statistical model checker for Hybrid Automata Stochastic Logic (HASL).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac2c0e7711665d576b1ae9bb4ed8e200
https://doi.org/10.1145/3543146.3543161
https://doi.org/10.1145/3543146.3543161
Publikováno v:
Theoretical Computer Science. 893:191-219
We present an adaptation of the Approximate Bayesian Computation method to estimate the satisfaction probability function of a temporal logic property for Markov Population Models. In this paper, we tackle the problem of estimating the satisfaction p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::378f8252df929b0a920750bc93df83d5
https://doi.org/10.1016/j.tcs.2021.09.039
https://doi.org/10.1016/j.tcs.2021.09.039
Autor:
András Horváth, Paolo Ballarini
Publikováno v:
2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::539e2bfa6a3da547661727cca6184180
https://doi.org/10.1109/etfa45728.2021.9613494
https://doi.org/10.1109/etfa45728.2021.9613494
Autor:
Paolo Ballarini, András Horváth
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030918248
Design and maintenance of reliable manufacturing systems calls for the development of formal models that allow for performance analysis. We consider the class of manufacturing systems such that the production of a workpiece consists of a sequence of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bb1a566aff3845068b75d8155d11f25
http://hdl.handle.net/2318/1846391
http://hdl.handle.net/2318/1846391
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets
Application and Theory of Petri Nets and Concurrency
Petri Nets
Application and Theory of Petri Nets and Concurrency
Modeling of hospital’s Emergency Departments (ED) is vital for optimisation of health services offered to patients that shows up at an ED requiring treatments with different level of emergency. In this paper we present a modeling study whose contri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18c45a99239cb87acf5c3f8eedf0d444
https://doi.org/10.1007/978-3-030-51831-8_11
https://doi.org/10.1007/978-3-030-51831-8_11
Autor:
Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens
This book constitutes the refereed proceedings of the 17th European Workshop on Computer Performance Engineering, EPEW 2021, and the 26th International Conference, on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2021, held i
Publikováno v:
VALUETOOLS
12th EAI International Conference on Pervasive Computing Technologies for Healthcare
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
12th EAI International Conference on Pervasive Computing Technologies for Healthcare
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
International audience; Carrier sense multiple access collision avoidance (CSMA/CA) is the basic scheme upon which access to the shared medium is regulated in many wireless networks. With CSMA/CA a station willing to start a transmission has first to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0fcb5759671fea02c2a3a6bcefc7db8f
https://doi.org/10.1145/3306309.3306326
https://doi.org/10.1145/3306309.3306326
Publikováno v:
Computational Methods in Systems Biology ISBN: 9783030313036
CMSB
CMSB
Time-bounded reachability problems are concerned with assessing whether a model’s trajectories traverse a given region of the state-space within given time-bounds. In the case of stochastic models reachability is associated with a measure of probab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78247be1c66e824659b8c1b257ff457a
https://doi.org/10.1007/978-3-030-31304-3_11
https://doi.org/10.1007/978-3-030-31304-3_11
Publikováno v:
2018 IEEE International Systems Engineering Symposium (ISSE)
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
International audience; The Business Process Model Annotation (BPMN) is a graphical notation aimed at building intuitive representations of complex business processes. Although a useful means for documenting of business processes the main limitation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61a284d2e31d1d516e48a4a4129174e8
https://hal-centralesupelec.archives-ouvertes.fr/hal-02194937
https://hal-centralesupelec.archives-ouvertes.fr/hal-02194937