Parametric Stochastic Well-Formed Nets and Compositional Modelling. - Paolo Ballarini; Susanna Donatelli; Giuliana Franceschinis (ICATPN, 2000)

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. - Paolo Ballarini; Simona Bernardi 001; Susanna Donatelli (DSN, 2002)

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis; Massimiliano De Pierro (ACSD, 2003)

Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. - Paolo Ballarini; Lorenzo Capra; Giuliana Franceschinis (ISCIS, 2004)

Automated Game Analysis via Probabilistic Model Checking: a case study. - Paolo Ballarini; Michael Fisher 001; Michael J. Wooldridge (MoChArt@CONCUR/SPIN, 2005)

Model Checking Medium Access Control for Sensor Networks. - Paolo Ballarini; Alice Miller 001 (ISoLA, 2006)

Compositional Model Checking of product-form CTMCs. - Paolo Ballarini; András Horváth (AVoCS, 2007)

Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. - Paolo Ballarini; András Horváth (QEST, 2008)

Analysing Biochemical Oscillation through Probabilistic Model Checking. - Paolo Ballarini; Radu Mardare; Ivan Mura (FBTC@ICALP, 2008)

Studying Irreversible Transitions in a Model of Cell Cycle Regulation. - Paolo Ballarini; Tommaso Mazza; Alida Palmisano; Attila Csikász-Nagy (PASM@EPEW, 2008)

BlenX4Bio - BlenX for Biologists. - Corrado Priami; Paolo Ballarini; Paola Quaglia (CMSB, 2009)

Analyzing various models of Circadian Clock and Cell Cycle coupling. - 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; et al. (Formal Methods in Molecular Biology, 2009)

Memory efficient analysis for a class of large structured Markov chains: work in progress. - Paolo Ballarini; András Horváth (VALUETOOLS, 2009)

Taming the complexity of biological pathways through parallel computing. - Paolo Ballarini; Rosita Guido; Tommaso Mazza; Davide Prandi (Briefings Bioinform., 2009)

Efficient Parallel Statistical Model Checking of Biochemical Networks - Paolo Ballarini; Michele Forlin; Tommaso Mazza; Davide Prandi (PDMC, 2009)

Uncertain Agent Verification through Probabilistic Model-Checking. - Paolo Ballarini; Michael Fisher 001; Michael J. Wooldridge (Safety and Security in Multiagent Systems, 2009)

Latency analysis of a contention based MAC protocol for Sensor Networks. - Paolo Ballarini (ISCC, 2010)

Query-based verification of qualitative trends and oscillations in biochemical systems. - Paolo Ballarini; Maria Luisa Guerriero (Theor. Comput. Sci., 2010)

Petri nets compositional modeling and verification of Flexible Manufacturing Systems. - Paolo Ballarini; Hilal Djafri; Marie Duflot; Serge Haddad; Nihal Pekergin (CASE, 2011)

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. - Paolo Ballarini; Hilal Djafri; Marie Duflot; Serge Haddad; Nihal Pekergin (QEST, 2011)

HASL: an expressive language for statistical verification of stochastic models. - Paolo Ballarini; Hilal Djafri; Marie Duflot; Serge Haddad; Nihal Pekergin (VALUETOOLS, 2011)

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. - Paolo Ballarini; Jarno Mäkelä; Andre S. Ribeiro (CMSB, 2012)

Quantitative Verification of WiMAX Traffic Shaping Solutions. - Paolo Ballarini; Jalel Ben-Othman; Lynda Mokdad (ANT/MobiWIS, 2012)

The Relevance of Topology in Parallel Simulation of Biological Networks. - Tommaso Mazza; Paolo Ballarini; Rosita Guido; Davide Prandi (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Expressing and Computing Passage Time Measures of GSPN Models with HASL. - Elvio Gilberto Amparore; Paolo Ballarini; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (Petri Nets, 2013)

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. - Paolo Ballarini; Nathalie Bertrand 001; András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2013)

Modeling tools for detecting DoS attacks in WSNs. - Paolo Ballarini; Lynda Mokdad; Quentin Monnet (Secur. Commun. Networks, 2013)

An LTL Model Checking Approach for Biological Parameter Inference. - Emmanuelle Gallet; Matthieu Manceny; Pascale Le Gall; Paolo Ballarini (ICFEM, 2014)

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. - Paolo Ballarini; Emmanuelle Gallet; Pascale Le Gall; Matthieu Manceny (ISoLA (2), 2014)

HASL: A new approach for performance evaluation and model checking from concepts to experimentation. - Paolo Ballarini; Benoît Barbot; Marie Duflot; Serge Haddad; Nihal Pekergin (Perform. Evaluation, 2015)

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. - Paolo Ballarini (Int. J. Softw. Tools Technol. Transf., 2015)

Applications of an expressive statistical model checking approach to the analysis of genetic circuits. - Paolo Ballarini; Marie Duflot (Theor. Comput. Sci., 2015)

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. - Emmanuelle Gallet; Matthieu Manceny; Pascale Le Gall; Paolo Ballarini (Tech. Sci. Informatiques, 2015)

Stochastic models for IEEE 802.11p. - Lynda Mokdad; Jalel Ben-Othman; Paolo Ballarini (ISCC, 2016)

Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach. - Konstantinos Koutroumpas; Paolo Ballarini; Irene Votsi; Paul-Henry Cournède (Bioinform., 2016)

Analysis of Timed Properties Using the Jump-Diffusion Approximation. - Paolo Ballarini; Marco Beccuti; Enrico Bibbona; András Horváth; Roberta Sirovich; Jeremy Sproston (EPEW, 2017)

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. - Quentin Monnet; Lynda Mokdad; Paolo Ballarini; Youcef Hammal; Jalel Ben-Othman (Concurr. Comput. Pract. Exp., 2017)

Reachability Design Through Approximate Bayesian Computation. - Mahmoud Bentriou; Paolo Ballarini; Paul-Henry Cournède (CMSB, 2019)

Performance modelling of access control mechanisms for local and vehicular wireless networks. - Paolo Ballarini; Benoît Barbot; Nicolas Vasselin (VALUETOOLS, 2019)

Petri Nets Validation of Markovian Models of Emergency Department Arrivals. - Paolo Ballarini; Davide Duma; András Horváth; Roberto Aringhieri (Petri Nets, 2020)

Performance Analysis of Production Lines Through Statistical Model Checking. - Paolo Ballarini; András Horváth (EPEW, 2021)

Formal analysis of production line systems by probabilistic model checking tools. - Paolo Ballarini; András Horváth (ETFA, 2021)

Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. - Mahmoud Bentriou; Paolo Ballarini; Paul-Henry Cournède (Theor. Comput. Sci., 2021)

Cosmos: Evolution of a Statistical Model Checking Platform. - Paolo Ballarini; Benoît Barbot (SIGMETRICS Perform. Evaluation Rev., 2022)

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). - Paolo Ballarini (2023)

A Formal Approach for Tuning Stochastic Oscillators. - Paolo Ballarini; Mahmoud Bentriou; Paul-Henry Cournède (CMSB, 2023)

A Framework for Optimisation Based Stochastic Process Discovery. - Pierre Cry; András Horváth; Paolo Ballarini; Pascale Le Gall (QEST+FORMATS, 2024)

Probabilistic Process Discovery with Stochastic Process Trees. - András Horváth; Paolo Ballarini; Pierre Cry (CoRR, 2025)

Statistical process discovery. - Pierre Cry; Paolo Ballarini; András Horváth; Pascale Le Gall (CoRR, 2025)