Paolo Zuliani
Paolo Zuliani
Senior Lecturer (Associate Professor), School of Computing, Newcastle University, UK
Email verificata su ncl.ac.uk - Home page
TitoloCitata daAnno
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
2402009
Quantum programming
J Sanders, P Zuliani
Mathematics of Program Construction, 80-99, 2000
1532000
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
1492011
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
1452010
Statistical model checking for cyber-physical systems
EM Clarke, P Zuliani
International Symposium on Automated Technology for Verification and …, 2011
1302011
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
1082013
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
972012
Analysis and verification of the HMGB1 signaling pathway
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
BMC bioinformatics 11 (7), S10, 2010
712010
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
712005
Quantum programming, DPhil thesis
P Zuliani
University of Oxford, 2001
582001
Logical reversibility
P Zuliani
IBM Journal of Research and Development 45 (6), 807-818, 2001
522001
Statistical verification of probabilistic properties with unbounded until
HLS Younes, EM Clarke, P Zuliani
Brazilian Symposium on Formal Methods, 144-160, 2010
472010
Open source software for the public administration
GL Kovács, S Drozdik, G Succi, P Zuliani
Proceedings of the 6th International Workshop on Computer Science and …, 2004
402004
Rare-event verification for stochastic hybrid systems
P Zuliani, C Baier, EM Clarke
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
362012
Compiling quantum programs
P Zuliani
Acta Informatica 41 (7-8), 435-474, 2005
312005
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
282012
Probreach: verified probabilistic delta-reachability for stochastic hybrid systems
F Shmarov, P Zuliani
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
272015
Migrating public administrations to open source software
P Zuliani, G Succi
E-society IADIS International Conference. IADIS International Conference …, 2004
212004
Non-deterministic quantum programming
P Zuliani
Proceedings of the 2nd International Workshop on Quantum Programming …, 2004
212004
Toward an empirical assessment of the benefits of open source software
B Russo, P Zuliani, G Succi
Taking stock of the bazaar: Proceedings of the Third ICSE Workshop on Open …, 2003
192003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20