Paolo Zuliani

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