Paolo Ballarini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2002–2025
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICPM | Stochastic Process Trees: A Formal Framework for Stochastic Process Discovery. | Pierre Cry, Andrs Horvth, Paolo Ballarini |
| 2021 | ETFA | Formal analysis of production line systems by probabilistic model checking tools. | Paolo Ballarini, Andrs Horvth |
| 2016 | ISCC | Stochastic models for IEEE 802.11p. | Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini |
| 2014 | ICFEM | An LTL Model Checking Approach for Biological Parameter Inference. | Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini |
| 2014 | ISoLA | Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. | Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny |
| 2010 | ISCC | Latency analysis of a contention based MAC protocol for Sensor Networks. | Paolo Ballarini |
| 2006 | ISoLA | Model Checking Medium Access Control for Sensor Networks. | Paolo Ballarini, Alice Miller |
| 2002 | DSN | Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. | Paolo Ballarini, Simona Bernardi, Susanna Donatelli |