Marta Kwiatkowska's Publications
Sort by: date, type, title
151 publications:
-
[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.
[ps.gz]
[pdf]
[bib]
-
[KNP09e]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking for Systems Biology.
In Symbolic Systems Biology, Jones and Bartlett. To appear.
2009.
[bib]
-
[KNPS08]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Verification of Real-Time Probabilistic Systems.
In Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, pages 249-288, John Wiley & Sons.
January 2008.
[bib]
-
[DKN+07]
M. Duflot, M. Kwiatkowska, G. Norman, D. Parker, S. Peyronnet, C. Picaronny and J. Sproston.
Practical Applications of Probabilistic Model Checking to Communication Protocols.
In Handbook of Formal Methods in Industrial Critical Systems (FMICS). To appear.
2007.
[pdf]
[bib]
-
[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, volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer.
June 2007.
[ps.gz]
[pdf]
[bib]
-
[KH09b]
M. Kwiatkowska and J. Heath.
Biological pathways as communicating computer systems.
Journal of Cell Science, 122(16), pages 2793-2800.
August 2009.
[bib]
-
[KNPV09]
M. Kwiatkowska, G. Norman, D. Parker and M.G. Vigliotti.
Probabilistic Mobile Ambients.
Theoretical Computer Science, 410(12-13), pages 1272-1303.
March 2009.
[ps.gz]
[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.
March 2009.
[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]
-
[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]
-
[GHK08]
E. Gaffney, J. Heath and M. Kwiatkowska.
A Mass Action Model of a Fibroblast Growth Factor Signaling Pathway and Its Simplification.
Bulletin of Mathematical Biology, 70(8), pages 2229-2263.
November 2008.
[bib]
-
[Kwi08]
M. Kwiatkowska.
Introduction.
Philosophical Transactions of the Royal Society A, 366(1881), pages 3665-3668. Discussion Meeting Issue 'From computers to ubiquitous computing, by 2020'.
November 2008.
[bib]
-
[KNP08a]
M. Kwiatkowska, G. Norman and D. Parker.
Using probabilistic model checking in systems biology.
ACM SIGMETRICS Performance Evaluation Review, 35(4), pages 14-21, Association for Computing Machinery.
March 2008.
[ps.gz]
[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.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[WK07]
X. Wang and M. Kwiatkowska.
On process-algebraic verification of asynchronous circuits.
Fundamenta Informaticae, 80(1-3), pages 283-310.
2007.
[pdf]
[bib]
-
[KNP07b]
M. Kwiatkowska, G. Norman and D. Parker.
Controller Dependability Analysis By Probabilistic Model Checking.
Control Engineering Practice, 15(11), pages 1427-1434, Elsevier.
November 2007.
[ps.gz]
[pdf]
[bib]
-
[KNSW07]
M. Kwiatkowska, G. Norman, J. Sproston and F. Wang.
Symbolic Model Checking for Probabilistic Timed Automata.
Information and Computation, 205(7), pages 1027-1077.
July 2007.
[ps.gz]
[pdf]
[bib]
-
[DKNP06]
M. Duflot, M. Kwiatkowska, G. Norman and D. Parker.
A Formal Analysis of Bluetooth Device Discovery.
International Journal on Software Tools for Technology Transfer (STTT), 8(6), pages 621 - 632, Springer-Verlag.
November 2006.
[ps.gz]
[pdf]
[bib]
-
[KNPS06]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Performance Analysis of Probabilistic Timed Automata using Digital Clocks.
Formal Methods in System Design, 29, pages 33-78, Springer.
August 2006.
[ps.gz]
[pdf]
[bib]
-
[YKNP06]
H. Younes, M. Kwiatkowska, G. Norman and D. Parker.
Numerical vs. Statistical Probabilistic Model Checking.
International Journal on Software Tools for Technology Transfer (STTT), 8(3), Springer. 216-228.
June 2006.
[ps.gz]
[pdf]
[bib]
-
[KNP06e]
M. Kwiatkowska, G. Norman and A. Pacheco.
Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds.
Computers & Mathematics with Applications, 51(2), pages 305-316, Elsevier.
January 2006.
[ps.gz]
[pdf]
[bib]
-
[LKC06]
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.
2006.
[ps.gz]
[pdf]
[bib]
-
[NPKS05]
G. Norman, D. Parker, M. Kwiatkowska and S. Shukla.
Evaluating the Reliability of NAND Multiplexing with PRISM.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(10), pages 1629-1637.
October 2005.
[ps.gz]
[pdf]
[bib]
-
[NPK+05]
G. Norman, D. Parker, M. Kwiatkowska, S. Shukla and R. Gupta.
Using Probabilistic Model Checking for Dynamic Power Management.
Formal Aspects of Computing, 17(2), pages 160-176, Springer-Verlag.
August 2005.
[ps.gz]
[pdf]
[bib]
-
[CK05]
S. Cattani and M. Kwiatkowska.
A Refinement-based Process Algebra for Timed Automata.
Formal Aspects of Computing, 17(2), pages 138-159, Springer.
August 2005.
[ps.gz]
[pdf]
[bib]
-
[KNP05d]
M. Kwiatkowska, G. Norman and D. Parker.
Quantitative analysis with the probabilistic model checker PRISM.
Electronic Notes in Theoretical Computer Science, 153(2), pages 5-31, Elsevier.
May 2005.
[ps.gz]
[pdf]
[bib]
-
[KNP05b]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic model checking in practice: Case studies with PRISM.
ACM SIGMETRICS Performance Evaluation Review, 32(4), pages 16-21.
March 2005.
[ps.gz]
[pdf]
[bib]
-
[LKC05c]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Self-Organised Emergent Routing Mechanism for Mobile Ad Hoc Networks.
European Transactions on Telecommunications, 16(5), pages 457-470, Wiley InterScience.
2005.
[bib]
-
[KNP04b]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
International Journal on Software Tools for Technology Transfer (STTT), 6(2), pages 128-142.
September 2004.
[ps.gz]
[pdf]
[bib]
-
[DKN04]
C. Daws, M. Kwiatkowska and G. Norman.
Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM.
International Journal on Software Tools for Technology Transfer (STTT), 5(2), pages 221-236.
March 2004.
[ps.gz]
[pdf]
[bib]
-
[HKN+03]
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker and M. Siegle.
On the use of MTBDDs for Performability Analysis and Verification of Stochastic Systems.
Journal of Logic and Algebraic Programming: Special Issue on Probabilistic Techniques for the Design and Analysis of Systems, 56, pages 23-67, Elsevier.
June 2003.
[ps.gz]
[pdf]
[bib]
-
[KNS03b]
M. Kwiatkowska, G. Norman and J. Sproston.
Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Protocol.
Formal Aspects of Computing, 14(3), pages 295-318.
April 2003.
[ps.gz]
[pdf]
[bib]
-
[KNSS02]
M. Kwiatkowska, G. Norman, R. Segala and J. Sproston.
Automatic Verification of Real-time Systems with Discrete Probability Distributions.
Theoretical Computer Science, 282, pages 101-150.
June 2002.
[ps.gz]
[pdf]
[bib]
-
[BK00]
C. Baier and M. Kwiatkowska.
Domain Equations for Probabilistic Processes.
Mathematical Structures in Computer Science, 10(6), pages 665-717.
2000.
[ps.gz]
[bib]
-
[BK00b]
C. Baier and M. Kwiatkowska.
On topological hierarchies of temporal properties.
Fundamenta Informaticae, 41(3), pages 259-294.
2000.
[ps.gz]
[bib]
-
[BK98b]
C. Baier and M. Kwiatkowska.
On the Verification of Quantitative properties of Probabilistic Processes under Fairness Constraints.
Information Processing Letters, 66(2), pages 71-79.
1998.
[ps.gz]
[bib]
-
[BK98]
C. Baier and M. Kwiatkowska.
Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Computing, 11(3), pages 125-155.
1998.
[ps.gz]
[bib]
-
[AKM95]
S. Ambler, M. Kwiatkowska and N. Measor.
Duality and the completeness of the modal mu-calculus.
Theoretical Computer Science, 151, pages 3-27.
1995.
[ps.gz]
[bib]
-
[Kwi90a]
M. Kwiatkowska.
A Metric for Traces.
Information Processing Letters, 35(3), pages 129-135.
1990.
[bib]
-
[Kwi89]
M. Kwiatkowska.
Event Fairness and Non-interleaving Concurrency.
Formal Aspects of Computing, 1(3), pages 213-228.
1989.
[bib]
-
[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), Springer. To appear.
November 2009.
-
[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]
-
[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]
-
[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]
-
[KKMCK09]
Z. Kurd, T. Kelly, J. McDermid, R. Calinescu and M. Kwiatkowska.
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.
In Bettina Buth, Gerd Rabe and Till Seyfarth (editors) Proceedings of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP'09), volume 5775 of Lecture Notes in Computer Science, pages 326-341, Springer.
September 2009.
[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 The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). To appear.
August 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]
-
[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]
-
[CK09]
R. Calinescu and M. Kwiatkowska.
Using Quantitative Analysis to Implement Autonomic IT Systems.
In Proc. 31st International Conference on Software Engineering (ICSE 2009), pages 100-110, IEEE Press.
May 2009.
[pdf]
[bib]
-
[CK09b]
R. Calinescu and M. Kwiatkowska.
CADS*: Computer-Aided Development of Self-* Systems.
In Marsha Chechik and Martin Wirsing (editors) Fundamental Approaches to Software Engineering (FASE 2009), volume 5503 of Lecture Notes in Computer Science, pages 421-424, Springer-Verlag.
March 2009.
[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]
-
[CK08]
R. Calinescu and M. Kwiatkowska.
Software Engineering Techniques for the Development of Systems of Systems.
In Proc. 15th Monterey Workshop on Foundations of Computer Software, pages 86--93.
September 2008.
[pdf]
[bib]
-
[LKL08]
Z.-Y. Liu, M. Kwiatkowska and K. Lei .
An adaptive epidemic broadcast mechanism for mobile ad hoc networks.
In International Conference on Machine Learning and Cybernetics, pages 3651-3656, IEEE CS Press.
July 2008.
[bib]
-
[TK08]
O. Tymchyshyn and M. Kwiatkowska.
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.
In Proc. Formal Methods in Systems Biology (FMSB'08), volume 5054 of Lecture Notes in Computer Science, Springer.
June 2008.
[pdf]
[bib]
-
[ZCH+08]
T. Zang, R. Calinescu, S. Harris, A. Tsui, M. Kwiatkowska, J. Gibbons, J. Davies, P. Maccallum and C. Caldas.
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.
In Proc. 8th IEEE International Symposium on Cluster Computing and the Grid (CCGRID'08), IEEE.
May 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]
-
[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]
-
[WK06b]
X. Wang and M. Kwiatkowska.
On process-algebraic verification of asynchronous circuits.
In Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06).
2006.
[ps]
[bib]
-
[WKTZ06]
X. Wang, M. Kwiatkowska, G. Theodoropoulos and Q. Zhang.
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs.
In Proc. 2nd Workshop on Globally Asynchronous, Locally Synchronous Design (FMGALS'05).
2006.
[bib]
-
[SUH+06]
H. Sauro, A. Uhrmacher, D. Harel, M. Hucka, M. Kwiatkowska, P. Mendes, C. Shaffer, L. Stromback and J. Tyson.
Challenges for modeling and simulation methods in systems biology.
In L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol and R. Fujimoto (editors) Proc. 2006 Winter Simulation Conference, pages 1720-1730, IEEE.
December 2006.
[pdf]
[bib]
-
[KNP+06]
M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshyn, J. Heath and E. Gaffney.
Simulation and verification for computational modelling of signalling pathways.
In L. F. Perrone, F. P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, and R. M. Fujimoto (editors) Proceedings of the 2006 Winter Simulation Conference, pages 1666-1674, Winter Simulation Conference.
December 2006.
[ps.gz]
[pdf]
[bib]
-
[GNB+06]
M. Groesser, G. Norman, C. Baier, F. Ciesinski, M. Kwiatkowska, D. Parker.
On reduction criteria for probabilistic reward models.
In S. Arun-Kumar and N. Garg (editors) Proc. 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), volume 4337 of Lecture Notes in Computer Science, pages 309-320, Springer Verlag.
December 2006.
[ps.gz]
[pdf]
[bib]
-
[HKN+06]
J. Heath, M. Kwiatkowska, G. Norman, D. Parker and O. Tymchyshyn.
Probabilistic model checking of complex biological pathways.
In C. Priami (editor) Proc. Computational Methods in Systems Biology (CMSB'06), volume 4210 of Lecture Notes in Bioinformatics, pages 32-47, Springer Verlag.
October 2006.
[ps.gz]
[pdf]
[bib]
-
[KNP06b]
M. Kwiatkowska, G. Norman and D. Parker.
Game-based Abstraction for Markov Decision Processes.
In Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), pages 157-166, IEEE CS Press. Winner of the QEST'06 Best Paper Award.
September 2006.
[ps.gz]
[pdf]
[bib]
-
[WK06]
X Wang and M. Kwiatkowska.
Compositional state space reduction using untangled actions.
In Proc. 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06), volume 175 of Electronic Notes in Theoretical Computer Science. Technical Report 2006/10, Department of Computing, Imperial College London.
August 2006.
[pdf]
[bib]
-
[KNP06a]
M. Kwiatkowska, G. Norman and D. Parker.
Symmetry Reduction for Probabilistic Model Checking.
In T. Ball and R. Jones (editors) Proc. 18th International Conference on Computer Aided Verification (CAV'06), volume 4144 of Lecture Notes in Computer Science, pages 234-248, Springer-Verlag.
August 2006.
[ps.gz]
[pdf]
[bib]
-
[HKNP06]
A. Hinton, M. Kwiatkowska, G. Norman and D. Parker.
PRISM: A Tool for Automatic Verification of Probabilistic Systems.
In H. Hermanns and J. Palsberg (editors) Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), volume 3920 of Lecture Notes in Computer Science, pages 441-444, Springer.
March 2006.
[ps.gz]
[pdf]
[bib]
-
[WK05]
F. Wang and M. Kwiatkowska.
An MTBDD-based implementation of forward reachability for probabilistic timed automata.
In Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05), volume 3707 of Lecture Notes in Computer Science, pages 385-399, Springer.
October 2005.
[ps.gz]
[pdf]
[bib]
-
[KNP05c]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking and Power-Aware Computing.
In In Proc. 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), pages 6-9.
September 2005.
[ps.gz]
[pdf]
[bib]
-
[ZPK05b]
Y. Zhang, D. Parker and M. Kwiatkowska.
Grid-enabled Probabilistic Model Checking with PRISM.
In Proc. 4th All Hands Meeting Workshop (AHM'05).
September 2005.
[ps.gz]
[pdf]
[bib]
-
[ZPK05a]
Y. Zhang, D. Parker and M. Kwiatkowska.
A Wavefront Parallelisation of CTMC Solution using MTBDDs.
In Proc. International Conference on Dependable Systems and Networks (DSN'05), pages 732-742, IEEE CS Press.
June 2005.
[ps.gz]
[pdf]
[bib]
-
[CSKN05]
S. Cattani, R. Segala, M. Kwiatkowska and G. Norman.
Stochastic transition systems for continuous state spaces and non-determinism.
In V. Sassone (editor) Proc. Foundations of Software Science and Computation Structures (FOSSACS'05), volume 3441 of Lecture Notes in Computer Science, pages 125-139, Springer Verlag.
April 2005.
[ps.gz]
[pdf]
[bib]
-
[LKC05b]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Biologically Inspired Congestion Control Routing Algorithm for MANETs.
In Proc. IEEE PerCom International Workshop on Pervasive Wireless Networking (IEEE PWN'05), Third IEEE Conference on Pervasive Computing and Communications Workshops, pages 226-231, IEEE CS Press.
2005.
[ps]
[bib]
-
[LKC05a]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks.
In Proc. 19th International Conference on Advanced Information Networking and Applications (AINA 2005), pages 426-431, IEEE CS Press.
2005.
[pdf]
[bib]
-
[CK05b]
S. Chiyangwa and M. Kwiatkowska.
A Timing Analysis of AODV.
In Proc. 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05), volume 3535 of Lecture Notes in Computer Science, pages 306-322, Springer.
2005.
[pdf]
[bib]
-
[DKNP04]
M. Duflot, M. Kwiatkowska, G. Norman and D. Parker.
A Formal Analysis of Bluetooth Device Discovery.
In T. Margaria and B. Steffen, A. Philippou and M. Reitenspiess (editors) Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), volume TR-2004-6 of Technical Report, pages 268-275, Department of Computer Science, University of Cyprus.
November 2004.
[ps.gz]
[pdf]
[bib]
-
[KPZM04]
M. Kwiatkowska, D. Parker, Y. Zhang and R. Mehmood.
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
In Proc. 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'04), pages 123-130, IEEE CS Press.
October 2004.
[ps.gz]
[pdf]
[bib]
-
[KNSW04]
M. Kwiatkowska, G. Norman, J. Sproston and F. Wang.
Symbolic Model Checking for Probabilistic Timed Automata.
In Y. Lakhnech and S. Yovine (editors) Proc. FORMATS/FTRTFT'04, volume 3253 of Lecture Notes in Computer Science, pages 293-308, Springer.
September 2004.
[ps.gz]
[pdf]
[bib]
-
[KNP04d]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM 2.0: A Tool for Probabilistic Model Checking.
In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 322-323, IEEE CS Press.
September 2004.
[ps.gz]
[pdf]
[bib]
-
[KNP04c]
M. Kwiatkowska, G. Norman and D. Parker.
Controller Dependability Analysis By Probabilistic Model Checking.
In Proc. 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM'04), Elsevier.
April 2004.
[ps.gz]
[pdf]
[bib]
-
[YKNP04]
H. Younes, M. Kwiatkowska, G. Norman and D. Parker.
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
In K. Jensen and A. Podelski (editors) Proc. TACAS'04, volume 2988 of Lecture Notes in Computer Science, pages 46-60, Springer.
March 2004.
[ps.gz]
[pdf]
[bib]
-
[NPKS04]
G. Norman, D. Parker, M. Kwiatkowska and S. Shukla.
Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.
In Proc. International Conference on VLSI Design, pages 907-914, IEEE CS Press.
January 2004.
[ps.gz]
[pdf]
[bib]
-
[LKC04]
Z. Liu, M. Kwiatkowska and C. Constantinou.
A Swarm Intelligence Routing Algorithm for MANETs.
In Proc. 3rd IASTED International Conference on Communications, Internet and Information Technology (CIIT'04), ACTA Press.
2004.
[pdf]
[bib]
-
[WKTZ04]
X. Wang, M. Kwiatkowska, G. Theodoropoulos and Q. Zhang.
Towards a unifying CSP approach for hierarchical verification of asynchronous hardware.
In Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS'04), volume 128(6) of Electronic Notes in Theoretical Computer Science, pages 231-246, Elsevier Science.
2004.
[pdf]
[bib]
-
[ZRK03]
B. Zoubek, J.-M. Roussel and M. Kwiatkowska.
Towards automatic verification of ladder logic programs.
In Proc. IMACS Multiconference on Computational Engineering in Systems Applications (CESA).
2003.
[pdf]
[bib]
-
[KNPS03]
M. Kwiatkowska, G. Norman, D. Parker and J. Sproston.
Performance Analysis of Probabilistic Timed Automata using Digital Clocks.
In Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'03).
September 2003.
[ps.gz]
[pdf]
[bib]
-
[Kwi03]
M. Kwiatkowska.
Model Checking for Probability and Time: From Theory to Practice.
In Proc. 18th IEEE Symposium on Logic in Computer Science (LICS'03), pages 351-360, IEEE CS Press. Invited paper.
June 2003.
[ps.gz]
[pdf]
[bib]
-
[CK03]
S. Cattani and M. Kwiatkowska.
CSP + Clocks: a process algebra for timed automata.
In M. Leuschel and S. Gruner and S. Lo Presti (editors) Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03), pages 50-63.
April 2003.
[ps.gz]
[pdf]
[bib]
-
[NPK+03]
G. Norman, D. Parker, M. Kwiatkowska, S. Shukla and R. Gupta.
Using Probabilistic Model Checking for Dynamic Power Management.
In Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03). Technical Report DSSE-TR-2003-2, University of Southampton.
April 2003.
[ps.gz]
[pdf]
[bib]
-
[CK03b]
S. Chiyangwa and M. Kwiatkowska.
Modelling Ad Hoc On-Demand Distance Vector (AODV) protocol with Timed Automata.
In M. Leuschel and S. Gruner and S. Lo Presti (editors) Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03).
April 2003.
[ps.gz]
[bib]
-
[KN02]
M. Kwiatkowska and G. Norman.
Verifying Randomized Byzantine Agreement.
In D. Peled and M. Vardi (editors) Proc. Formal Techniques for Networked and Distributed Systems (FORTE'02), volume 2529 of Lecture Notes in Computer Science, pages 194-209, Springer.
November 2002.
[ps.gz]
[pdf]
[bib]
-
[NPK+02]
G. Norman, M. Kwiatkowska, D. Parker, S. Shukla and R. Gupta.
Formal Analysis and Validation of Continuous Time Markov Chain Based System Level Power Management Strategies.
In Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02), pages 45-50, OmniPress.
October 2002.
[ps.gz]
[pdf]
[bib]
-
[KNP02d]
M. Kwiatkowska, G. Norman and A. Pacheco.
Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds.
In Proc. 2nd Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability.
September 2002.
[ps.gz]
[pdf]
[bib]
-
[KMNP02]
M. Kwiatkowska, R. Mehmood, G. Norman and D. Parker.
A Symbolic Out-of-Core Solution Method for Markov Models.
In Proc. Workshop on Parallel and Distributed Model Checking (PDMC'02), volume 68.4 of ENTCS.
August 2002.
[ps.gz]
[pdf]
[bib]
-
[DKN02]
C. Daws, M. Kwiatkowska and G. Norman.
Automatic Verification of the IEEE 1394 Root Contention Protocol with KRONOS and PRISM.
In Proc. 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), volume 66.2 of ENTCS.
July 2002.
[ps.gz]
[pdf]
[bib]
-
[KNS02a]
M. Kwiatkowska, G. Norman and J. Sproston.
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.
In H. Hermanns and R. Segala (editors) Proc. PAPM/PROBMIV'02, volume 2399 of Lecture Notes in Computer Science, pages 169-187, Springer.
July 2002.
[ps.gz]
[pdf]
[bib]
-
[KM02]
M. Kwiatkowska and R. Mehmood.
Out-of-Core Solution of Large Linear Systems of Equations arising from Stochastic Modelling.
In Proc. PAPM/PROBMIV'02, volume 2399 of LNCS, pages 135-151, Springer-Verlag.
July 2002.
[ps.gz]
[bib]
-
[KNP02c]
M. Kwiatkowska, G. Norman and A. Pacheco.
Model Checking CSL Until Formulae with Random Time Bounds.
In H. Hermanns and R. Segala (editors) Proc. PAPM/PROBMIV'02, volume 2399 of Lecture Notes in Computer Science, pages 152-168, Springer.
July 2002.
[ps.gz]
[pdf]
[bib]
-
[KNP02a]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM: Probabilistic Symbolic Model Checker.
In T. Field, P. Harrison, J. Bradley and U. Harder (editors) Proc. TOOLS 2002, volume 2324 of Lecture Notes in Computer Science, pages 200-204, Springer.
April 2002.
[ps.gz]
[pdf]
[bib]
-
[KNP02b]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
In J-P. Katoen and P. Stevens (editors) Proc. TACAS'02, volume 2280 of Lecture Notes in Computer Science, pages 52-66, Springer.
April 2002.
[ps.gz]
[pdf]
[bib]
-
[KNP01]
M. Kwiatkowska, G. Norman and D. Parker.
PRISM: Probabilistic Symbolic Model Checker.
In Proc. PAPM/PROBMIV'01 Tools Session, pages 7-12. Available as Technical Report 760/2001, University of Dortmund.
September 2001.
[ps.gz]
[pdf]
[bib]
-
[KKNP01]
J.-P. Katoen, M. Kwiatkowska, G. Norman and D. Parker.
Faster and Symbolic CTMC Model Checking.
In L. de Alfaro and S. Gilmore (editors) Proc. PAPM/PROBMIV'01, volume 2165 of Lecture Notes in Computer Science, pages 23-38, Springer.
September 2001.
[ps.gz]
[pdf]
[bib]
-
[KNS01b]
M. Kwiatkowska, G. Norman and J. Sproston.
Symbolic computation of maximal probabilistic reachability.
In K. Larsen and M. Nielsen (editors) Proc. 13th International Conference on Concurrency Theory (CONCUR'01), volume 2154 of LNCS, pages 169--183, Springer.
August 2001.
[ps.gz]
[pdf]
[bib]
-
[KNS01a]
M. Kwiatkowska, G. Norman and R. Segala.
Automated Verification of a Randomised Distributed Consensus Protocol Using Cadence SMV and PRISM.
In G. Berry, H. Common and A. Finkel (editors) Proc. CAV'01, volume 2102 of Lecture Notes in Computer Science, pages 194-206, Springer.
January 2001.
[ps.gz]
[pdf]
[bib]
-
[KNSS00a]
M. Kwiatkowska, G. Norman, R. Segala and J. Sproston.
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.
In C. Palamidessi (editor) Proc. CONCUR 2000 - Concurrency Theory, volume 1877 of Lecture Notes in Computer Science, pages 123-137, Springer.
August 2000.
[ps.gz]
[pdf]
[bib]
-
[KNP00]
M. Kwiatkowska, G. Norman and D. Parker.
Verifying Randomized Distributed Algorithms with PRISM.
In Proc. Workshop on Advances in Verification (Wave'2000).
July 2000.
[ps.gz]
[pdf]
[bib]
-
[KNSS00b]
M. Kwiatkowska, G. Norman, R. Segala and J. Sproston.
Verifying Soft Deadlines with Probabilistic Timed Automata.
In Proc. Workshop on Advances in Verification (Wave'2000).
July 2000.
[ps.gz]
[pdf]
[bib]
-
[dAKN+00]
L. de Alfaro, M. Kwiatkowska, G. Norman, D. Parker and R. Segala.
Symbolic Model Checking of Probabilistic Processes using MTBDDs and the Kronecker Representation.
In S. Graf and M. Schwartzbach (editors) Proc. TACAS'00, volume 1785 of Lecture Notes in Computer Science, pages 395-410, Springer.
March 2000.
[ps.gz]
[pdf]
[bib]
-
[EKN99]
A. El-Rayes, M. Kwiatkowska and G. Norman.
Solving Infinite Stochastic Process Algebra Models Through Matrix-Geometric Methods.
In J. Hillston and M. Silva (editors) Proc. 7th Process Algebras and Performance Modelling Workshop (PAPM'99), pages 41-62, University of Zaragoza.
September 1999.
[ps.gz]
[pdf]
[bib]
-
[BKN99]
C. Baier, M. Kwiatkowska and G. Norman.
Computing Probability Lower and Upper Bounds for LTL Formulae over Sequential and Concurrent Markov Chains.
In C. Baier and M. Huth and M. Kwiatkowska and M. Ryan (editors) Proc. 1st Probabilistic Methods in Verification Workshop (PROBMIV'98), volume 22 of Electronic Notes in Theoretical Computer Science, Elsevier Science.
June 1999.
[ps.gz]
[pdf]
[bib]
-
[KNSS99]
M. Kwiatkowska, G. Norman, R. Segala and J. Sproston.
Automatic Verification of Real-Time Systems with Discrete Probability Distributions.
In J.-P. Katoen (editor) Proc. 5th International AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99), volume 1601 of LNCS, pages 75--95, Springer.
March 1999.
[ps.gz]
[pdf]
[bib]
-
[KN98a]
M. Kwiatkowska and G. Norman.
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes.
In Proc. 3rd Workshop on Computation and Approximation (Comprox III), volume 13 of Electronic Notes in Theoretical Computer Science, Elsevier Science.
September 1998.
[ps.gz]
[pdf]
[bib]
-
[KN98b]
M. Kwiatkowska and G. Norman.
A Testing Equivalence for Reactive Probabilistic Processes .
In A Testing Equivalence for Reactive Probabilistic Processes , volume 16(2) of Electronic Notes in Theoretical Computer Science, pages 114-132, Elsevier Science.
September 1998.
[ps.gz]
[pdf]
[bib]
-
[HK98]
M. Huth and M. Kwiatkowska.
Comparing CTL and PCTL on Labeled Markov Chains.
In Proc. Programming Concepts and Methods (PROCOMET'98), IFIP, Chapman & Hall.
February 1998.
[ps.gz]
[bib]
-
[BK97b]
C. Baier and M. Kwiatkowska.
Domain Equations for Probabilistic Processes (Extended Abstract).
In Proc. EXPRESS'97, volume 7 of Electronic Notes in Theoretical Computer Science, Elsevier.
1997.
[ps.gz]
[bib]
-
[BK97c]
C. Baier and M. Kwiatkowska.
On topological hierarchies of temporal properties.
In Proc. Partial Order Methods in Verification: Dimacs Workshop, pages 141-170, AMS Press.
1997.
[ps.gz]
[bib]
-
[HK97]
M. Huth and M. Kwiatkowska.
Quantitative Analysis and Model Checking.
In Proc. 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97), pages 111-122, IEEE CS Press.
March 1997.
[ps.gz]
[bib]
-
[BK97]
C. Baier and M. Kwiatkowska.
Automatic Verification of Liveness Properties of Randomized Systems (Extended Abstract).
In Proc. Symposium on Principles of Distributed Computing (PODC'97), pages 295, ACM Press.
1997.
[ps.gz]
[bib]
-
[BCHG+97]
C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska and M. Ryan.
Symbolic Model Checking for Probabilistic Processes.
In P. Degano and R. Gorrieri and A. Marchetti-Spaccamela (editors) Proc. 24th International Colloquium on Automata, Languages and Programming (ICALP'97), volume 1256 of LNCS, pages 430-440, Springer.
1997.
[ps.gz]
[bib]
-
[EKM96]
A. El-Rayes, M. Kwiatkowska and S. Minton.
Analysing Performance of Lift Systems in PEPA.
In Proc. UK Performance Engineering Workshop, pages 83-100. Department of Computer Science, The University of Edinburgh.
1996.
[ps.gz]
[bib]
-
[HK96]
M. Huth and M. Kwiatkowska.
Finite but Unbounded Delay in Synchronous CCS.
In Proc. Advanced methods in theory and formal methods of computing (TFM'96), pages 312-323, Imperial College Press.
1996.
[ps.gz]
[bib]
-
[KN96a]
M. Kwiatkowska and G. Norman.
Probabilistic Metric Semantics for a Simple Language with Recursion.
In W. Penczek and A. Szalas (editors) Proc. 21st International Symposium on Mathematical Foundations of Computer Science (MFCS'96), volume 1113 of Lecture Notes in Computer Science, pages 419-430, Springer.
September 1996.
[ps.gz]
[pdf]
[bib]
-
[KN96b]
M. Kwiatkowska and G. Norman.
Metric Denotational Semantics for PEPA.
In M. Ribaudo (editor) Proc. 4th Process Algebras and Performance Modelling Workshop (PAPM'96), pages 120-138, CLUT.
July 1996.
[ps.gz]
[pdf]
[bib]
-
[HK95]
C. Hartonas and M. Kwiatkowska.
Synchronization trees and fairness: A case study.
In Proc. Advanced methods in theory and formal methods of computing (TFM'94), pages 181-198, Imperial College Press.
1995.
[ps.gz]
[bib]
-
[KP95]
M. Kwiatkowska and I. Phillips.
Possible and Guaranteed Concurrency in CSP.
In Proc. Structures in Concurrency Theory, Workshops in Computing, pages 220-235, Springer.
1995.
[ps.gz]
[bib]
-
[BK95]
M. Bonsangue and M. Kwiatkowska.
Re-interpreting the modal mu-calculus.
In Proc. Modal Logic and Process Algebra, volume 53 of CSLI Lecture Notes, pages 65-83, CSLI Publications.
1995.
[ps.gz]
[bib]
-
[KP94]
M. Kwiatkowska and I. Phillips.
Concurrency and Conflict in CSP.
In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing, pages 209-225, Springer.
1994.
[ps.gz]
[bib]
-
[Kwi94]
M. Kwiatkowska.
Concurrency, Fairness and Logical Complexity.
In Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing, pages 195-208, Springer.
1994.
[ps.gz]
[bib]
-
[KPP94]
M. Kwiatkowska, D. Peled and W. Penczek.
A hierarchy of partial order temporal properties.
In Proc. International Conference on Temporal Logic, volume 827 of LNCS, pages 65-83, Springer.
1994.
[ps.gz]
[bib]
-
[AKM94]
S. Ambler, M. Kwiatkowska and N. Measor.
On duality for the modal mu-calculus.
In Proc. Computer Science Logic (CSL'94), volume 832 of LNCS, pages 18-32, Springer.
1994.
[ps.gz]
[bib]
-
[Kwi93]
M. Kwiatkowska.
Infinite Behaviour and Fairness in Concurrent Constraint Programming.
In Proc. Semantics: foundations and applications, volume 666 of LNCS, pages 348-383, Springer.
1993.
[ps.gz]
[bib]
-
[Kwi92]
M. Kwiatkowska.
Infinite Behaviour and Fairness in Concurrent Constraint Programming.
In REX Workshop, volume 666 of LNCS, pages 348-383, Springer.
1992.
[bib]
-
[BK91]
B. Bloom and M. Kwiatkowska.
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.
In Proc. 7th International Conference on Mathematical Foundations of Programming Semantics (MFPS'91), pages 350-375, Springer.
1991.
[bib]
-
[Kwi91]
M. Kwiatkowska.
On the Domain of Traces and Sequential Composition.
In Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91), pages 42-56.
1991.
[bib]
-
[Kwi90b]
M. Kwiatkowska.
Defining Process Fairness for Non-Interleaving Concurrency.
In 10th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'90), volume 472 of LNCS, pages 286-300, Springer.
1990.
[bib]
-
[KKNP08c]
M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker.
A Game-based Abstraction-Refinement Framework for Markov Decision Processes.
Technical report RR-08-06, Oxford University Computing Laboratory.
February 2008.
[ps.gz]
[pdf]
[bib]
-
[MPK03b]
R. Mehmood, D. Parker and M. Kwiatkowska.
An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis.
Technical report CSR-03-13, School of Computer Science, University of Birmingham.
December 2003.
[ps.gz]
[pdf]
[bib]
-
[KNS03d]
M. Kwiatkowska, G. Norman and J. Sproston.
Symbolic Model Checking for Probabilistic Timed Automata.
Technical report CSR-03-10, School of Computer Science, University of Birmingham.
October 2003.
[ps.gz]
[pdf]
[bib]
-
[MPK03a]
R. Mehmood, D. Parker and M. Kwiatkowska.
An Efficient Symbolic Out-of-Core Solution Method for Markov Models.
Technical report CSR-03-08, School of Computer Science, University of Birmingham.
August 2003.
[ps.gz]
[pdf]
[bib]
-
[KNS03c]
M. Kwiatkowska, G. Norman and J. Sproston.
PCTL model checking of symbolic probabilistic systems.
Technical report CSR-03-2, University of Birmingham, School of Computer Science.
April 2003.
[ps.gz]
[pdf]
[bib]
-
[KNS03a]
M. Kwiatkowska, G. Norman and J. Sproston.
Symbolic Computation of Minimal Probabilistic Reachability.
Technical report CSR-03-01, University of Birmingham, School of Computer Science.
January 2003.
[ps.gz]
[pdf]
[bib]
-
[KNS00]
M. Kwiatkowska, G. Norman and J. Sproston.
Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability.
Technical report CSR-00-01, University of Birmingham, School of Computer Science.
January 2000.
[ps.gz]
[pdf]
[bib]
-
[KNPS99]
M. Kwiatkowska, G. Norman, D. Parker and R. Segala.
Symbolic Model Checking of Concurrent Probabilistic Systems using MTBDDs and Simplex.
Technical report CSR-99-01, School of Computer Science, University of Birmingham.
January 1999.
[ps.gz]
[pdf]
[bib]
Sort by: date, type, title
