Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall. (2026). "An efficient stochastic process discovery framework based on optimization." International Journal on Software Tools for Technology Transfer.
Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. (2025). "Statistical Bayesian Inference for Stochastic Process Discovery." International Conference on Quantitative Evaluation of SysTems (QEST), Aarhus, Denmark.
Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. (2025). "Statistical Bayesian Inference for Stochastic Process Discovery." Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS) 16143.
András Horváth, Paolo Ballarini, Pierre Cry. (2024). "Probabilistic Process Discovery with Stochastic Process Trees." Performance Evaluation Methodologies and Tools (ValueTools) 663.
Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall. (2024). "A framework for optimisation based stochastic process discovery." Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS) 14996, pp. 34–51.
Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède. (2023). "A Formal Approach for Tuning Stochastic Oscillators." Lecture Notes in Computer Science.
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. (2021). "Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models." Theoretical Computer Science 893, pp. 191–219.
Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri. (2020). "Petri Nets Validation of Markovian Models of Emergency Department Arrivals." Application and Theory of Petri Nets and Concurrency (PETRI NETS), pp. 219–238.
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. (2019). "Reachability Design Through Approximate Bayesian Computation." Computational Methods in Systems Biology (CMSB), pp. 207–223.
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. (2016). "HASL: An expressive language for statistical verification of stochastic models." The Computer Journal 59(12), pp. 1817–1830.
Paolo Ballarini, Marie Duflot. (2015). "Applications of an expressive statistical model checking approach to the analysis of genetic circuits." Theoretical Computer Science 599, pp. 4–33.
Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario. (2013). "Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes." Quantitative Evaluation of Systems (QEST), pp. 355–371.
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. (2011). "COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic." Quantitative Evaluation of Systems (QEST), pp. 143–144.
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA, USA
Talk at London School of Testing, London, UK
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley, CA, USA
Talk at UC San Francisco, Department of Testing, San Francisco, CA, USA