VERIWARE - Publications
Sort by: date, type, title
140 publications:
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[Chi13]
C. Chilton.
An Algebraic Theory of Componentised Interaction.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2013.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[Wil15]
C. Wiltsche.
Assume-Guarantee Strategy Synthesis for Stochastic Games.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2015.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[Sim14]
A. Simaitis.
Automatic Verification of Competitive Stochastic Systems.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2014.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[CKW17]
L. Cardelli, M. Kwiatkowska and M. Whitby.
Chemical Reaction Network Designs for Asynchronous Logic Circuits.
Natural Computing. To appear.
2017.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[FKNT16]
V. Forejt, M. Kwiatkowska, G. Norman, A. Trivedi.
Expected Reachability-Time Games.
Theoretical Computer Science, Elsevier. To appear.
2016.
[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]
-
[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]
-
[Kwi13]
M. Kwiatkowska.
From Software Verification to 'Everyware' Verification.
Computer Science - Research and Development, 28(4), pages 295-310, Springer.
November 2013.
[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]
-
[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
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[Dan16]
F. Dannenberg.
Modelling and verification for DNA nanotechnology.
Ph.D. thesis, Department of Computer Science, University of Oxford.
2016.
[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
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[Ujm15]
M. Ujma.
On Verification and Controller Synthesis for Probabilistic Systems at Runtime.
Ph.D. thesis, University of Oxford.
2015.
[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]
-
[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]
-
[JK17]
A. Jovanovic and M. Kwiatkowska.
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions.
Theoretical Computer Science. To appear.
2017.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[KNP17a]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking: Advances and Applications.
In R. Drechsler (editor), Formal System Verification.
2017.
[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]
-
[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]
-
[CKL17]
L. Cardelli, M. Kwiatkowska and L. Laurenti.
Programming discrete distributions with chemical reaction networks.
Natural Computing. To appear.
2017.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[HKO19]
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik.
Reasoning about Cognitive Trust in Stochastic Multiagent Systems.
ACM Transactions on Computational Logic.
2019.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[CKL16c]
L. Cardelli, M. Kwiatkowska, L. Laurenti.
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
BioSystems, Elsevier.
2016.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[WHI15]
Whitby, M..
The Construction and Verification of Asynchronous Components Built from Chemical Reaction Networks.
Masters thesis, University of Oxford.
June 2015.
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
Sort by: date, type, title