Paolo Ballarini

According to our database, Paolo Ballarini authored at least 46 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Formal Approach for Tuning Stochastic Oscillators.

Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède

Proceedings of the Computational Methods in Systems Biology, 2023

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

2022

Cosmos: Evolution of a Statistical Model Checking Platform.

Paolo Ballarini, Benoît Barbot

SIGMETRICS Perform. Evaluation Rev., 2022

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

Formal analysis of production line systems by probabilistic model checking tools.

Paolo Ballarini, András Horváth

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Performance Analysis of Production Lines Through Statistical Model Checking.

Paolo Ballarini, András Horváth

Proceedings of the Performance Engineering and Stochastic Modeling, 2021

2020

Petri Nets Validation of Markovian Models of Emergency Department Arrivals.

Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Performance modelling of access control mechanisms for local and vehicular wireless networks.

Paolo Ballarini, Benoît Barbot, Nicolas Vasselin

Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

Reachability Design Through Approximate Bayesian Computation.

Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède

Proceedings of the Computational Methods in Systems Biology, 2019

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

Analysis of Timed Properties Using the Jump-Diffusion Approximation.

Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

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

Stochastic models for IEEE 802.11p.

Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini

Proceedings of the IEEE Symposium on Computers and Communication, 2016

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

Applications of an expressive statistical model checking approach to the analysis of genetic circuits.

Paolo Ballarini, Marie Duflot

Theor. Comput. Sci., 2015

Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking.

Paolo Ballarini

Int. J. Softw. Tools Technol. Transf., 2015

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

2014

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking.

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An LTL Model Checking Approach for Biological Parameter Inference.

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Modeling tools for detecting DoS attacks in WSNs.

Paolo Ballarini, Lynda Mokdad, Quentin Monnet

Secur. Commun. Networks, 2013

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.

Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Expressing and Computing Passage Time Measures of GSPN Models with HASL.

Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

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

Quantitative Verification of WiMAX Traffic Shaping Solutions.

Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics.

Paolo Ballarini, Jarno Mäkelä, Andre S. Ribeiro

Proceedings of the Computational Methods in Systems Biology, 2012

2011

HASL: an expressive language for statistical verification of stochastic models.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Petri nets compositional modeling and verification of Flexible Manufacturing Systems.

Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Query-based verification of qualitative trends and oscillations in biochemical systems.

Paolo Ballarini, Maria Luisa Guerriero

Theor. Comput. Sci., 2010

Latency analysis of a contention based MAC protocol for Sensor Networks.

Paolo Ballarini

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

2009

Uncertain Agent Verification through Probabilistic Model-Checking.

Paolo Ballarini, Michael Fisher, Michael J. Wooldridge

Proceedings of the Safety and Security in Multiagent Systems, 2009

Efficient Parallel Statistical Model Checking of Biochemical Networks

Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Taming the complexity of biological pathways through parallel computing.

Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi

Briefings Bioinform., 2009

Memory efficient analysis for a class of large structured Markov chains: work in progress.

Paolo Ballarini, András Horváth

Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 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, Judit Zámborszky, Tommaso Mazza, Paolo Ballarini

Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

BlenX4Bio - BlenX for Biologists.

Corrado Priami, Paolo Ballarini, Paola Quaglia

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

Studying Irreversible Transitions in a Model of Cell Cycle Regulation.

Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikász-Nagy

Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Analysing Biochemical Oscillation through Probabilistic Model Checking.

Paolo Ballarini, Radu Mardare, Ivan Mura

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.

Paolo Ballarini, András Horváth

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Compositional Model Checking of product-form CTMCs.

Paolo Ballarini, András Horváth

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2006

Model Checking Medium Access Control for Sensor Networks.

Paolo Ballarini, Alice Miller

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Automated Game Analysis via Probabilistic Model Checking: a case study.

Paolo Ballarini, Michael Fisher, Michael J. Wooldridge

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

2004

Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.

Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis

Proceedings of the Computer and Information Sciences, 2004

2003

Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.

Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.

Paolo Ballarini, Simona Bernardi, Susanna Donatelli

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2000

Parametric Stochastic Well-Formed Nets and Compositional Modelling.

Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis

Proceedings of the Application and Theory of Petri Nets 2000, 2000