Paolo Zuliani

According to our database1, Paolo Zuliani
  • authored at least 48 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Verifying Quantum Programs: From Quipper to QPMC.
CoRR, 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR, 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

Statistical Model Checking for Biological Applications.
CoRR, 2014

SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.
CoRR, 2014

ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems.
CoRR, 2014

Verification of probabilistic bounded $δ$-reachability for cyber-physical systems.
CoRR, 2014

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.
CoRR, 2014

Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions.
CoRR, 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


  Loading...