Paolo Zuliani

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 32

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Safe Reach Set Computation via Neural Barrier Certificates. CoRR (2024)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Automated Verification of Silq Quantum Programs using SMT Solvers. CoRR (2024)
Andrew Wright, Marco Lewis, Paolo Zuliani, Sadegh Soudjani
T-Count Optimizing Genetic Algorithm for Quantum State Preparation. CoRR (2024)
John F. Ingham, Yujiang Wang, Paolo Zuliani, Sadegh Soudjani
Barrier Certificates for a Computational Model of Epileptic Seizures. SMC (2023)
Jonathan K. Sakkos, María Santos-Merino, Emmanuel J. Kokarakis, Bowen Li, Miguel Fuentes-Cabrera, Paolo Zuliani, Daniel C. Ducat
Predicting partner fitness based on spatial structuring in a light-driven microbial community. PLoS Comput. Biol. 19 (5) (2023)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems using Barrier Certificates. CoRR (2023)
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Verification of Quantum Systems Using Barrier Certificates. QEST (2023)
Fedor Shmarov, Graham R. Smith, Sophie C. Weatherhead, Nick J. Reynolds, Paolo Zuliani
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis. PLoS Comput. Biol. 18 (9) (2022)
Bowen Li, Neil Mackenzie, Ben Shirt-Ediss, Natalio Krasnogor, Paolo Zuliani
Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. DNA (2022)
Sicun Gao, Orna Grumberg, Paolo Zuliani
Edmund Melson Clarke, Jr. (1945-2020). Formal Methods Syst. Des. 60 (3) (2022)
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Formal Verification of Quantum Programs: Theory, Tools and Challenges. CoRR (2021)
Bowen Li, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. DataMod (2021)
Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8 (2020)
Mariia Vasileva, Paolo Zuliani
An Evaluation of Estimation Techniques for Probabilistic Verification. VECoS (2020)
Mariia Vasileva, Fedor Shmarov, Paolo Zuliani
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. MEMOCODE (2020)
Bowen Li, Denis Taniguchi, Jayathilake Pahala Gedara, Valentina Gogulancea, Rebeca Gonzalez-Cabaleiro, Jinju Chen, Andrew Stephen McGough, Irina Dana Ofiteru, Thomas P. Curtis, Paolo Zuliani
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities. PLoS Comput. Biol. 15 (12) (2019)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR (2019)
O. K. Oyebamiji, Darren J. Wilkinson, B. Li, Pahala Gedara Jayathilake, Paolo Zuliani, Thomas P. Curtis
Bayesian emulation and calibration of an individual-based model of microbial communities. J. Comput. Sci. 30 (2019)
Jeremy Revell, Paolo Zuliani
Stochastic Rate Parameter Inference Using the Cross-Entropy Method. CMSB (2018)
Mariia Vasileva, Paolo Zuliani
Full version: An evaluation of estimation techniques for probabilistic reachability. CoRR (2018)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. InfQ@VALUETOOLS (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference (2017)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
Verifying Quantum Programs: From Quipper to QPMC. CoRR (2017)
Fedor Shmarov, Paolo Zuliani
SMT-Based Reasoning for Uncertain Hybrid Domains. AAAI Workshop: Planning for Hybrid Systems (2016)
Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder
High-level modeling and verification of cellular signaling. HLDVT (2016)
Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinform. 32 (6) (2016)
Fedor Shmarov, Paolo Zuliani
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques. Haifa Verification Conference (2016)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. RC (2016)
Curtis Madsen, Fedor Shmarov, Paolo Zuliani
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. CMSB (2015)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards personalized prostate cancer therapy using delta-reachability analysis. HSCC (2015)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. CMSB (2015)
Fedor Shmarov, Paolo Zuliani
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. SNR@CAV (2015)
Fedor Shmarov, Paolo Zuliani
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. HSCC (2015)
Paolo Zuliani
Statistical model checking for biological applications. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Fedor Shmarov, Paolo Zuliani
ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems. CoRR (2014)
Fedor Shmarov, Paolo Zuliani
Verification of probabilistic bounded $δ$-reachability for cyber-physical systems. CoRR (2014)
Paolo Zuliani
Statistical Model Checking for Biological Applications. CoRR (2014)
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty. CoRR (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions. CoRR (2014)
Julija Rusakovica, Jennifer Hallinan, Anil Wipat, Paolo Zuliani
Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features. J. Integr. Bioinform. 11 (2) (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. CMSB (2014)
Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
Towards Personalized Cancer Therapy Using Delta-Reachability Analysis. CoRR (2014)
Natasa Miskov-Zivanov, Paolo Zuliani, Edmund M. Clarke, James R. Faeder
Studies of biological networks with statistical model checking: application to immune system cells. BCB (2013)
Paolo Zuliani, André Platzer, Edmund M. Clarke
Bayesian statistical model checking with application to Stateflow/Simulink verification. Formal Methods Syst. Des. 43 (2) (2013)
David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke
Statistical Model Checking for Markov Decision Processes. QEST (2012)
Paolo Zuliani, Christel Baier, Edmund M. Clarke
Rare-event verification for stochastic hybrid systems. HSCC (2012)
Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke
Analog circuit verification by statistical model checking. ASP-DAC (2011)
Edmund M. Clarke, Paolo Zuliani
Statistical Model Checking for Cyber-Physical Systems. ATVA (2011)
Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani
Model Checking and the State Explosion Problem. LASER Summer School (2011)
Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. BICoB (2011)
Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke
Formal analysis for logical models of pancreatic cancer. CDC/ECC (2011)
Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
Statistical Verification of Probabilistic Properties with Unbounded Until. SBMF (2010)
Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke
Analysis and verification of the HMGB1 signaling pathway. BMC Bioinform. 11 (S-7) (2010)
Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke
Computational Modeling and Verification of Signaling Pathways in Cancer. ANB (2010)
Paolo Zuliani, André Platzer, Edmund M. Clarke
Bayesian statistical model checking with application to Simulink/Stateflow verification. HSCC (2010)
Paolo Zuliani
Reasoning about faulty quantum programs. Acta Informatica 46 (6) (2009)
Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani
A Bayesian Approach to Model Checking Biological Systems. CMSB (2009)
Paolo Zuliani
A Formal Derivation of Grover's Quantum Search Algorithm. TASE (2007)
Paolo Zuliani
Quantum Programming With Mixed States. Electron. Notes Theor. Comput. Sci. 170 (2007)
Bruno Rossi, Barbara Russo, Paolo Zuliani, Giancarlo Succi
On the Transition to an Open Source Solution for Desktop Office Automation. TCGOV (2005)
Paolo Zuliani
Compiling quantum programs. Acta Informatica 41 (7-8) (2005)
Giancarlo Succi, Witold Pedrycz, Snezana Djokic, Paolo Zuliani, Barbara Russo
An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite. Empir. Softw. Eng. 10 (1) (2005)
Paolo Zuliani
On Counterfactual Computation. UC (2005)
Barbara Russo, Alberto Sillitti, Paolo Zuliani, Giancarlo Succi, Paolo Gasperi
A pilot project in PAs to transit to an open source solution. DG.O (2005)
Andrea Janes, Barbara Russo, Paolo Zuliani, Giancarlo Succi
An Empirical Analysis on the Discontinuous Use of Pair Programming. XP (2003)
Paolo Zuliani
Logical reversibility. IBM J. Res. Dev. 45 (6) (2001)
Jeff W. Sanders, Paolo Zuliani
Quantum Programming. MPC (2000)

Paolo Zuliani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Zuliani