Paolo Ballarini

61 papers A 1B 3C 5Journal 20Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Phase-Type Variational Autoencoders for Heavy-Tailed Data. CoRR Abdelhakim Ziani, András Horváth, Paolo Ballarini
2025	—	`conf`	Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models. EPEW Abdelhakim Ziani, András Horváth, Paolo Ballarini
2025	J	`jnl`	Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models. CoRR Abdelhakim Ziani, András Horváth, Paolo Ballarini
2025	J	`jnl`	Probabilistic Process Discovery with Stochastic Process Trees. CoRR András Horváth, Paolo Ballarini, Pierre Cry
2025	—	`conf`	Statistical Bayesian Inference for Stochastic Process Discovery. QEST+FORMATS Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
2025	J	`jnl`	Statistical process discovery. CoRR Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
2025	B	`conf`	Stochastic Process Trees: A Formal Framework for Stochastic Process Discovery. ICPM Pierre Cry, András Horváth, Paolo Ballarini
2024	J	`jnl`	A Formal Approach for Tuning Stochastic Oscillators. CoRR Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
2024	—	`conf`	A Framework for Optimisation Based Stochastic Process Discovery. QEST+FORMATS Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
2024	J	`jnl`	A framework for optimisation based stochastic process discovery. CoRR Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall
2024	—	`conf`	Probabilistic Process Discovery with Stochastic Process Trees. VALUETOOLS András Horváth, Paolo Ballarini, Pierre Cry
2023	—	`conf`	A Formal Approach for Tuning Stochastic Oscillators. CMSB Paolo Ballarini, Mahmoud Bentriou, Paul-Henry Cournède
2023	—	`book`	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
2022	J	`jnl`	Cosmos: Evolution of a Statistical Model Checking Platform. SIGMETRICS Perform. Evaluation Rev. Paolo Ballarini, Benoît Barbot
2021	J	`jnl`	Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. Theor. Comput. Sci. Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
2021	C	`conf`	Formal analysis of production line systems by probabilistic model checking tools. ETFA Paolo Ballarini, András Horváth
2021	—	`conf`	Performance Analysis of Production Lines Through Statistical Model Checking. EPEW Paolo Ballarini, András Horváth
2021	—	`ed.`	Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings EPEW Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens
2020	B	`conf`	Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Petri Nets Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri
2019	—	`conf`	Performance modelling of access control mechanisms for local and vehicular wireless networks. VALUETOOLS Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
2019	J	`jnl`	Performance modelling of access control mechanisms for local and vehicular wireless networks. CoRR Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
2019	—	`conf`	Reachability Design Through Approximate Bayesian Computation. CMSB Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
2018	—	`ed.`	Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings EPEW Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
2017	—	`conf`	Analysis of Timed Properties Using the Jump-Diffusion Approximation. EPEW Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston
2017	J	`jnl`	DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurr. Comput. Pract. Exp. Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman
2016	J	`jnl`	Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach. Bioinform. Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède
2016	C	`conf`	Stochastic models for IEEE 802.11p. ISCC Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini
2015	J	`jnl`	Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. Int. J. Softw. Tools Technol. Transf. Paolo Ballarini
2015	J	`jnl`	Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theor. Comput. Sci. Paolo Ballarini, Marie Duflot
2015	J	`jnl`	HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Perform. Evaluation Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
2015	J	`jnl`	Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Tech. Sci. Informatiques Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
2014	C	`conf`	An LTL Model Checking Approach for Biological Parameter Inference. ICFEM Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
2014	J	`jnl`	Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. CoRR Paolo Ballarini
2014	—	`conf`	Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
2013	B	`conf`	Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	J	`jnl`	Modeling tools for detecting DoS attacks in WSNs. Secur. Commun. Networks Paolo Ballarini, Lynda Mokdad, Quentin Monnet
2013	—	`conf`	Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. QEST Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
2012	—	`conf`	Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. CMSB Paolo Ballarini, Jarno Mäkelä, Andre S. Ribeiro
2012	—	`conf`	Quantitative Verification of WiMAX Traffic Shaping Solutions. ANT/MobiWIS Paolo Ballarini, Jalel Ben-Othman, Lynda Mokdad
2012	J	`jnl`	The Relevance of Topology in Parallel Simulation of Biological Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Tommaso Mazza, Paolo Ballarini, Rosita Guido, Davide Prandi
2011	—	`conf`	COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011	—	`conf`	HASL: an expressive language for statistical verification of stochastic models. VALUETOOLS Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2011	—	`conf`	Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin
2010	C	`conf`	Latency analysis of a contention based MAC protocol for Sensor Networks. ISCC Paolo Ballarini
2010	J	`jnl`	Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci. Paolo Ballarini, Maria Luisa Guerriero
2009	—	`conf`	Analyzing various models of Circadian Clock and Cell Cycle coupling. Formal Methods in Molecular Biology 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
2009	—	`conf`	BlenX4Bio - BlenX for Biologists. CMSB Corrado Priami, Paolo Ballarini, Paola Quaglia
2009	—	`conf`	Efficient Parallel Statistical Model Checking of Biochemical Networks PDMC Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi
2009	—	`conf`	Memory efficient analysis for a class of large structured Markov chains: work in progress. VALUETOOLS Paolo Ballarini, András Horváth
2009	J	`jnl`	Taming the complexity of biological pathways through parallel computing. Briefings Bioinform. Paolo Ballarini, Rosita Guido, Tommaso Mazza, Davide Prandi
2009	—	`ch.`	Uncertain Agent Verification through Probabilistic Model-Checking. Safety and Security in Multiagent Systems Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
2008	—	`conf`	Analysing Biochemical Oscillation through Probabilistic Model Checking. FBTC@ICALP Paolo Ballarini, Radu Mardare, Ivan Mura
2008	—	`conf`	Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST Paolo Ballarini, András Horváth
2008	—	`conf`	Studying Irreversible Transitions in a Model of Cell Cycle Regulation. PASM@EPEW Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikász-Nagy
2007	—	`conf`	Compositional Model Checking of product-form CTMCs. AVoCS Paolo Ballarini, András Horváth
2006	C	`conf`	Model Checking Medium Access Control for Sensor Networks. ISoLA Paolo Ballarini, Alice Miller
2005	—	`conf`	Automated Game Analysis via Probabilistic Model Checking: a case study. MoChArt@CONCUR/SPIN Paolo Ballarini, Michael Fisher, Michael J. Wooldridge
2004	—	`conf`	Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
2003	—	`conf`	Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
2002	A	`conf`	Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN Paolo Ballarini, Simona Bernardi, Susanna Donatelli
2000	—	`conf`	Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis