Paolo Zuliani
Paolo Zuliani
Senior Lecturer (Associate Professor), School of Computing, Newcastle University, UK
Verified email at - Homepage
Cited by
Cited by
A bayesian approach to model checking biological systems
SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani
International conference on computational methods in systems biology, 218-234, 2009
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
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 (2), 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
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
Analysis and verification of the HMGB1 signaling pathway
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
BMC bioinformatics 11 (7), 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
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
Statistical verification of probabilistic properties with unbounded until
HLS Younes, EM Clarke, P Zuliani
Brazilian Symposium on Formal Methods, 144-160, 2010
Pathways to cellular supremacy in biocomputing
L Grozinger, M Amos, TE Gorochowski, P Carbonell, DA Oyarzún, R Stoof, ...
Nature communications 10 (1), 1-11, 2019
A mechanistic Individual-based Model of microbial communities
PG Jayathilake, P Gupta, B Li, C Madsen, O Oyebamiji, ...
PloS one 12 (8), e0181965, 2017
Rare-event verification for stochastic hybrid systems
P Zuliani, C Baier, EM Clarke
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
Probreach: verified probabilistic delta-reachability for stochastic hybrid systems
F Shmarov, P Zuliani
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Compiling quantum programs
P Zuliani
Acta Informatica 41 (7-8), 435-474, 2005
Computational modeling and verification of signaling pathways in cancer
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
Algebraic and Numeric Biology, 117-135, 2012
Statistical model checking for biological applications
P Zuliani
International Journal on Software Tools for Technology Transfer 17 (4), 527-536, 2015
The system can't perform the operation now. Try again later.
Articles 1–20