Papers
Applications of an expressive statistical model checking approach to the analysis of genetic circuits.Paolo Ballarini, Marie Duflot. Theor. Comput. Sci. 599 (4-33), 2015.
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. Paolo Ballarini. International journal of Software Tools for Technology Transfer (STTT), 17(4), 505-526. 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. Performance Evaluation. 90: 53-77 (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. Technique et Science Informatiques (TSI). 34(5): 575-600, 2015.
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. P. Ballarini, N. Bertrand, A. Horvath, M. Paolieri, E. Vicario. In 10th International Conference onQuantitative Evaluation of Systems (QEST), August 2013, Buenos Aires. Argentina.
Expressing and Computing Passage Time Measures of GSPN models with HASL.
E. Amparore, P. Ballarini, M. Beccuti, S. Donatelli, G. Franceschinis.
In 34th International Conference on Application and Theory of Petri Nets and Concurrency, June 2013,
Milano. Italy.
Modelling Tools for detecting DoS attacks in WSNs.
P. Ballarini, L. Mokdad, Q. Monnet.
Security and Communication Networks (to appear)
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. [Abstract] [bibtex]
P. Ballarini, J. Makkela, A. S. Ribeiro.
In 10th International Conference on Computational Methods in Systems Biology (CMSB), October 2012, London, UK.
Quantitative verification of WiMAX Traffic Shaping solutions.
P. Ballarini. J. Ben-Othman. L. Mokdad.
In 7th International Symposium on Intelligent Systems Techniques for Ad-Hoc and Wireless Sensor Networks (IST-AWSN), 2012. Canada.
The Relevance of Topology in Parallel Simulation of Biological Networks.
T. Mazza. P. Ballarini. R. Guido. D. Prandi.
IEEE/Transaction on Copmutational Biology and Bioinformatics (2012).
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems.
P. Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin.
In 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
P.Ballarini, H. Djafri, M. Duflot, S. Haddad, N. Pekergin.
In 8th International Conference on Quantitative Evaluation of SysTems (QEST) 2011.
HASL: an expressive language for statistical verification of stochastic models.
P. Ballarini, H. Djafri, M. Duflot, S.Haddad, N. Pekergin.
In 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (ValueTools) 2011.
Latency analysis of a contention based MAC protocol for Sensor Networks.
P. Ballarini.
In 2nd IEEE Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'10).
Efficient parallel statistical Model Checking of Biochemical Networks.
P. Ballarini, M. Forlin, T. Mazza, D. Prandi.
In 8th Int. Conf. on Parallel and Distributed Methods in Verification (PDMC09), EPTCS 14, 2009, pp. 47-61.
Query-based Verification of Qualitative Trends and Oscillations in Biochemical Systems.
P. Ballarini and M.L. Guerriero.
Theoretical Computer Science 2010, Volume 411, Issue 20, 28 April 2010, Pages 2019-2036.
Taming the complexity of biological pathways through parallel computing.
P. Ballarini, R. Guido, T. Mazza and D. Prandi.
Briefings in Bioinformatics 2009; doi: 10.1093/bib/bbp020
Uncertain Agents Verification through Probabilistic Model-Checking.
P. Ballarini, M. Fisher, M. Wooldridge.
Lecture Notes in Computer Science, Volume 4324, ``Safety and Security in Multiagent Systems", 10.1007/978-3-642-04879-1\_12, Pages 162-174, September 30, 2009.
BlenX4Bio - BlenX for Biologists.
P. Ballarini, C. Priami and P.Quaglia.
In Proc. 7th Int. Conference on Computational Methods in Systems Biology, (CMSB 2009), volume 5688 of {\em LNCS} pages 26--51. Springer, 2009.
Studying irreversible transitions in a model of cell cycle regulation.
P. Ballarini, T. Mazza, A. Palmisano and A. Csikasz-Nagy.
In 3rd Int. Workshop on Practical Applications of Stochastic Modelling (PASM08), Palma de Mallorca, Spain, Sept. 2008.
Analysing Biochemical Oscillation through Probabilistic Model Checking.
P. Ballarini, R. Mardare, I. Mura.
In Proc. 2nd Workshop From Biology to Concurrency and Back (FBTC'08), volume 229 (issue 1) of Electronic Notes in Theoretical Computer Science, pages 3-19, Elsevier.
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.
P. Ballarini and A. Horvàth.
In 5th Int. Conf. on Quantitative Evaluation of Systems (QEST'08)} St. Malo, France, Sept. 2008.
Memory Efficient Analysis for a Class of Large Structured Markov Chains.
P. Ballarini and A. Horvàth.
In 5th Int. Workshop on Tools for solving Structured Markov Chains (SMCTools09), Pisa, Italy, Oct. 2009.
Compositional CSL model checking of product-form CTMCs.
P. Ballarini and A. Horvàth.
In 7th International Workshop on Automated Verification of Critical Systems (AVoCS07)}, Oxford, UK, Sept. 2007.
Memory Fault Tolerance Software mechnisms: design and configuration support through SWN models.
P. Ballarini, L. Capra, M. De Pierro and G. Franceschinis.
In Third International Conference on Application of Concurrency to System Design (ACSD'03), Guimaraes, Portugal, 2003.
Validation and evaluation of a software solution for fault tolerant distributed synchronization.
P. Ballarini, S. Bernardi, S. Donatelli.
In Proc. 21st Int. Proceedings of the International Performance and Dependability Symposium (IPDS) 2002, June 23 - 26, 2002, Washington DC, USA.
Parametric Stochastic Well-formed Nets and compositional modelling.
P. Ballarini, S. Donatelli and G. Franceschinis.
In 21st Int. Proceedings of the conference Application and Theory of Petri Nets 2000 (ATPN00), LNCS, Springer, 2000, University of Aarhus, Denmark.