引用次数
引用: 725
H-指数: 16
I10-指数 : 21
出版物: 74
An analysis of irreversible transitions in a model of the buddying yeast cell cycle
Attila Csikasz-Nagy , Alida Palmisano , Paolo Ballarini , Tommaso Mazza
2008
Query-based Verification of Biochemical Oscillations through Probabilistic Model Checking
Radu Mardare , Ivan Mura , Paolo Ballarini
2
2008
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings
Benoit Barbot , Anne Remke , Paolo Ballarini , Rena Bakshi
2018
Performance modelling of access control mechanisms for local and vehicular wireless networks
Benoît Barbot , Paolo Ballarini , Nicolas Vasselin
international conference on pervasive computing 111 -118
2019
Latency analysis of a contention based MAC protocol for Sensor Networks
Paolo Ballarini
international symposium on computers and communications 1103 -1108
4
2010
Stochastic models for IEEE 802.11p
Lynda Mokdad , Jalel Ben-Othman , Paolo Ballarini
international symposium on computers and communications 74 -78
1
2016
Memory efficient analysis for a class of large structured Markov chains: work in progress
Paolo Ballarini , András Horváth
performance evaluation methodolgies and tools 21
2
2009
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains
Paolo Ballarini , András Horváth
quantitative evaluation of systems 157 -166
3
2008
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic
Paolo Ballarini , Hilal Djafri , Marie Duflot , Serge Haddad
quantitative evaluation of systems 143 -144
45
2011
Analysis of business process specifications with OpenAltarica
Paolo Ballarini , Michel Batteux , Leo Chartier , Antoine Rauzy
2018 IEEE International Systems Engineering Symposium (ISSE)
2018
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
Paolo Ballarini
International Journal on Software Tools for Technology Transfer 17 ( 4) 505 -526
3
2015
Uncertain Agent Verification through Probabilistic Model-Checking
Paolo Ballarini , Michael Fisher , Michael Wooldridge
Safety and Security in Multiagent Systems 162 -174
16
2009
Reachability Design Through Approximate Bayesian Computation.
Mahmoud Bentriou , Paolo Ballarini , Paul-Henry Cournède
computational methods in systems biology 207 -223
1
2019
Model Checking Medium Access Control for Sensor Networks
Paolo Ballarini , Alice Miller
leveraging applications of formal methods 255 -262
40
2006
BlenX4Bio --- BlenX for Biologists
Corrado Priami , Paolo Ballarini , Paola Quaglia
computational methods in systems biology 5688 26 -51
14
2009
An LTL Model Checking Approach for Biological Parameter Inference
Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini
international conference on formal engineering methods 155 -170
12
2014
Quantitative Verification of WiMAX Traffic Shaping Solutions
Paolo Ballarini , Jalel Ben-Othman , Lynda Mokdad
Procedia Computer Science 10 1026 -1031
1
2012
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach
Konstantinos Koutroumpas , Paolo Ballarini , Irene Votsi , Paul-Henry Cournède
Bioinformatics 32 ( 17) 781 -789
7
2016
Modeling tools for detecting DoS attacks in WSNs
Paolo Ballarini , Lynda Mokdad , Quentin Monnet
Security and Communication Networks 6 ( 4) 420 -436
16
2013
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
Paolo Ballarini , Jarno Mäkelä , Andre S. Ribeiro
computational methods in systems biology 29 -48
6
2012
Marie Duflot Serge Haddad Andras Horvath Davide Prandi Benoît Barbot Pascale Le Gall Susanna Donatelli Michael Wooldridge Ivan Mura Michael Fisher Rosita Guido Radu Mardare Attila Csikász-Nagy Alida Palmisano Alice Miller jalel ben othman Paola Quaglia Michele Forlin Simona Bernardi Elvio Gilberto Amparore