VERIWARE - Publications
Sort by: date, type, title
140 publications:
-
[BdAFK16]
C. Baier, L. de Alfaro, V. Forejt, and M. Kwiatkowska.
Probabilistic Model Checking.
In Handbook of Model Checking, Springer. To appear.
2016.
[pdf]
[bib]
-
[KT14]
M. Kwiatkowska and C. Thachuk.
Probabilistic Model Checking for Biology.
In Software Safety and Security, volume 36 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 165-189, IOS Press.
2014.
[pdf]
[bib]
-
[KP12]
M. Kwiatkowska and D. Parker.
Advances in Probabilistic Model Checking.
In Software Safety and Security - Tools for Analysis and Verification, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 126-151, IOS Press.
June 2012.
[pdf]
[bib]
-
[FKNP11]
V. Forejt, M. Kwiatkowska, G. Norman and D. Parker.
Automated Verification Techniques for Probabilistic Systems.
In M. Bernardo and V. Issarny (editors), Formal Methods for Eternal Networked Software Systems (SFM'11), volume 6659 of LNCS, pages 53-113, Springer.
June 2011.
[pdf]
[bib]
-
[HKO19]
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Transactions on Computational Logic.
2019.
[pdf]
[bib]
-
[PPK18]
N. Paoletti, A. Patane and M. Kwiatkowska.
Closed-loop quantitative verification of rate-adaptive pacemakers.
ACM Transactions on Cyber-Physical Systems.
2018.
[pdf]
[bib]
-
[CKW17]
L. Cardelli, M. Kwiatkowska and M. Whitby.
Chemical Reaction Network Designs for Asynchronous Logic Circuits.
Natural Computing. To appear.
2017.
[pdf]
[bib]
-
[KPW17]
M. Kwiatkowska, D. Parker and C. Wiltsche.
PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives.
International Journal on Software Tools for Technology Transfer, Springer. To appear.
2017.
[pdf]
[bib]
-
[JK17]
A. Jovanovic and M. Kwiatkowska.
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions.
Theoretical Computer Science. To appear.
2017.
[pdf]
[bib]
-
[CKL17]
L. Cardelli, M. Kwiatkowska and L. Laurenti.
Programming discrete distributions with chemical reaction networks.
Natural Computing. To appear.
2017.
[pdf]
[bib]
-
[BKW17]
N. Basset, M. Kwiatkowska and C. Wiltsche.
Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives.
Information and Computation. To appear.
2017.
[pdf]
[bib]
-
[JKNP17]
A. Jovanovic, M. Kwiatkowska, G. Norman and Q. Peyras.
Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata.
Theoretical Computer Science, 669, pages 1-21, Elsevier.
March 2017.
[pdf]
[bib]
-
[SKCCCB16]
M. Svorenova, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cerna, C. Belta.
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
Nonlinear Analysis: Hybrid Systems, 23, pages 230-253, Elsevier.
February 2017.
[bib]
-
[CKL16c]
L. Cardelli, M. Kwiatkowska, L. Laurenti.
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
BioSystems, Elsevier.
2016.
[pdf]
[bib]
-
[CDP+16]
M. Ceska, F. Dannenberg, N. Paoletti, M. Kwiatkowska and L. Brim.
Precise Parameter Synthesis for Stochastic Biochemical Systems.
Acta Informatica, Springer. To appear.
2016.
[pdf]
[bib]
-
[FKNT16]
V. Forejt, M. Kwiatkowska, G. Norman, A. Trivedi.
Expected Reachability-Time Games.
Theoretical Computer Science, Elsevier. To appear.
2016.
[pdf]
[bib]
-
[SK16]
M. Svorenova and M. Kwiatkowska.
Quantitative Verification and Strategy Synthesis for Stochastic Games.
European Journal of Control, 30, pages 15-30, Elsevier.
July 2016.
[pdf]
[bib]
-
[FWH+16]
L. Feng, C. Wiltsche, L. Humphrey and U. Topcu.
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Transactions on Automation Science and Engineering, 13(2), pages 450-462, IEEE.
April 2016.
[bib]
-
[DKTT15]
F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J.Turberfield.
DNA walker circuits: Computational potential, design, and verification.
Natural Computing, 14(2), pages 195-211, Springer.
2015.
[pdf]
[bib]
-
[DDB+15]
F. Dannenberg, K. Dunn, J. Bath, M. Kwiatkowska, A. Turberfield, and T. Ouldridge.
Modelling DNA Origami Self-Assembly at the Domain Level.
Journal of Chemical Physics, 143(16).
2015.
[bib]
http://arxiv.org/abs/1509.03066
-
[DDO+15]
K. Dunn, F. Dannenberg, T. Ouldridge, M, Kwiatkowska, A. Turberfield, J. Bath.
Guiding the folding pathway of DNA origami.
Nature, 525, pages 82–86, Nature Publishing Group.
September 2015.
[bib]
http://dx.doi.org/10.1038/nature14860
-
[HHW+15]
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, and Bernd Becker.
Transient Reward Approximation for Continuous-Time Markov Chains.
IEEE Transactions on Reliability, 64, pages 1 - 22, IEEE.
July 2015.
[pdf]
[bib]
-
[DFK+15]
K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker, M. Ujma.
Permissive Controller Synthesis for Probabilistic Systems.
Logical Methods in Computer Science, 11(2:16)2015, pages 1-34.
June 2015.
[pdf]
[bib]
-
[HFM+15]
Z. Huang, C. Fan, A. Mereacre, S. Mitra, M. Kwiatkowska.
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage.
Design Test, IEEE, 32(5), pages 27 - 34, IEEE.
June 2015.
[bib]
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7130608
-
[CMT15]
A. Condon, J. Manuch and C. Thachuk.
The complexity of string partitioning.
Journal of Discrete Algorithms, 32, pages 24-43, Elsevier.
May 2015.
[pdf]
-
[DKPQ14]
K. Draeger, M. Kwiatkowska, D. Parker, and H. Qu.
Local Abstraction Refinement for Probabilistic Timed Programs.
Theoretical Computer Science, 538, pages 37–53, Elsevier.
2014.
[pdf]
[bib]
-
[CJK14]
C. Chilton, B. Jonsson and M. Kwiatkowska.
Compositional Assume-Guarantee Reasoning for Input/Output Component Theories.
Science of Computer Programming, 91, Part A, pages 115-137, Elsevier.
2014.
[pdf]
[bib]
-
[CDKM13c]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Quantitative Verification of Implantable Cardiac Pacemakers over Hybrid Heart Models.
Information and Computation, 236, pages pages 87-101, Elsevier.
August 2014.
[pdf]
[bib]
-
[CJK14b]
C. Chilton, B. Jonsson and M. Kwiatkowska.
An Algebraic Theory of Interface Automata.
Theoretical Computer Science, 549, pages 146-174, Elsevier.
2014.
[pdf]
[bib]
-
[CDKM13]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers.
In Proc. 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pages 131-136, ACM.
2013.
[pdf]
[bib]
-
[TMKA13]
I. Tkachev, A. Mereacre, J.-P. Katoen and A. Abate.
Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems.
In Proc. 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pages 293-302, ACM.
2013.
[pdf]
[bib]
-
[CHK13]
T. Chen, T. Han, M. Kwiatkowska.
On the Complexity of Model Checking Interval-valued Discrete Time Markov Chains.
Information Processing Letters, 113(7), pages 210-216, Elsevier.
2013.
[pdf]
[bib]
-
[BFK+13]
T. Brázdil, V. Forejt, J. Krčál, J. Křetínský and A. Kučera.
Continuous-Time Stochastic Games with Time-Bounded Reachability.
Information & Computation, 224, pages 46-70, Elsevier.
2013.
[pdf]
[bib]
-
[KNPQ13]
M. Kwiatkowska, G. Norman, D. Parker and H. Qu.
Compositional Probabilistic Verification through Multi-Objective Model Checking.
Information and Computation, 232, pages 38-65, Elsevier.
November 2013.
[pdf]
[bib]
-
[CDKM13b]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Verification of Linear Duration Properties over Continuous Time Markov Chains.
Transactions on Computational Logic, 14(4), pages 1-35, ACM. Article 33.
November 2013.
[pdf]
[bib]
-
[Kwi13]
M. Kwiatkowska.
From Software Verification to 'Everyware' Verification.
Computer Science - Research and Development, 28(4), pages 295-310, Springer.
November 2013.
[pdf]
[bib]
-
[NPS13]
G. Norman, D. Parker and J. Sproston.
Model Checking for Probabilistic Timed Automata.
Formal Methods in System Design, 43(2), pages 164-190, Springer.
September 2013.
[pdf]
[bib]
-
[CFK+13b]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
Formal Methods in System Design, pages 43(1), pages 61-92, Springer.
February 2013.
[pdf]
[bib]
-
[CGKM12]
R. Calinescu, C. Ghezzi, M. Kwiatkowska and R. Mirandola.
Self-adaptive Software Needs Quantitative Verification at Runtime.
Communications of the ACM, 55(9), pages 69-77, ACM.
September 2012.
[pdf]
[bib]
-
[LPC+12]
M. Lakin, D. Parker, L. Cardelli, M. Kwiatkowska and A. Phillips.
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking.
Journal of the Royal Society Interface, 9(72), pages 1470-1485.
July 2012.
[pdf]
[bib]
-
[KNP12a]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Verification of Herman’s Self-Stabilisation Algorithm.
Formal Aspects of Computing, 24(4), pages 661-670, Springer.
July 2012.
[pdf]
[bib]
-
[JKNP12]
J. Júlvez, M. Kwiatkowska, G. Norman and D. Parker.
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.
International Journal of Computers and Applications (IJCA), 19(2), pages 101-111, ISCA.
June 2012.
[pdf]
[bib]
-
[EPR+17]
S. Eberz, N. Paoletti, M. Roeschlin, A. Patane, M. Kwiatkowska and I. Martinovic.
Broken Hearted: How to Attack ECG Biometrics.
In Proc. Network and Distributed System Security Symposium 2017 (NDSS'17). To appear.
2017.
[pdf]
[bib]
-
[HK17]
X. Huang and M. Kwiatkowska.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
In Proc. AAAI Conference on Artificial Intelligence (AAAI'17), pages 3768-3774.
2017.
[pdf]
[bib]
-
[KNP17a]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking: Advances and Applications.
In R. Drechsler (editor), Formal System Verification.
2017.
[pdf]
[bib]
-
[BKM+16]
B.Barbot, M. Kwiatkowska, A. Mereacre, and N. Paoletti.
Building Power Consumption Models from Executable Timed I/O Automata Specifications.
In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2016). To appear.
2016.
[pdf]
[bib]
-
[LK16b]
M. Lahijanian and M. Kwiatkowska.
Social Trust: a Major Challenge for the Future of Autonomous Systems.
In AAAI Fall Symposium on Cross-Disciplinary Challenges for Autonomous Systems, pages 189-193, AAAI, AAAI Press.
2016.
[pdf]
[bib]
-
[CKL16a]
L. Cardelli, M. Kwiatkowska, L. Laurenti.
Programming Discrete Distributions with Chemical Reaction Networks.
In Y. Rondelez and D. Woods (editors), Proc. 22nd International Conference on DNA Computing and Molecular Programming (DNA22), Springer. To appear.
2016.
[pdf]
[bib]
-
[HK16]
X. Huang, M. Kwiatkowska.
Model Checking Probabilistic Knowledge: A PSPACE Case.
In Proc. AAAI Conference on Artificial Intelligence (AAAI'16), pages 2516-2522.
2016.
[pdf]
[bib]
-
[ACK16]
A. Abate, M. Ceska, M. Kwiatkowska.
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations.
In Proc. 14th 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16), pages 13-31, Springer.
2016.
[pdf]
[bib]
-
[BBBK16]
B. Barbot, N. Basset, M. Beunardeau and M. Kwiatkowska.
Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.
In Proc. 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Springer. To appear.
2016.
[pdf]
[bib]
-
[Kwi16]
M. Kwiatkowska.
Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice.
In Proc. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), pages 4:1-4:18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
2016.
[pdf]
[bib]
-
[KKK16]
P. Kim, D. Kroening and M. Kwiatkowska.
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps.
In Proc. 24th {IEEE} International Conference on Modelling, Analysis and Simulation of Computer and Telecommunication Systems ({MASCOTS} 2016), IEEE CS Press. To appear.
2016.
[pdf]
[bib]
-
[TSBC16]
E. Tesarova, M. Svorenova, J. Barnat and I. Cerna.
Optimal Observation Mode Scheduling for Systems under Temporal Constraints.
In Proc. 2016 American Control Conference (ACC'16), pages 1099-1104.
2016.
[pdf]
[bib]
-
[BCKL16]
L. Bortolussi, L. Cardelli, M. Kwiatkowska and L. Laurenti.
Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation.
In Proc. 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016), Springer. To appear.
2016.
[pdf]
[bib]
-
[LK16]
M. Lahijanian and M. Kwiatkowska.
Specification Revision for Markov Decision Processes with Optimal Trade-off.
In Proc. 55th Conference on Decision and Control (CDC 2016), pages 7411-7418, IEEE.
2016.
[pdf]
[bib]
-
[Kwi16b]
M. Kwiatkowska.
Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems.
In 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), pages 1-5, IEEE.
2016.
[pdf]
[bib]
-
[CKW16]
L. Cardelli, M. Kwiatkowska, M. Whitby.
Chemical Reaction Network Designs for Asynchronous Logic Circuits.
In Y. Rondelez and D. Woods (editors), Proc. 22nd International Conference on DNA Computing and Molecular Programming (DNA22), Springer. To appear.
2016.
[pdf]
[bib]
-
[CKL16b]
L. Cardelli, M. Kwiatkowska and L. Laurenti.
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation.
In Proc. 14th International Conference on Computational Methods in Systems Biology ({CMSB} 2016), Springer. To appear.
2016.
[pdf]
[bib]
-
[CPP+16]
M. Ceska, P. Pilar, N. Paoletti, L. Brim and M. Kwiatkowska.
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.
In 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer International Publishing. To appear.
January 2016.
[pdf]
[bib]
-
[KPW16]
M. Kwiatkowska and D. Parker and C. Wiltsche.
PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games.
In Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), pages 560-566, Springer.
2016.
[pdf]
[bib]
-
[FWHT15]
L. Feng, C. Wiltsche, L. Humphrey, U. Topcu.
Controller Synthesis for Autonomous Systems Interacting with Human Operators.
In International Conference on Cyber-Physical Systems, pages 70-79, ACM.
2015.
[pdf]
[bib]
-
[Bas15]
N. Basset.
Timed Symbolic Dynamics.
In Sankaranarayanan, Sriram and Vicario, Enrico (editors), 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15), volume 9268 of LNCS, pages 44-59, Springer International Publishing.
2015.
[pdf]
[bib]
-
[BKTW15]
N. Basset, M. Kwiatkowska, U. Topcu, and C. Wiltsche.
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
In C. Baier, and C. Tinelli (editors), Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 9035 of LNCS, pages 256-271, Springer.
2015.
[pdf]
[bib]
-
[BKM+15a]
B. Barbot, M. Kwiatkowska, A. Mereacre and N. Paoletti.
Estimation and verification of hybrid heart models for personalised medical and wearable devices.
In 13th International Conference on Computational Methods in Systems Biology (CMSB 2015), volume 9308 of LNCS, pages 3-7.
2015.
[pdf]
[bib]
-
[Kwi15]
M. Kwiatkowska.
Parameter synthesis for probabilistic real-time systems.
In Proc. SynCoP'15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. To appear.
2015.
[pdf]
[bib]
-
[BKM+15]
C. Barker, M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane.
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers.
In 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
2015.
[pdf]
[bib]
-
[BK15]
B. Barbot, M. Kwiatkowska.
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.
In Devillers, Raymond and Valmari, Antti (editors), Proc. 36th International Conference on Application and Theory of Petri Nets and Concurrency, volume 9115 of Lecture Notes in Computer Science, pages 1-32, Springer International Publishing.
2015.
[pdf]
[bib]
-
[CKL15a]
L. Cardelli, M. Kwiatkowska, L. Laurenti.
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
In Proceedings of 13th Annual Conference on Computational Methods in Systems Biology (CMSB 2015), volume 9308 of LNCS, pages 3-7.
2015.
[pdf]
[bib]
-
[JKN15]
A. Jovanovic, M. Kwiatkowska and G. Norman.
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.
In Sankaranarayanan, Sriram and Vicario, Enrico (editors), Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, volume 9268 of LNCS, pages 140-155, Springer.
2015.
[pdf]
[bib]
-
[ABCK15]
A. Abate, L. Brim, M. Ceska, M. Kwiatkowska.
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks.
In Kroening, Daniel and Păsăreanu, Corina S. (editors), Proc. 27th International Conference on Computer Aided Verification (CAV), volume 9206 of LNCS, pages 195-213, Springer.
2015.
[pdf]
[bib]
-
[DHK15]
F. Dannenberg, E. M. Hahn and M. Kwiatkowska.
Computing Cumulative Rewards using Fast Adaptive Uniformisation.
In ACM Transactions on Modeling and Computer Simulation, Special Issue in Computational Methods in Systems Biology, Association for Computing Machinery (ACM). Article 9.
April 2015.
[pdf]
-
[KMP+15]
M. Kwiatkowska, A. Mereacre, N. Paoletti, A. Patane.
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.
In Proceedings of the 4th International Workshop on Hybrid Systems and Biology (HSB 2015), pages 119-140, Springer International Publishing.
January 2015.
[pdf]
[bib]
-
[BKW14]
N. Basset, M. Kwiatkowska and C. Wiltsche.
Compositional Controller Synthesis for Stochastic Games.
In P. Baldan and D. Gorla (editors), Proc. 25th International Conference on Concurrency Theory (CONCUR'14), volume 8704 of LNCS, pages 173-187, Springer.
2014.
[pdf]
[bib]
-
[AKNP14]
A. Abate, M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.
In F. van Breugel, E. Kashefi, C. Palamidessi and J. Rutten (editors), Horizons of the Mind - P. Panangaden Festschrift, volume 8464 of LNCS, pages 40-58, Springer Verlag.
2014.
[pdf]
[bib]
-
[KMP14]
M. Kwiatkowska, A. Mereacre, and N. Paoletti.
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.
In Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), volume 8803 of LNCS, pages 365-384, Springer.
2014.
[pdf]
[bib]
-
[Bas14]
N. Basset.
Counting and generating permutations using timed languages.
In Proc. Alfredo Viola (editor), LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay. Proceedings, volume 8392 of LNCS, pages 502-513, Springer.
2014.
[pdf]
[bib]
-
[BCC+14]
T. Brázdil, K. Chatterjee, M. Chmelík, V. Forejt, J. Křetínský, M. Kwiatkowska, D. Parker and M. Ujma.
Verification of Markov Decision Processes using Learning Algorithms.
In Proc. 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), volume 8837 of LNCS, pages 98-114, Springer.
2014.
[pdf]
[bib]
-
[PYHWK14a]
N. Paoletti, B. Yordanov, Y. Hamadi, C.M. Wintersteiger, and H. Kugler.
Analyzing and Synthesizing Genomic Logic Functions.
In Proc. 26th International Conference on Computer Aided Verification (CAV), volume 8559 of LNCS, pages 343-357, Springer.
2014.
[pdf]
[bib]
-
[JK14]
A. Jovanovic, and M. Kwiatkowska,.
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Games.
In Proc. 8th International Workshop on Reachability Problems (RP'14), volume 8762 of LNCS, pages 176-189, Springer.
2014.
[pdf]
[bib]
-
[KM14]
M. Kwiatkowska and A. Mereacre.
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software.
In Proc. 5th Workshop on Medical Cyber-Physical Systems, volume 36 of OpenAccess Series in Informatics, pages 137-140, Schloss Dagstuhl.
2014.
[pdf]
[bib]
-
[Kwi14]
M. Kwiatkowska.
Challenges in automated verification and synthesis for molecular programming.
In Martin Abadi, Philippa Gardner, Andrew D. Gordon and Radu Mardare (editors), Essays for the Luca Cardelli Fest, volume MSR-TR-2014-104 of Technical Report, pages 155-170, Microsoft Research.
2014.
[pdf]
[bib]
-
[DFK+14]
K. Draeger, V. Forejt, M. Kwiatkowska, D. Parker and M. Ujma.
Permissive Controller Synthesis for Probabilistic Systems.
In Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), volume 8413 of LNCS, pages 531-546, Springer.
2014.
[pdf]
[bib]
-
[DKKM14]
M. Diciolla, C. H. P. Kim, M. Kwiatkowska and A. Mereacre.
Synthesising Optimal Timing Delays for Timed I/O Automata.
In Proc. 14th International Conference on Embedded Software (EMSOFT'14), ACM.
2014.
[pdf]
[bib]
-
[CDKP14]
M. Ceska, F. Dannenberg, M. Kwiatkowska and N. Paoletti.
Precise Parameter Synthesis for Stochastic Biochemical Systems.
In Proc. 12th Conference on Computational Methods in Systems Biology (CMSB'14), volume 8859 of LNCS, pages 86-89, Springer.
2014.
[pdf]
[bib]
-
[HFMMK14]
Z. Huang, C. Fan, A. Mereacre, S. Mitra and M. Kwiatkowska.
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.
In Proc. 26th International Conference on Computer Aided Verification (CAV), volume 8559 of LNCS, pages 373-390, Springer.
2014.
[pdf]
[bib]
-
[KLMP14]
M. Kwiatkowska, H. Lea-Banks, A. Mereacre and N. Paoletti.
Formal Modelling and Validation of Rate-Adaptive Pacemakers.
In Proc. IEEE International Conference on Healthcare Informatics.
2014.
[pdf]
[bib]
-
[KPQU14]
M. Kwiatkowska, D. Parker, H. Qu, and M. Ujma.
On Incremental Quantitative Verification for Probabilistic Systems.
In Proc. Andrei Voronkov and Margarita Korovina (editors), HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, pages 245-257, Easychair.
February 2014.
[pdf]
[bib]
-
[Tha13]
C. Thachuk.
Logically and Physically Reversible Natural Computing: A Tutorial.
In G.W. Dueck and D.M. Miller (editors), Proc. 5th International Conference on Reversible Computation (RC'13), volume 7948 of LNCS, pages 247-262, Springer.
2013.
[pdf]
[bib]
-
[Kwi13b]
M. Kwiatkowska.
Advances in Quantitative Verification for Ubiquitous Computing.
In Proc. 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2013), volume 8049 of LNCS, pages 42-58, Springer, Heidelberg.
2013.
[pdf]
[bib]
-
[DHK13]
F. Dannenberg, E. M. Hahn and M. Kwiatkowska.
Computing Cumulative Rewards using Fast Adaptive Uniformisation.
In Proc. 11th Conference on Computational Methods in Systems Biology (CMSB'13), volume 8130 of LNCS, pages 33-49, Springer.
2013.
[pdf]
[bib]
-
[DKTT13]
F. Dannenberg, M. Kwiatkowska, C. Thachuk and A. J. Turberfield.
DNA Walker Circuits: Computational Potential, Design, and Verification.
In Proc. 19th International Conference on DNA Computing and Molecular Programming (DNA 19), volume 8141 of LNCS, pages 31-45, Springer.
2013.
[pdf]
[bib]
-
[CFK+13c]
T. Chen, V. Forejt, M. Kwiatkowska, A. Simaitis and C. Wiltsche.
On Stochastic Games with Multiple Objectives.
In Krishnendu Chatterjee and Jiri Sgall (editors), Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 266-277, Springer.
2013.
[pdf]
[bib]
-
[GHZZ13]
Y. Gao, E. M. Hahn, N. Zhan, and L. Zhang.
CCMC: A Conditional CSL Model Checker for Continous-Time Markov Chains.
In Proc. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), volume 8172 of LNCS, pages 464-468, Springer.
2013.
[pdf]
[bib]
-
[CFK+13]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
PRISM-games: A Model Checker for Stochastic Multi-Player Games.
In Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), volume 7795 of LNCS, pages 185-191, Springer.
2013.
[pdf]
[bib]
-
[HKKG13]
T. Han, C. Krause, M. Kwiatkowska and H. Giese.
Modal Specifications for Probabilistic Timed Systems.
In Proc. 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, pages 66-80, EPTCS.
2013.
[pdf]
[bib]
-
[CKSW13]
T. Chen, M. Kwiatkowska, A. Simaitis and C. Wiltsche.
Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving.
In Proc. 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013), pages 322-337, IEEE CS Press.
2013.
[pdf]
[bib]
-
[HH13]
E. M. Hahn and H. Hermanns.
Rewarding Probabilistic Hybrid Automata.
In Proc. 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pages 313-322, ACM.
2013.
[pdf]
[bib]
-
[GMR+13]
L. Gallina, A. Marin, S. Rossi, T. Han and M. Kwiatkowska.
A Process-Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks.
In Proc. 16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'13), pages 255-262, ACM.
November 2013.
[pdf]
[bib]
-
[KP13]
M. Kwiatkowska and D. Parker.
Automated Verification and Strategy Synthesis for Probabilistic Systems.
In Proc. 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), volume 8172 of LNCS, pages 5-22, Springer.
October 2013.
[pdf]
[bib]
-
[CHH+13]
T. Chen, E. M. Hahn, T. Han, M. Kwiatkowska, H. Qu, and L. Zhang.
Model Repair for Markov Decision Processes.
In Proc. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 85-92, IEEE CS Press.
July 2013.
[pdf]
[bib]
-
[KPS13]
M. Kwiatkowska, D. Parker and A. Simaitis.
Strategic Analysis of Trust Models for User-Centric Networks.
In Proc. 1st International Workshop on Strategic Reasoning (SR'13), volume 112 of EPTCS, pages 53-60.
March 2013.
[pdf]
[bib]
-
[DKP13]
C. Dehnert, J.-P. Katoen and D. Parker.
SMT-Based Bisimulation Minimisation of Markov Models.
In Proc. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13), volume 7737 of LNCS, pages 28-47, Springer.
January 2013.
[pdf]
[bib]
-
[CJK13]
C. Chilton, B. Jonsson, and M. Kwiatkowska.
Assume-Guarantee Reasoning for Safe Component Behaviours.
In C. Pasareanu and G. Salaun (editors), Proc. 9th International Symposium on Formal Aspects of Component Software (FACS'12), volume 7684 of LNCS, pages 92-109, Springer.
2013.
[pdf]
[bib]
-
[GHKN12]
D. Guck, T. Han, J.-P. Katoen and M. R. Neuhäußer.
Quantitative Timed Analysis of Interactive Markov Chains.
In Proceeding of NASA Formal Methods Symposium (NFM), Volume 7226 of Lecture Notes in Computer Science, pages 8–23, Springer-Verlag.
2012.
[pdf]
[bib]
-
[GHK+12]
L. Gallina, T. Han, M. Kwiatkowska, A. Marin, S. Rossi and A. Spano.
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks.
In Proc. 2012 IFIP Wireless Days Conference (WD'12), pages 1-6, IEEE.
2012.
[pdf]
[bib]
-
[FKP12]
V. Forejt, M. Kwiatkowska and D. Parker.
Pareto Curves for Probabilistic Model Checking.
In Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), volume 7561 of LNCS, pages 317-332, Springer.
2012.
[pdf]
[bib]
-
[Kwi12]
M. Kwiatkowska.
Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices.
In Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12), pages XIII-XIV, Springer.
2012.
[pdf]
[bib]
-
[CFK+12b]
T. Chen, V. Forejt, M. Kwiatkowska, A. Simaitis, A. Trivedi and M. Ummels.
Playing Stochastic Games Precisely.
In Proc. 23rd International Conference on Concurrency Theory (CONCUR'12), volume 7454 of LNCS, pages 348-363, Springer.
2012.
[pdf]
[bib]
-
[CDK12]
T. Chen, K. Draeger, S. Kiefer.
Model Checking Stochastic Branching Processes.
In B. Rovan, V. Sassone, P. Widmayer (editor), Proceedings 37th International Symposium on Mathematical Foundations of Computer Science (MFCS), volume 7464 of LNCS, pages 271-282, Springer.
2012.
[pdf]
[bib]
-
[CDKM12b]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Quantitative Verification of Implantable Cardiac Pacemakers.
In Proc. 33rd IEEE Real-Time Systems Symposium (RTSS), pages 263-272, IEEE.
December 2012.
[pdf]
[bib]
-
[CKW12]
C. Chilton, M. Kwiatkowska and X. Wang.
Revisiting Timed Specification Theories: A Linear-Time Perspective.
In M. Jurdzinski and D. Nickovic (editors), Proc. 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12), volume 7595 of LNCS, pages 75-90, Springer.
September 2012.
[pdf]
[bib]
-
[FKP+12]
V. Forejt, M. Kwiatkowska, D. Parker, H. Qu and M. Ujma.
Incremental Runtime Verification of Probabilistic Systems.
In S. Qadeer and S. Tasiran (editors), Proc. 3rd International Conference on Runtime Verification (RV'12), volume 7687 of LNCS, pages 314-319, Springer.
September 2012.
[pdf]
[bib]
-
[KNP12b]
M. Kwiatkowska, G. Norman and D. Parker.
The PRISM Benchmark Suite.
In Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12), pages 203-204, IEEE CS Press.
September 2012.
[pdf]
[bib]
-
[CDKM12]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Verification of Linear Duration Properties over Continuous-Time Markov Chains.
In Proc. 15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012), pages 265-274, ACM.
April 2012.
[pdf]
[bib]
-
[CCJK12]
T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska.
A Compositional Specification Theory for Component Behaviours.
In H. Seidl (editor), Programming Languages and Systems, Proc. 21st European Symposium on Programming (ESOP'12), volume 7211 of LNCS, pages 148-168, Springer.
March 2012.
[pdf]
[bib]
-
[CFK+12]
T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), volume 7214 of LNCS, pages 315-330, Springer.
March 2012.
[pdf]
[bib]
-
[CHKM11b]
T. Chen, T. Han, J.-P. Katoen and A. Mereacre.
Reachability Probabilities in Markovian Timed Automata.
In Proc. 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'11), pages 7075-7080, IEEE Press.
December 2011.
[pdf]
[bib]
-
[FHKP11]
L. Feng, T. Han, M. Kwiatkowska and D. Parker.
Learning-based Compositional Verification for Synchronous Probabilistic Systems.
In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), volume 6996 of LNCS, pages 511-521, Springer.
October 2011.
[pdf]
[bib]
-
[HKQ11]
H. Hansen, M. Kwiatkowska and H. Qu.
Partial order reduction for model checking Markov decision processes under unconditional fairness.
In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 203-212, IEEE CS Press.
September 2011.
[pdf]
[bib]
-
[CHKM11a]
T. Chen, T. Han, J.-P. Katoen, A. Mereacre.
Observing Continuous-Time MDPs by 1-Clock Timed Automata.
In Proc. 5th Interntaional Workshop on Reachability Problems (RP'11), volume 6945 of LNCS, pages 2-25, Springer.
September 2011.
[pdf]
[bib]
-
[HNP+11]
E. M. Hahn, G. Norman, D. Parker, B. Wachter and L. Zhang.
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 69-78, IEEE CS Press.
September 2011.
[pdf]
[bib]
-
[CDKM11]
T. Chen, M. Diciolla, M. Kwiatkowska and A. Mereacre.
Time-Bounded Verification of CTMCs against Real-Time Specifications.
In Proc. 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), volume 6919 of LNCS, pages 26-42, Springer.
September 2011.
[pdf]
[bib]
-
[CKPS11]
T. Chen, M. Kwiatkowska, D. Parker and A. Simaitis.
Verifying Team Formation Protocols with Probabilistic Model Checking.
In Proc. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII 2011), volume 6814 of LNCS, pages 190-297, Springer.
July 2011.
[pdf]
[bib]
-
[KNP11]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In Proc. 23rd International Conference on Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 585-591, Springer.
July 2011.
[pdf]
[bib]
-
[KPQ11]
M. Kwiatkowska, D. Parker and H. Qu.
Incremental Quantitative Verification for Markov Decision Processes.
In Proc. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11), pages 359-370, IEEE CS Press.
June 2011.
[pdf]
[bib]
-
[BBC+11]
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt and A. Kučera.
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.
In Proc. 26th Annual IEEE Symposium on Logic in Computer Science (LICS'11), pages 33-42, IEEE Computer Society.
June 2011.
[pdf]
[bib]
-
[HHZ11]
E. M. Hahn, T. Han and L. Zhang.
Synthesis for PCTL in Parametric Markov Decision Processes.
In Mihaela Gheorghiu Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi (editors), Proc. 3rd NASA Formal Methods Symposium (NFM'11), volume 6617 of Lecture Notes in Computer Science, pages 146-161, Springer.
April 2011.
[pdf]
[bib]
-
[FKN+11]
V. Forejt, M. Kwiatkowska, G. Norman, D. Parker and H. Qu.
Quantitative Multi-Objective Verification for Probabilistic Systems.
In Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), volume 6605 of LNCS, pages 112-127, Springer.
March 2011.
[pdf]
[bib]
-
[FKP11]
L. Feng, M. Kwiatkowska and D. Parker.
Automated Learning of Probabilistic Assumptions for Compositional Reasoning.
In Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11), volume 6603 of LNCS, pages 2-17, Springer. Invited paper.
March 2011.
[pdf]
[bib]
-
[KNP10c]
M. Kwiatkowska, G. Norman and D. Parker.
Advances and Challenges of Probabilistic Model Checking.
In Proc. 48th Annual Allerton Conference on Communication, Control and Computing, pages 1691-1698, IEEE Press. Invited paper.
October 2010.
[pdf]
[bib]
-
[FKP10]
L. Feng, M. Kwiatkowska and D. Parker.
Compositional Verification of Probabilistic Systems Using Learning.
In Proc. 7th International Conference on Quantitative Evaluation of Systems (QEST'10), pages 133-142, IEEE CS Press.
September 2010.
[pdf]
[bib]
-
[KNP10b]
M. Kwiatkowska, G. Norman and D. Parker.
A Framework for Verification of Software with Time and Probabilities.
In Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 25-45, Springer.
September 2010.
[pdf]
[bib]
-
[Dan16]
F. Dannenberg.
Modelling and verification for DNA nanotechnology.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2016.
[pdf]
[bib]
-
[Ujm15]
M. Ujma.
On Verification and Controller Synthesis for Probabilistic Systems at Runtime.
Ph.D. thesis, University of Oxford.
2015.
[pdf]
[bib]
-
[Wil15]
C. Wiltsche.
Assume-Guarantee Strategy Synthesis for Stochastic Games.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2015.
[pdf]
[bib]
-
[WHI15]
Whitby, M..
The Construction and Verification of Asynchronous Components Built from Chemical Reaction Networks.
Masters thesis, University of Oxford.
June 2015.
[pdf]
[bib]
-
[Dic14]
M. Diciolla.
Quantitative Verification of Real-Time Properties with Application to Medical Devices.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2014.
[pdf]
[bib]
-
[Sim14]
A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2014.
[pdf]
[bib]
-
[Chi13]
C. Chilton.
An Algebraic Theory of Componentised Interaction.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2013.
[pdf]
[bib]
Sort by: date, type, title