# Paolo Zuliani

According to our database

Collaborative distances:

^{1}, Paolo Zuliani authored at least 42 papers between 2000 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Stochastic Rate Parameter Inference Using the Cross-Entropy Method.

Proceedings of the Computational Methods in Systems Biology, 2018

2017

\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains.

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.

Bioinformatics, 2016

Towards Quantum Programs Verification: From Quipper Circuits to QPMC.

Proceedings of the Reversible Computation - 8th International Conference, 2016

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.

Proceedings of the Hardware and Software: Verification and Testing, 2016

High-level modeling and verification of cellular signaling.

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

SMT-Based Reasoning for Uncertain Hybrid Domains.

Proceedings of the Planning for Hybrid Systems, 2016

2015

Statistical model checking for biological applications.

STTT, 2015

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Towards personalized prostate cancer therapy using delta-reachability analysis.

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.

Proceedings of the Computational Methods in Systems Biology, 2015

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.

Proceedings of the Computational Methods in Systems Biology, 2015

ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014

Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features.

J. Integrative Bioinformatics, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions.

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Bayesian statistical model checking with application to Stateflow/Simulink verification.

Formal Methods in System Design, 2013

Studies of biological networks with statistical model checking: application to immune system cells.

Proceedings of the ACM Conference on Bioinformatics, 2013

2012

Statistical Model Checking for Markov Decision Processes.

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Rare-event verification for stochastic hybrid systems.

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Model Checking and the State Explosion Problem.

Proceedings of the Tools for Practical Software Verification, 2011

Formal analysis for logical models of pancreatic cancer.

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.

Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

Statistical Model Checking for Cyber-Physical Systems.

Proceedings of the Automated Technology for Verification and Analysis, 2011

Analog circuit verification by statistical model checking.

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010

Analysis and verification of the HMGB1 signaling pathway.

BMC Bioinformatics, 2010

Statistical Verification of Probabilistic Properties with Unbounded Until.

Proceedings of the Formal Methods: Foundations and Applications, 2010

Bayesian statistical model checking with application to Simulink/Stateflow verification.

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Computational Modeling and Verification of Signaling Pathways in Cancer.

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009

Reasoning about faulty quantum programs.

Acta Inf., 2009

A Bayesian Approach to Model Checking Biological Systems.

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2007

Quantum Programming With Mixed States.

Electr. Notes Theor. Comput. Sci., 2007

A Formal Derivation of Grover's Quantum Search Algorithm.

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2005

An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite.

Empirical Software Engineering, 2005

Compiling quantum programs.

Acta Inf., 2005

On Counterfactual Computation.

Proceedings of the Unconventional Computation, 4th International Conference, 2005

On the Transition to an Open Source Solution for Desktop Office Automation.

Proceedings of the E-Government: Towards Electronic Democracy, International Conference, 2005

A pilot project in PAs to transit to an open source solution.

Proceedings of the 2005 National Conference on Digital Government Research, 2005

2003

An Empirical Analysis on the Discontinuous Use of Pair Programming.

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

2001

Quantum programming.

PhD thesis, 2001

Logical reversibility.

IBM Journal of Research and Development, 2001

2000

Quantum Programming.

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000