Paolo Zuliani
Paolo Zuliani
Associate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, Italy
Verified email at - Homepage
Cited by
Cited by
Model checking and the state explosion problem
EM Clarke, W Klieber, M Nováček, P Zuliani
LASER Summer School on Software Engineering, 1-30, 2011
A bayesian approach to model checking biological systems
SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani
Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009
Statistical model checking for cyber-physical systems
EM Clarke, P Zuliani
International symposium on automated technology for verification and …, 2011
Quantum programming
J Sanders, P Zuliani
Mathematics of Program Construction, 80-99, 2000
Bayesian statistical model checking with application to simulink/stateflow verification
P Zuliani, A Platzer, EM Clarke
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
Bayesian statistical model checking with application to Stateflow/Simulink verification
P Zuliani, A Platzer, EM Clarke
Formal Methods in System Design 43, 338-367, 2013
Statistical model checking for Markov decision processes
D Henriques, J Martins, P Zuliani, A Platzer, EM Clarke
QEST 2012: 9th International Conference on Quantitative Evaluation of …, 2012
Pathways to cellular supremacy in biocomputing
L Grozinger, M Amos, TE Gorochowski, P Carbonell, DA Oyarzún, R Stoof, ...
Nature communications 10 (1), 5250, 2019
An empirical exploration of the distributions of the Chidamber and Kemerer object-oriented metrics suite
G Succi, W Pedrycz, S Djokic, P Zuliani, B Russo
Empirical Software Engineering 10 (1), 81-104, 2005
A mechanistic Individual-based Model of microbial communities
PG Jayathilake, P Gupta, B Li, C Madsen, O Oyebamiji, ...
PloS one 12 (8), e0181965, 2017
Analysis and verification of the HMGB1 signaling pathway
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
BMC bioinformatics 11, 1-13, 2010
Open source software for the public administration
GL Kovács, S Drozdik, P Zuliani, G Succi
Proceedings of the 6th international workshop on computer science and …, 2004
Modeling and simulating the noisy behavior of near-term quantum computers
K Georgopoulos, C Emary, P Zuliani
Physical Review A 104 (6), 062432, 2021
Statistical verification of probabilistic properties with unbounded until
HLS Younes, EM Clarke, P Zuliani
Brazilian Symposium on Formal Methods, 144-160, 2010
Probreach: verified probabilistic delta-reachability for stochastic hybrid systems
F Shmarov, P Zuliani
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Quantum programming, DPhil thesis
P Zuliani
University of Oxford, 2001
Logical reversibility
P Zuliani
IBM Journal of Research and Development 45 (6), 807-818, 2001
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities
B Li, D Taniguchi, JP Gedara, V Gogulancea, R Gonzalez-Cabaleiro, ...
PLoS Computational Biology 15 (12), e1007125, 2019
Rare-event verification for stochastic hybrid systems
P Zuliani, C Baier, EM Clarke
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
Statistical model checking for biological applications
P Zuliani
International Journal on Software Tools for Technology Transfer 17, 527-536, 2015
The system can't perform the operation now. Try again later.
Articles 1–20