Paolo Zuliani

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verification of quantum systems using barrier certificates	2024-05-29	Paper
Obituary: Edmund Melson Clarke jun. (1945--2020) Formal Methods in System Design	2023-10-30	Paper
Stochastic rate parameter inference using the cross-entropy method	2018-10-17	Paper
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Rare-event verification for stochastic hybrid systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control	2017-05-16	Paper
Bayesian statistical model checking with application to Simulink/Stateflow verification Proceedings of the 13th ACM international conference on Hybrid systems: computation and control	2017-05-10	Paper
Towards quantum programs verification: from Quipper circuits to QPMC Reversible Computation	2016-08-10	Paper
Bayesian statistical model checking with application to Stateflow/Simulink verification Formal Methods in System Design	2014-06-30	Paper
Quantum programming with mixed states Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Computational modeling and verification of signaling pathways in cancer Algebraic and Numeric Biology	2012-06-08	Paper
Statistical model checking for cyber-physical systems Automated Technology for Verification and Analysis	2011-10-07	Paper
Statistical verification of probabilistic properties with unbounded until Lecture Notes in Computer Science	2011-05-12	Paper
Reasoning about faulty quantum programs Acta Informatica	2009-10-23	Paper
Unconventional Computation Lecture Notes in Computer Science	2006-07-07	Paper
Compiling quantum programs Acta Informatica	2005-08-02	Paper
scientific article; zbMATH DE number 1612487 (Why is no real title available?)	2001-07-01	Paper

Research outcomes over time

This page was built for person: Paolo Zuliani