Project Publications
Sort by: date, type, title
36 publications:
-
[KNP10a]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking for Systems Biology.
In M. Sriram Iyengar (editor), Symbolic Systems Biology, pages 31-59, Jones and Bartlett.
May 2010.
[pdf]
[bib]
-
[KNP09b]
M. Kwiatkowska, G. Norman and D. Parker.
Quantitative Verification Techniques for Biological Processes.
In A. Condon, D. Harel, J. Kok, A. Salomaa and E. Winfree (editors), Algorithmic Bioprocesses, pages 391-409, Springer.
August 2009.
[pdf]
[bib]
-
[KNPS08]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Verification of Real-Time Probabilistic Systems.
In S. Merz and N. Navet (editors), Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pages 249-288, John Wiley & Sons.
January 2008.
[pdf]
[bib]
http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
-
[KNP07a]
M. Kwiatkowska, G. Norman and D. Parker.
Stochastic Model Checking.
In M. Bernardo and J. Hillston (editors), Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer.
June 2007.
[pdf]
[bib]
-
[BK11]
D. Bucur and M. Kwiatkowska.
On Software Verification for Sensor Nodes.
Journal of Software and Systems, 84(10), pages 1693-1707, Elsevier.
October 2011.
[pdf]
[bib]
-
[KKNP10]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
A Game-based Abstraction-Refinement Framework for Markov Decision Processes.
Formal Methods in System Design, 36(3), pages 246-280, Springer.
September 2010.
[pdf]
[bib]
-
[LKC10]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks.
International Journal of Wireless and Mobile Computing, 4(2), pages 64-75.
June 2010.
[bib]
-
[NPPW09]
G. Norman, C. Palamidessi, D. Parker and P. Wu.
Model Checking Probabilistic and Stochastic Extensions of the Pi-Calculus.
IEEE Transactions on Software Engineering, 35(2), pages 209-223, IEEE Computer Society.
March 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]
-
[KNPV09]
M. Kwiatkowska, G. Norman, D. Parker and M.G. Vigliotti.
Probabilistic Mobile Ambients.
Theoretical Computer Science, 410(12-13), pages 1272-1303, Elsevier.
March 2009.
[ps.gz]
[pdf]
[bib]
-
[EKVY08]
K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis.
Multi-Objective Model Checking of Markov Decision Processes.
Logical Methods in Computer Science, 4(4), pages 1-21.
2008.
[pdf]
[bib]
http://www.lmcs-online.org/ojs/viewarticle.php?id=364&layout=abstract
-
[KNP08d]
M. Kwiatkowska, G. Norman and D. Parker.
Analysis of a Gossip Protocol in PRISM.
ACM SIGMETRICS Performance Evaluation Review, 36(3), pages 17-22.
December 2008.
[pdf]
[bib]
-
[HKN+08]
J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn.
Probabilistic Model Checking of Complex Biological Pathways.
Theoretical Computer Science (Special Issue on Converging Sciences: Informatics and Biology), 391(3), pages 239-257, Elsevier.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[YNN+11]
E. Yuksel, H. R. Nielson, F. Nielson, M. Fruth and M. Kwiatkowska.
Optimizing Key Updates in Sensor Networks.
In Proc. IEEE Sensors Applications Symposium (SAS'11), pages 82-87.
2011.
[bib]
http://orbit.dtu.dk/fedora/objects/orbit:71339/datastreams/file_6252060/content
-
[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]
-
[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]
-
[BK10a]
D. Bucur and M. Kwiatkowska.
Software Verification for TinyOS.
In Proc. Information Processing in Sensor Networks (IPSN'10), pages 400-401, ACM.
April 2010.
[pdf]
[bib]
-
[FFM09]
A. Fehnker, M. Fruth and A. McIver.
Graphical modelling for simulation and formal analysis of wireless network protocols.
In M. Butler, C. Jones, A. Romanovsky and E. Troubitsyna (editors), Methods, Models and Tools for Fault Tolerance, volume 5454 of LNCS, pages 1-24, Springer.
2009.
[pdf]
-
[BK09c]
D. Bucur and M. Kwiatkowska.
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications.
In Proc. 3rd European Conference on Ambient Intelligence (AmI 2009), pages 101-105, Springer.
November 2009.
-
[JKNT09]
M. Jurdzinski, M. Kwiatkowska, G. Norman and A. Trivedi.
Concavely-Priced Probabilistic Timed Automata.
In M. Bravetti and G. Zavattaro (editors), Proc. 20th Int. Conf. Concurrency Theory (CONCUR'09), volume 5710 of LNCS, pages 415-430, Springer.
September 2009.
[pdf]
[bib]
-
[BK09a]
D. Bucur and M. Kwiatkowska.
Towards Software Verification for TinyOS Applications.
In Proc. Workshop on Formal Approaches to Ubiquitous Systems (FAUSt '09). Extended abstract.
September 2009.
[pdf]
-
[BK09b]
D. Bucur and M. Kwiatkowska.
Rely-Guarantee Reasoning for Context-Aware Software.
In Proc. Workshop on Formal Approaches to Ubiquitous Systems (FAUSt '09). Extended abstract.
September 2009.
[pdf]
-
[KNP09c]
M. Kwiatkowska, G. Norman and D. Parker.
Stochastic Games for Verification of Probabilistic Timed Automata.
In Proc. 7th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'09), volume 5813 of LNCS, pages 212-227, Springer.
September 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]
-
[CNP09]
K. Chatzikokolakis, G. Norman and D. Parker.
Bisimulation for Demonic Schedulers.
In Proc. 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'09), volume 5504 of LNCS, pages 318-332, Springer.
March 2009.
[ps.gz]
[pdf]
[bib]
-
[KKNP09]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
Abstraction Refinement for Probabilistic Software.
In Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), volume 5403 of Lecture Notes in Computer Science, pages 182-197, Springer.
January 2009.
[ps.gz]
[pdf]
[bib]
-
[BFFM08]
A. Boulis, A. Fehnker, M. Fruth and A. McIver.
CaVi: Simulation and Model Checking for Wireless Sensor Networks.
In Proc. 5th International Conference on the Quantitative Evaluation of Systems (QEST 2008), pages 37--38, IEEE CS Press.
2008.
[pdf]
-
[RPNdA08]
P. Roy, D. Parker, G. Norman and L. de Alfaro.
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
In Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08), pages 103-112, IEEE CS Press.
September 2008.
[pdf]
[bib]
-
[KKNP08a]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
Game-Based Probabilistic Predicate Abstraction in PRISM.
In Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08), volume 220 (3) of Electronic Notes in Theoretical Computer Science , pages 5-21 , Elsevier.
March 2008.
[ps.gz]
[pdf]
[bib]
-
[Kwi07]
M. Kwiatkowska.
Quantitative Verification: Models, Techniques and Tools.
In Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 449-458, ACM Press.
September 2007.
[pdf]
[bib]
-
[FMM07]
A. Fehnker, M. Fruth and A. McIver.
Graphical modelling for simulation and formal analysis of wireless network protocols.
In Proc. Workshop on Methods, Models and Tools for Fault-Tolerance (MeMoT'07) at the 7th International Conference on Integrated Formal Methods (IFM'07), pages 80-87. Technical Report CS-TR-1032, University of Newcastle upon Tyne.
July 2007.
[pdf]
[bib]
-
[EKVY07]
K. Etessami, M. Kwiatkowska, M. Vardi and M. Yannakakis.
Multi-Objective Model Checking of Markov Decision Processes.
In Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), volume 4424 of LNCS, pages 50-65, Springer.
March 2007.
[pdf]
[bib]
-
[Fru06]
M. Fruth.
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.
In Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06).
November 2006.
[pdf]
[bib]
Sort by: date, type, title
