Paolo Zuliani

CoRR, 2024

Safe Reach Set Computation via Neural Barrier Certificates.

[BibT_eX]

[DOI]

CoRR, 2024

T-Count Optimizing Genetic Algorithm for Quantum State Preparation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Software, 2024

Automated Verification of Silq Quantum Programs using SMT Solvers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Quantum Software, 2024

2023

Predicting partner fitness based on spatial structuring in a light-driven microbial community.

[BibT_eX]

[DOI]

Jonathan K. Sakkos

María Santos-Merino

Emmanuel J. Kokarakis

Miguel Fuentes-Cabrera

Daniel C. Ducat

PLoS Comput. Biol., 2023

Barrier Certificates for a Computational Model of Epileptic Seizures.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Verification of Quantum Systems Using Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

ARCH-COMP23 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Birgit van Huijgevoort

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis.

[BibT_eX]

[DOI]

Graham R. Smith

Sophie C. Weatherhead

Nick J. Reynolds

PLoS Comput. Biol., September, 2022

Edmund Melson Clarke, Jr. (1945-2020).

[BibT_eX]

[DOI]

Sicun Gao

Orna Grumberg

Formal Methods Syst. Des., 2022

Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on DNA Computing and Molecular Programming, 2022

2021

Formal Verification of Quantum Programs: Theory, Tools and Challenges.

[BibT_eX]

[DOI]

CoRR, 2021

Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations.

[BibT_eX]

[DOI]

Pahala Gedara Jayathilake

Yuqing Xia

Thomas P. Curtis

Proceedings of the From Data to Models and Back, 2021

ARCH-COMP21 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

An Evaluation of Estimation Techniques for Probabilistic Verification.

[BibT_eX]

[DOI]

Mariia Vasileva

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.

[BibT_eX]

[DOI]

Mariia Vasileva

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

ARCH-COMP20 Category Report: Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

NUFEB: A massively parallel simulator for individual-based modelling of microbial communities.

[BibT_eX]

[DOI]

Pahala Gedara Jayathilake

Denis Taniguchi

Valentina Gogulancea

Rebeca Gonzalez-Cabaleiro

Jinju Chen

Andrew Stephen McGough

Irina Dana Ofiteru

Thomas P. Curtis

PLoS Comput. Biol., 2019

Bayesian emulation and calibration of an individual-based model of microbial communities.

[BibT_eX]

[DOI]

Oluwole K. Oyebamiji

Darren J. Wilkinson

Pahala Gedara Jayathilake

Thomas P. Curtis

J. Comput. Sci., 2019

2018

Full version: An evaluation of estimation techniques for probabilistic reachability.

[BibT_eX]

[DOI]

Mariia Vasileva

CoRR, 2018

Stochastic Rate Parameter Inference Using the Cross-Entropy Method.

[BibT_eX]

[DOI]

Jeremy Revell

Proceedings of the Computational Methods in Systems Biology, 2018

2017

Verifying Quantum Programs: From Quipper to QPMC.

[BibT_eX]

[DOI]

CoRR, 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2017

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ricardo Honorato-Zimmer

Vincent Danos

Anil Wipat

Bioinform., 2016

Towards Quantum Programs Verification: From Quipper Circuits to QPMC.

[BibT_eX]

[DOI]

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

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.

[BibT_eX]

[DOI]

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

High-level modeling and verification of cellular signaling.

[BibT_eX]

[DOI]

Natasa Miskov-Zivanov

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

SMT-Based Reasoning for Uncertain Hybrid Domains.

[BibT_eX]

[DOI]

Proceedings of the Planning for Hybrid Systems, 2016

2015

Statistical model checking for biological applications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

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

[BibT_eX]

[DOI]

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

Towards personalized prostate cancer therapy using delta-reachability analysis.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2015

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

[BibT_eX]

[DOI]

Curtis Madsen

Proceedings of the Computational Methods in Systems Biology, 2015

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2014

2013

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

[BibT_eX]

[DOI]

André Platzer

Formal Methods Syst. Des., 2013

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

[BibT_eX]

[DOI]

Natasa Miskov-Zivanov

James R. Faeder

Proceedings of the ACM Conference on Bioinformatics, 2013

2012

Statistical Model Checking for Markov Decision Processes.

[BibT_eX]

[DOI]

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

Rare-event verification for stochastic hybrid systems.

[BibT_eX]

[DOI]

Christel Baier

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

2011

Model Checking and the State Explosion Problem.

[BibT_eX]

[DOI]

Proceedings of the Tools for Practical Software Verification, 2011

Formal analysis for logical models of pancreatic cancer.

[BibT_eX]

[DOI]

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

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.

[BibT_eX]

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

Statistical Model Checking for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

Analog circuit verification by statistical model checking.

[BibT_eX]

[DOI]

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

2010

Analysis and verification of the HMGB1 signaling pathway.

[BibT_eX]

[DOI]

BMC Bioinform., 2010

Statistical Verification of Probabilistic Properties with Unbounded Until.

[BibT_eX]

[DOI]

Håkan L. S. Younes

Proceedings of the Formal Methods: Foundations and Applications, 2010

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

[BibT_eX]

[DOI]

André Platzer

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

Computational Modeling and Verification of Signaling Pathways in Cancer.

[BibT_eX]

[DOI]

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

2009

Reasoning about faulty quantum programs.

[BibT_eX]

[DOI]

Acta Informatica, 2009

A Bayesian Approach to Model Checking Biological Systems.

[BibT_eX]

[DOI]

Sumit Kumar Jha

Christopher James Langmead

Axel Legay

André Platzer

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

2007

A Formal Derivation of Grover's Quantum Search Algorithm.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2005

Quantum Programming With Mixed States.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Compiling quantum programs.

[BibT_eX]

[DOI]

Acta Informatica, 2005

On Counterfactual Computation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2003

An Empirical Analysis on the Discontinuous Use of Pair Programming.

[BibT_eX]

[DOI]

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

2001

Quantum programming.

[BibT_eX]

[DOI]

PhD thesis, 2001

Logical reversibility.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2001

2000

Quantum Programming.

[BibT_eX]

[DOI]

Jeff W. Sanders