Paolo Zuliani

Paolo Zuliani

Newcastle University - Newcastle upon Tyne / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 907095
University of Newcastle upon Tyne
person_outline Paolo Zuliani's MOST POPULAR ARTICLES
1-) Model checking and the state explosion problem LASER Summer School on Software Engineering, 1-30, 2011
2-) A bayesian approach to model checking biological systems Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009
3-) Statistical model checking for cyber-physical systems International symposium on automated technology for verification and …, 2011
4-) Quantum programming Mathematics of Program Construction, 80-99, 2000
5-) Bayesian statistical model checking with application to simulink/stateflow verification Proceedings of the 13th ACM international conference on Hybrid systems …, 2010