default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Ballarini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c32]Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall:
A Framework for Optimisation Based Stochastic Process Discovery. QEST+FORMATS 2024: 34-51- [i5]Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède:
A Formal Approach for Tuning Stochastic Oscillators. CoRR abs/2405.09183 (2024) - [i4]Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall:
A framework for optimisation based stochastic process discovery. CoRR abs/2406.10817 (2024) - 2023
- [b1]Paolo Ballarini:
Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. (Contributions à la modélisation formelle et à l'analyse de modèles stochastiques). University of Paris-Saclay, France, 2023 - [c31]Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède:
A Formal Approach for Tuning Stochastic Oscillators. CMSB 2023: 1-17 - 2022
- [j12]Paolo Ballarini, Benoît Barbot
:
Cosmos: Evolution of a Statistical Model Checking Platform. SIGMETRICS Perform. Evaluation Rev. 49(4): 65-69 (2022) - 2021
- [j11]Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède:
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. Theor. Comput. Sci. 893: 191-219 (2021) - [c30]Paolo Ballarini, András Horváth:
Performance Analysis of Production Lines Through Statistical Model Checking. EPEW 2021: 264-281 - [c29]Paolo Ballarini, András Horváth:
Formal analysis of production line systems by probabilistic model checking tools. ETFA 2021: 1-8 - [e2]Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens:
Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings. Lecture Notes in Computer Science 13104, Springer 2021, ISBN 978-3-030-91824-8 [contents] - 2020
- [c28]Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri:
Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Petri Nets 2020: 219-238
2010 – 2019
- 2019
- [c27]Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède:
Reachability Design Through Approximate Bayesian Computation. CMSB 2019: 207-223 - [c26]Paolo Ballarini, Benoît Barbot, Nicolas Vasselin:
Performance modelling of access control mechanisms for local and vehicular wireless networks. VALUETOOLS 2019: 111-118 - [i3]Paolo Ballarini, Benoît Barbot, Nicolas Vasselin:
Performance modelling of access control mechanisms for local and vehicular wireless networks. CoRR abs/1901.04285 (2019) - 2018
- [e1]Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke:
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Lecture Notes in Computer Science 11178, Springer 2018, ISBN 978-3-030-02226-6 [contents] - 2017
- [j10]Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman:
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurr. Comput. Pract. Exp. 29(23) (2017) - [c25]Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston:
Analysis of Timed Properties Using the Jump-Diffusion Approximation. EPEW 2017: 69-84 - 2016
- [j9]Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède:
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach. Bioinform. 32(17): 781-789 (2016) - [c24]Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini:
Stochastic models for IEEE 802.11p. ISCC 2016: 74-78 - 2015
- [j8]Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin:
HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation 90: 53-77 (2015) - [j7]Paolo Ballarini:
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. Int. J. Softw. Tools Technol. Transf. 17(4): 505-526 (2015) - [j6]Paolo Ballarini, Marie Duflot:
Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theor. Comput. Sci. 599: 4-33 (2015) - [j5]Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini:
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Tech. Sci. Informatiques 34(5): 575-600 (2015) - 2014
- [c23]Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini:
An LTL Model Checking Approach for Biological Parameter Inference. ICFEM 2014: 155-170 - [c22]Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny:
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) 2014: 193-207 - [i2]Paolo Ballarini:
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. CoRR abs/1410.4027 (2014) - 2013
- [j4]Paolo Ballarini, Lynda Mokdad, Quentin Monnet:
Modeling tools for detecting DoS attacks in WSNs. Secur. Commun. Networks 6(4): 420-436 (2013) - [c21]Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets 2013: 110-129 - [c20]Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario:
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. QEST 2013: 355-371 - 2012
- [j3]Tommaso Mazza, Paolo Ballarini, Rosita Guido, Davide Prandi:
The Relevance of Topology in Parallel Simulation of Biological Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 9(3): 911-923 (2012) - [c19]Paolo Ballarini, Jarno Mäkelä, Andre S. Ribeiro:
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. CMSB 2012: 29-48 - [c18]Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad:
Quantitative Verification of WiMAX Traffic Shaping Solutions. ANT/MobiWIS 2012: 1026-1031 - 2011
- [c17]Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin:
Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE 2011: 588-593 - [c16]Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin:
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST 2011: 143-144 - [c15]Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin:
HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS 2011: 306-315 - 2010
- [j2]Paolo Ballarini, Maria Luisa Guerriero:
Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci. 411(20): 2019-2036 (2010) - [c14]Paolo Ballarini:
Latency analysis of a contention based MAC protocol for Sensor Networks. ISCC 2010: 1103-1108
2000 – 2009
- 2009
- [j1]Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi:
Taming the complexity of biological pathways through parallel computing. Briefings Bioinform. 10(3): 278-288 (2009) - [c13]Corrado Priami, Paolo Ballarini, Paola Quaglia:
BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51 - [c12]Paolo Ballarini, András Horváth:
Memory efficient analysis for a class of large structured Markov chains: work in progress. VALUETOOLS 2009: 21 - [c11]Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi:
Efficient Parallel Statistical Model Checking of Biochemical Networks. PDMC 2009: 47-61 - [p1]Paolo Ballarini, Michael Fisher, Michael J. Wooldridge:
Uncertain Agent Verification through Probabilistic Model-Checking. Safety and Security in Multiagent Systems 2009: 162-174 - [i1]Attila Csikász-Nagy, Adrien Fauré, Roberto Larcher, Paola Lecca, Ivan Mura, Ferenc Jordán, Alida Palmisano, Alessandro Romanel, Sean Sedwards, Heike Siebert, Sylvain Soliman, Denis Thieffry, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini:
Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology 2009 - 2008
- [c10]Paolo Ballarini, András Horváth:
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST 2008: 157-166 - [c9]Paolo Ballarini, Radu Mardare, Ivan Mura:
Analysing Biochemical Oscillation through Probabilistic Model Checking. FBTC@ICALP 2008: 3-19 - [c8]Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikász-Nagy:
Studying Irreversible Transitions in a Model of Cell Cycle Regulation. PASM@EPEW 2008: 39-53 - 2007
- [c7]Paolo Ballarini, András Horváth:
Compositional Model Checking of product-form CTMCs. AVoCS 2007: 21-37 - 2006
- [c6]Paolo Ballarini, Alice Miller:
Model Checking Medium Access Control for Sensor Networks. ISoLA 2006: 255-262 - 2005
- [c5]Paolo Ballarini, Michael Fisher, Michael J. Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study. MoChArt@CONCUR/SPIN 2005: 125-137 - 2004
- [c4]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563 - 2003
- [c3]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro:
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD 2003: 111-121 - 2002
- [c2]Paolo Ballarini, Simona Bernardi, Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784 - 2000
- [c1]Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis:
Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-11 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
