Paolo Ballarini

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 15

Top Topics

Stochastic Model

Formal Analysis

Temporal Properties

Top Venues

Theor. Comput. Sci.

Publications

Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
A Formal Approach for Tuning Stochastic Oscillators. CoRR (2024)
Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
A framework for optimisation based stochastic process discovery. CoRR (2024)
Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
A Formal Approach for Tuning Stochastic Oscillators. CMSB (2023)
Paolo Ballarini, Benoît Barbot
Cosmos: Evolution of a Statistical Model Checking Platform. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Paolo Ballarini, András Horváth
Formal analysis of production line systems by probabilistic model checking tools. ETFA (2021)
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 (2021)
Paolo Ballarini, András Horváth
Performance Analysis of Production Lines Through Statistical Model Checking. EPEW (2021)
Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri
Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Petri Nets (2020)
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
Performance modelling of access control mechanisms for local and vehicular wireless networks. CoRR (2019)
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
Performance modelling of access control mechanisms for local and vehicular wireless networks. VALUETOOLS (2019)
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
Reachability Design Through Approximate Bayesian Computation. CMSB (2019)
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)
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)
Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini
Stochastic models for IEEE 802.11p. ISCC (2016)
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) (2016)
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 (2015)
Paolo Ballarini
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Paolo Ballarini, Marie Duflot
Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theor. Comput. Sci. 599 (2015)
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) (2015)
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) (2014)
Paolo Ballarini
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. CoRR (2014)
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
An LTL Model Checking Approach for Biological Parameter Inference. ICFEM (2014)
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)
Paolo Ballarini, Lynda Mokdad, Quentin Monnet
Modeling tools for detecting DoS attacks in WSNs. Secur. Commun. Networks 6 (4) (2013)
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)
Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad
Quantitative Verification of WiMAX Traffic Shaping Solutions. ANT/MobiWIS (2012)
Paolo Ballarini, Jarno Mäkelä, Andre S. Ribeiro
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. CMSB (2012)
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) (2012)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST (2011)
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE (2011)
Paolo Ballarini
Latency analysis of a contention based MAC protocol for Sensor Networks. ISCC (2010)
Paolo Ballarini, Maria Luisa Guerriero
Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci. 411 (20) (2010)
Paolo Ballarini, András Horváth
Memory efficient analysis for a class of large structured Markov chains: work in progress. VALUETOOLS (2009)
Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikász-Nagy
Studying Irreversible Transitions in a Model of Cell Cycle Regulation. Electron. Notes Theor. Comput. Sci. 232 (2009)
Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi
Efficient Parallel Statistical Model Checking of Biochemical Networks PDMC (2009)
Paolo Ballarini, András Horváth
Compositional Model Checking of product-form CTMCs. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Paolo Ballarini, Radu Mardare, Ivan Mura
Analysing Biochemical Oscillation through Probabilistic Model Checking. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi
Taming the complexity of biological pathways through parallel computing. Briefings Bioinform. 10 (3) (2009)
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)
Corrado Priami, Paolo Ballarini, Paola Quaglia
BlenX4Bio - BlenX for Biologists. CMSB (2009)
Paolo Ballarini, András Horváth
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST (2008)
Paolo Ballarini, Alice Miller
Model Checking Medium Access Control for Sensor Networks. ISoLA (2006)
Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
Automated Game Analysis via Probabilistic Model Checking: a case study. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS (2004)
Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD (2003)
Paolo Ballarini, Simona Bernardi, Susanna Donatelli
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN (2002)
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN (2000)