Project Publications
Sort by: date, type, title
40 publications:
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[BCIJ13]
A. Bennaceur and C. Chilton and M. Isberner and B. Jonsson.
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning.
In R. M. Hierons and M. G. Merayo and M. Bravetti (editors), Proc. 11th International Conference on Software Engineering and Formal Methods (SEFM'13), volume 8137 of LNCS, pages 274-288, Springer.
2013.
[pdf]
[bib]
-
[Chi13]
C. Chilton.
An Algebraic Theory of Componentised Interaction.
Ph.D. thesis, Department of Computer Science, University of Oxford.
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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[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]
-
[wang12]
X. Wang.
Maximal Confluent Processes.
In S. Haddad and L. Pomello (editors), Proc. 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'12), volume 7347 of LNCS, pages 188-207, Springer.
June 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]
-
[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]
-
[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]
-
[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]
-
[CGKMT11]
R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola and G. Tamburrelli.
Dynamic QoS Management and Optimisation in Service-Based Systems.
IEEE Transactions on Software Engineering, 37(3), pages 387-409.
May 2011.
[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]
-
[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]
-
[GKMMQ10]
Felicita Di Giandomenico, Marta Kwiatkowska, Marco Martinucci, Paolo Masci, and Hongyang Qu.
Dependability Analysis and Verification for Connected Systems.
In Tiziana Margaria and Bernhard Steffen (editors), 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'10), volume 6416 of LNCS, pages 263-277, Springer.
October 2010.
[pdf]
-
[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]
-
[ACI+10]
Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska and Massimo Tivoli.
Towards a Connector Algebra.
In Tiziana Margaria and Bernhard Steffen (editors), Proc. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), volume 6416 of LNCS, pages 278-292, Springer.
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]
-
[KLQ10]
Marta Kwiatkowska, Alessio Lomuscio, and Hongyang Qu.
Parallel Model Checking for Temporal Epistemic Logic.
In Helder Coelho, Rudi Studer, and Michael Wooldridge (editors), 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 543-548, IOS Press.
August 2010.
[pdf]
-
[LPQ10]
A. Lomuscio, W. Penczek and H. Qu.
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems.
In Proc. the 9th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'10), pages 659-666, IFAAMAS.
May 2010.
[pdf]
[bib]
-
[KNPQ10]
M. Kwiatkowska, G. Norman, D. Parker and H. Qu.
Assume-Guarantee Verification for Probabilistic Systems.
In Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), volume 6015 of LNCS, pages 23-37, Springer.
March 2010.
[pdf]
[bib]
-
[AMMKQ09]
F. Arbab, S. Meng, Y.-J. Moon, M. Kwiatkowska and H. Qu.
Reo2MC: a Tool Chain for Performance Analysis of Coordination Models.
In Hans van Vliet, Valérie Issarny (editor), The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pages 287-288, ACM.
August 2009.
[pdf]
[bib]
-
[Kwi09]
M. Kwiatkowska.
On Quantitative Software Verification.
In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 2-3, Springer. Invited contribution.
June 2009.
[pdf]
[bib]
-
[CK09a]
V. Issarny, B. Steffen, B. Jonsson, G. Blair, P. Grace, M. Kwiatkowska, R. Calinescu, P. Inverardi, M. Tivoli, A. Bertolino and A. Sabetta.
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.
In Proc. 14th IEEE International Conference on Engineering of Complex Computer Systems. Poster.
June 2009.
[pdf]
[bib]
-
[CK09]
R. Calinescu and M. Kwiatkowska.
Using Quantitative Analysis to Implement Autonomic IT Systems.
In Proc. 31st International Conference on Software Engineering (ICSE'09), pages 100-110, IEEE Press.
May 2009.
[pdf]
[bib]
-
[KNP09a]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM: Probabilistic Model Checking for Performance and Reliability Analysis.
ACM SIGMETRICS Performance Evaluation Review, 36(4), pages 40-45, ACM.
March 2009.
[pdf]
[bib]
Sort by: date, type, title
