publications:
- title: "Automatic verification of real-time systems with discrete probability distributions"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0304-3975(01)00046-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(01)00046-9"
  researchr: "https://researchr.org/publication/KwiatkowskaNSS02"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "282"
  number: "1"
  pages: "101-150"
  kind: "article"
  key: "KwiatkowskaNSS02"
- title: "Using probabilistic model checking in systems biology"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1364644.1364651"
  links:
    doi: "http://doi.acm.org/10.1145/1364644.1364651"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNP08"
  cites: 0
  citedby: 0
  journal: "SIGMETRICS Performance Evaluation Review"
  volume: "35"
  number: "4"
  pages: "14-21"
  kind: "article"
  key: "KwiatkowskaNP08"
- title: "Probabilistic Mobile Ambients"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Maria Grazia Vigliotti"
    link: "https://researchr.org/alias/maria-grazia-vigliotti"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.12.058"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.12.058"
  tags:
  - "mobile"
  researchr: "https://researchr.org/publication/KwiatkowskaNPV09"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "410"
  number: "12-13"
  pages: "1272-1303"
  kind: "article"
  key: "KwiatkowskaNPV09"
- title: "Quantitative Analysis With the Probabilistic Model Checker PRISM"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.030"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.030"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/KwiatkowskaNP06%3A0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "153"
  number: "2"
  pages: "5-31"
  kind: "article"
  key: "KwiatkowskaNP06:0"
- title: "Analysis of probabilistic contract signing"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Vitaly Shmatikov"
    link: "https://researchr.org/alias/vitaly-shmatikov"
  year: "2006"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=14&issue=6&spage=561"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=14&issue=6&spage=561"
  tags:
  - "contracts"
  - "analysis"
  researchr: "https://researchr.org/publication/NormanS06%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Security"
  volume: "14"
  number: "6"
  pages: "561-589"
  kind: "article"
  key: "NormanS06:0"
- title: "Probabilistic symbolic model checking with PRISM: a hybrid approach"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10009-004-0140-2"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10009-004-0140-2"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KwiatkowskaNP04%3A0"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "6"
  number: "2"
  pages: "128-142"
  kind: "article"
  key: "KwiatkowskaNP04:0"
- title: "PRISM: A Tool for Automatic Verification of Probabilistic Systems"
  author:
  - name: "Andrew Hinton"
    link: "https://researchr.org/alias/andrew-hinton"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11691372_29"
  links:
    doi: "http://dx.doi.org/10.1007/11691372_29"
  researchr: "https://researchr.org/publication/HintonKNP06"
  cites: 0
  citedby: 0
  pages: "441-444"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedi"
  editor:
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  volume: "3920"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33056-9"
  kind: "inproceedings"
  key: "HintonKNP06"
- title: "Assume-Guarantee Verification for Probabilistic Systems"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Hongyang Qu"
    link: "https://researchr.org/alias/hongyang-qu"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12002-2_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12002-2_3"
  researchr: "https://researchr.org/publication/KwiatkowskaNPQ10"
  cites: 0
  citedby: 0
  pages: "23-37"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings"
  editor:
  - name: "Javier Esparza"
    link: "https://researchr.org/alias/javier-esparza"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  volume: "6015"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12001-5"
  kind: "inproceedings"
  key: "KwiatkowskaNPQ10"
- title: "Probabilistic model checking of complex biological pathways"
  author:
  - name: "John Heath"
    link: "https://researchr.org/alias/john-heath"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Oksana Tymchyshyn"
    link: "https://researchr.org/alias/oksana-tymchyshyn"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2007.11.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2007.11.013"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HeathKNPT08"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "391"
  number: "3"
  pages: "239-257"
  kind: "article"
  key: "HeathKNPT08"
- title: "A Symbolic Out-of-Core Solution Method for Markov Models"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Rashid Mehmood"
    link: "https://researchr.org/alias/rashid-mehmood"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/121/49/show/Products/notes/index.htt#011"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/121/49/show/Products/notes/index.htt#011"
  tags:
  - "Markov"
  researchr: "https://researchr.org/publication/KwiatkowskaMNP02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "68"
  number: "4"
  pages: "589-604"
  kind: "article"
  key: "KwiatkowskaMNP02"
- title: "Probabilistic Model Checking of Complex Biological Pathways"
  author:
  - name: "John Heath"
    link: "https://researchr.org/alias/john-heath"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Oksana Tymchyshyn"
    link: "https://researchr.org/alias/oksana-tymchyshyn"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11885191_3"
  links:
    doi: "http://dx.doi.org/10.1007/11885191_3"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HeathKNPT06"
  cites: 0
  citedby: 0
  pages: "32-47"
  booktitle: "Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings"
  editor:
  - name: "Corrado Priami"
    link: "https://researchr.org/alias/corrado-priami"
  volume: "4210"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-46166-3"
  kind: "inproceedings"
  key: "HeathKNPT06"
- title: "Evaluating the reliability of NAND multiplexing with PRISM"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/TCAD.2005.852033"
  links:
    doi: "http://dx.doi.org/10.1109/TCAD.2005.852033"
  tags:
  - "reliability"
  researchr: "https://researchr.org/publication/NormanPKS05"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. on CAD of Integrated Circuits and Systems"
  volume: "24"
  number: "10"
  pages: "1629-1637"
  kind: "article"
  key: "NormanPKS05"
- title: "Simulation and verification for computational modelling of signalling pathways"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Oksana Tymchyshyn"
    link: "https://researchr.org/alias/oksana-tymchyshyn"
  - name: "John Heath"
    link: "https://researchr.org/alias/john-heath"
  - name: "Eamonn Gaffney"
    link: "https://researchr.org/alias/eamonn-gaffney"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1218112.1218415"
  links:
    doi: "http://doi.acm.org/10.1145/1218112.1218415"
  researchr: "https://researchr.org/publication/KwiatkowskaNPTHG06"
  cites: 0
  citedby: 0
  pages: "1666-1674"
  booktitle: "Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006"
  editor:
  - name: "L. Felipe Perrone"
    link: "https://researchr.org/alias/l.-felipe-perrone"
  - name: "Barry Lawson"
    link: "https://researchr.org/alias/barry-lawson"
  - name: "Jason Liu"
    link: "https://researchr.org/alias/jason-liu"
  - name: "Frederick P. Wieland"
    link: "https://researchr.org/alias/frederick-p.-wieland"
  publisher: "WSC"
  isbn: "1-4244-0501-7"
  kind: "inproceedings"
  key: "KwiatkowskaNPTHG06"
- title: "Automatic Verification of Real-Time Systems with Discrete Probability Distributions"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010075.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010075.htm"
  researchr: "https://researchr.org/publication/KwiatkowskaNSS99"
  cites: 0
  citedby: 0
  pages: "75-95"
  booktitle: "Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999. Proceedings"
  editor:
  - name: "Joost-Pieter Katoen"
    link: "https://researchr.org/alias/joost-pieter-katoen"
  volume: "1601"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66010-0"
  kind: "inproceedings"
  key: "KwiatkowskaNSS99"
- title: "Game-based Abstraction for Markov Decision Processes"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/QEST.2006.19"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/QEST.2006.19"
  tags:
  - "rule-based"
  - "Markov"
  - "abstraction"
  researchr: "https://researchr.org/publication/KwiatkowskaNP06"
  cites: 0
  citedby: 0
  pages: "157-166"
  booktitle: "Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2665-9"
  kind: "inproceedings"
  key: "KwiatkowskaNP06"
- title: "A formal analysis of bluetooth device discovery"
  author:
  - name: "Marie Duflot"
    link: "https://researchr.org/alias/marie-duflot"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-006-0014-x"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-006-0014-x"
  tags:
  - "discovery"
  - "analysis"
  researchr: "https://researchr.org/publication/DuflotKNP06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "6"
  pages: "621-632"
  kind: "article"
  key: "DuflotKNP06"
- title: "Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020194.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020194.htm"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/KwiatkowskaNS01%3A0"
  cites: 0
  citedby: 0
  pages: "194-206"
  booktitle: "Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings"
  editor:
  - name: "Gérard Berry"
    link: "https://researchr.org/alias/g%C3%A9rard-berry"
  - name: "Hubert Comon"
    link: "https://researchr.org/alias/hubert-comon"
  - name: "Alain Finkel"
    link: "https://researchr.org/alias/alain-finkel"
  volume: "2102"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42345-1"
  kind: "inproceedings"
  key: "KwiatkowskaNS01:0"
- title: "Faster and Symbolic CTMC Model Checking"
  author:
  - name: "Joost-Pieter Katoen"
    link: "https://researchr.org/alias/joost-pieter-katoen"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2165/21650023.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2165/21650023.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KatoenKNP01"
  cites: 0
  citedby: 0
  pages: "23-38"
  booktitle: "Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings"
  editor:
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  - name: "Stephen Gilmore"
    link: "https://researchr.org/alias/stephen-gilmore"
  volume: "2165"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42556-X"
  kind: "inproceedings"
  key: "KatoenKNP01"
- title: "Symbolic Computation of Maximal Probabilistic Reachability"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2154/21540169.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2154/21540169.htm"
  researchr: "https://researchr.org/publication/KwiatkowskaNS01"
  cites: 0
  citedby: 0
  pages: "169-183"
  booktitle: "CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  volume: "2154"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42497-0"
  kind: "inproceedings"
  key: "KwiatkowskaNS01"
- title: "A Testing Equivalence for Reactive Probabilistic Processes"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/40/25/show/Products/notes/index.htt#006"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/40/25/show/Products/notes/index.htt#006"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KwiatkowskaN98a"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "16"
  number: "2"
  pages: "114-132"
  kind: "article"
  key: "KwiatkowskaN98a"
- title: "Using probabilistic model checking for dynamic power management"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  - name: "Rajesh Gupta"
    link: "https://researchr.org/alias/rajesh-gupta"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00165-005-0062-0"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-005-0062-0"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/NormanPKSG05"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "17"
  number: "2"
  pages: "160-176"
  kind: "article"
  key: "NormanPKSG05"
- title: "Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2280/22800052.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2280/22800052.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KwiatkowskaNP02"
  cites: 0
  citedby: 0
  pages: "52-66"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings"
  editor:
  - name: "Joost-Pieter Katoen"
    link: "https://researchr.org/alias/joost-pieter-katoen"
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  volume: "2280"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43419-4"
  kind: "inproceedings"
  key: "KwiatkowskaNP02"
- title: "Verifying Randomized Byzantine Agreement"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2529/25290194.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2529/25290194.htm"
  researchr: "https://researchr.org/publication/KwiatkowskaN02"
  cites: 0
  citedby: 0
  pages: "194-209"
  booktitle: "Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings"
  editor:
  - name: "Doron Peled"
    link: "https://researchr.org/alias/doron-peled"
  - name: "Moshe Y. Vardi"
    link: "https://researchr.org/alias/moshe-y.-vardi"
  volume: "2529"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00141-7"
  kind: "inproceedings"
  key: "KwiatkowskaN02"
- title: "Symbolic Model Checking for Probabilistic Timed Automata"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  - name: "Fuzhi Wang"
    link: "https://researchr.org/alias/fuzhi-wang"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3253&spage=293"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3253&spage=293"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNSW04"
  cites: 0
  citedby: 0
  pages: "293-308"
  booktitle: "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren"
  editor:
  - name: "Yassine Lakhnech"
    link: "https://researchr.org/alias/yassine-lakhnech"
  - name: "Sergio Yovine"
    link: "https://researchr.org/alias/sergio-yovine"
  volume: "3253"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23167-6"
  kind: "inproceedings"
  key: "KwiatkowskaNSW04"
- title: "Analysing Randomized Distributed Algorithms"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2925&spage=384"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2925&spage=384"
  researchr: "https://researchr.org/publication/Norman04%3A0"
  cites: 0
  citedby: 0
  pages: "384-418"
  booktitle: "Validation of Stochastic Systems - A Guide to Current Research"
  editor:
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Boudewijn R. Haverkort"
    link: "https://researchr.org/alias/boudewijn-r.-haverkort"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Joost-Pieter Katoen"
    link: "https://researchr.org/alias/joost-pieter-katoen"
  - name: "Markus Siegle"
    link: "https://researchr.org/alias/markus-siegle"
  volume: "2925"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22265-0"
  kind: "inproceedings"
  key: "Norman04:0"
- title: "A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "1998"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/37/23/show/Products/notes/index.htt#014"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/37/23/show/Products/notes/index.htt#014"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/KwiatkowskaN98"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "13"
  pages: "182"
  kind: "article"
  key: "KwiatkowskaN98"
- title: "Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study"
  author:
  - name: "Håkan L. S. Younes"
    link: "https://researchr.org/alias/h%C3%A5kan-l.-s.-younes"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=46"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=46"
  tags:
  - "empirical"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/YounesKNP04"
  cites: 0
  citedby: 0
  pages: "46-60"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee"
  editor:
  - name: "Kurt Jensen"
    link: "https://researchr.org/alias/kurt-jensen"
  - name: "Andreas Podelski"
    link: "https://researchr.org/alias/andreas-podelski"
  volume: "2988"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21299-X"
  kind: "inproceedings"
  key: "YounesKNP04"
- title: "Verifying Quantitative Properties of Continuous Probabilistic Timed Automata"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1877/18770123.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1877/18770123.htm"
  researchr: "https://researchr.org/publication/KwiatkowskaNSS00"
  cites: 0
  citedby: 0
  pages: "123-137"
  booktitle: "CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings"
  editor:
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  volume: "1877"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67897-2"
  kind: "inproceedings"
  key: "KwiatkowskaNSS00"
- title: "Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation"
  author:
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1785/17850395.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1785/17850395.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "process modeling"
  researchr: "https://researchr.org/publication/AlfaroKNPS00"
  cites: 0
  citedby: 0
  pages: "395-410"
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi"
  editor:
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "1785"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67282-6"
  kind: "inproceedings"
  key: "AlfaroKNPS00"
- title: "Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM"
  author:
  - name: "Conrado Daws"
    link: "https://researchr.org/alias/conrado-daws"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10009-003-0118-5"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10009-003-0118-5"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/DawsKN04"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "5"
  number: "2-3"
  pages: "221-236"
  kind: "article"
  key: "DawsKN04"
- title: "Abstraction Refinement for Probabilistic Software"
  author:
  - name: "Mark Kattenbelt"
    link: "https://researchr.org/alias/mark-kattenbelt"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-93900-9_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-93900-9_17"
  tags:
  - "refinement"
  - "abstraction"
  researchr: "https://researchr.org/publication/KattenbeltKNP09"
  cites: 0
  citedby: 0
  pages: "182-197"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Markus Müller-Olm"
    link: "https://researchr.org/alias/markus-m%C3%BCller-olm"
  volume: "5403"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-93899-6"
  kind: "inproceedings"
  key: "KattenbeltKNP09"
- title: "Stochastic Transition Systems for Continuous State Spaces and Non-determinism"
  author:
  - name: "Stefano Cattani"
    link: "https://researchr.org/alias/stefano-cattani"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3441&spage=125"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3441&spage=125"
  researchr: "https://researchr.org/publication/CattaniSKN05"
  cites: 0
  citedby: 0
  pages: "125-139"
  booktitle: "Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  volume: "3441"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25388-2"
  kind: "inproceedings"
  key: "CattaniSKN05"
- title: "Symbolic model checking for probabilistic timed automata"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  - name: "Fuzhi Wang"
    link: "https://researchr.org/alias/fuzhi-wang"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ic.2007.01.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2007.01.004"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNSW07"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "205"
  number: "7"
  pages: "1027-1077"
  kind: "article"
  key: "KwiatkowskaNSW07"
- title: "Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM"
  author:
  - name: "Conrado Daws"
    link: "https://researchr.org/alias/conrado-daws"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/120/53/show/Products/notes/index.htt#008"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/120/53/show/Products/notes/index.htt#008"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/DawsKN02"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "66"
  number: "2"
  pages: "104-119"
  kind: "article"
  key: "DawsKN02"
- title: "Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Peng Wu 0002"
    link: "https://researchr.org/alias/peng-wu-0002"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/TSE.2008.77"
  links:
    doi: "http://dx.doi.org/10.1109/TSE.2008.77"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/NormanPPW09"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "35"
  number: "2"
  pages: "209-223"
  kind: "article"
  key: "NormanPPW09"
- title: "Performance Analysis of Probabilistic Timed Automata Using Digital Clocks"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=105"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=105"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/KwiatkowskaNPS03"
  cites: 0
  citedby: 0
  pages: "105-120"
  booktitle: "Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Peter Niebert"
    link: "https://researchr.org/alias/peter-niebert"
  volume: "2791"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21671-5"
  kind: "inproceedings"
  key: "KwiatkowskaNPS03"
- title: "Probabilistic model checking in practice: case studies with PRISM"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1059816.1059820"
  links:
    doi: "http://doi.acm.org/10.1145/1059816.1059820"
  tags:
  - "case study"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNP05"
  cites: 0
  citedby: 0
  journal: "SIGMETRICS Performance Evaluation Review"
  volume: "32"
  number: "4"
  pages: "16-21"
  kind: "article"
  key: "KwiatkowskaNP05"
- title: "Symmetry Reduction for Probabilistic Model Checking"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817963_23"
  links:
    doi: "http://dx.doi.org/10.1007/11817963_23"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNP06%3A1"
  cites: 0
  citedby: 0
  pages: "234-248"
  booktitle: "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings"
  editor:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Robert B. Jones"
    link: "https://researchr.org/alias/robert-b.-jones"
  volume: "4144"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37406-X"
  kind: "inproceedings"
  key: "KwiatkowskaNP06:1"
- title: "A Formal Analysis of Bluetooth Device Discovery"
  author:
  - name: "Marie Duflot"
    link: "https://researchr.org/alias/marie-duflot"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2004"
  tags:
  - "discovery"
  - "analysis"
  researchr: "https://researchr.org/publication/DuflotKNP04"
  cites: 0
  citedby: 0
  pages: "268-275"
  booktitle: "International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  - name: "Anna Philippou"
    link: "https://researchr.org/alias/anna-philippou"
  - name: "Manfred Reitenspieß"
    link: "https://researchr.org/alias/manfred-reitenspie%C3%9F"
  volume: "TR-2004-6"
  series: "Technical Report"
  publisher: "Department of Computer Science, University of Cyprus"
  kind: "inproceedings"
  key: "DuflotKNP04"
- title: "Game-Based Probabilistic Predicate Abstraction in PRISM"
  author:
  - name: "Mark Kattenbelt"
    link: "https://researchr.org/alias/mark-kattenbelt"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.11.016"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.11.016"
  tags:
  - "rule-based"
  - "abstraction"
  researchr: "https://researchr.org/publication/KattenbeltKNP08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "220"
  number: "3"
  pages: "5-21"
  kind: "article"
  key: "KattenbeltKNP08"
- title: "Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems"
  author:
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/46/23/show/Products/notes/index.htt#003"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/46/23/show/Products/notes/index.htt#003"
  researchr: "https://researchr.org/publication/BaierKN99"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "22"
  pages: "29"
  kind: "article"
  key: "BaierKN99"
- title: "Probabilistic Metric Semantics for a Simple Language with Recursion"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  year: "1996"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/KwiatkowskaN96"
  cites: 0
  citedby: 0
  pages: "419-430"
  booktitle: "Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings"
  editor:
  - name: "Wojciech Penczek"
    link: "https://researchr.org/alias/wojciech-penczek"
  - name: "Andrzej Szalas"
    link: "https://researchr.org/alias/andrzej-szalas"
  volume: "1113"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61550-4"
  kind: "inproceedings"
  key: "KwiatkowskaN96"
- title: "Performance analysis of probabilistic timed automata using digital clocks"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10703-006-0005-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10703-006-0005-2"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/KwiatkowskaNPS06"
  cites: 0
  citedby: 0
  journal: "Formal Methods in System Design"
  volume: "29"
  number: "1"
  pages: "33-78"
  kind: "article"
  key: "KwiatkowskaNPS06"
- title: "Model checking the probabilistic pi-calculus"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Peng Wu 0002"
    link: "https://researchr.org/alias/peng-wu-0002"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/QEST.2007.27"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/QEST.2007.27"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/NormanPPW07"
  cites: 0
  citedby: 0
  pages: "169-178"
  booktitle: "Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2883-X"
  kind: "inproceedings"
  key: "NormanPPW07"
- title: "Symbolic Magnifying Lens Abstraction in Markov Decision Processes"
  author:
  - name: "Pritam Roy"
    link: "https://researchr.org/alias/pritam-roy"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/QEST.2008.41"
  links:
    doi: "http://dx.doi.org/10.1109/QEST.2008.41"
  tags:
  - "Markov"
  - "abstraction"
  researchr: "https://researchr.org/publication/RoyPNA08"
  cites: 0
  citedby: 0
  pages: "103-112"
  booktitle: "Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3360-5"
  kind: "inproceedings"
  key: "RoyPNA08"
- title: "Numerical vs. statistical probabilistic model checking"
  author:
  - name: "Håkan L. S. Younes"
    link: "https://researchr.org/alias/h%C3%A5kan-l.-s.-younes"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-005-0187-8"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-005-0187-8"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/YounesKNP06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "3"
  pages: "216-228"
  kind: "article"
  key: "YounesKNP06"
- title: "Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s001650300007"
  links:
    doi: "http://dx.doi.org/10.1007/s001650300007"
  tags:
  - "model checking"
  - "meta-model"
  - "protocol"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNS03"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "14"
  number: "3"
  pages: "295-318"
  kind: "article"
  key: "KwiatkowskaNS03"
- title: "PRISM 2.0: A Tool for Probabilistic Model Checking"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850322abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850322abs.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNP04"
  cites: 0
  citedby: 0
  pages: "322-323"
  booktitle: "1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2185-1"
  kind: "inproceedings"
  key: "KwiatkowskaNP04"
- title: "On Reduction Criteria for Probabilistic Reward Models"
  author:
  - name: "Marcus Größer"
    link: "https://researchr.org/alias/marcus-gr%C3%B6%C3%9Fer"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Frank Ciesinski"
    link: "https://researchr.org/alias/frank-ciesinski"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11944836_29"
  links:
    doi: "http://dx.doi.org/10.1007/11944836_29"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GrosserNBCKP06"
  cites: 0
  citedby: 0
  pages: "309-320"
  booktitle: "FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings"
  editor:
  - name: "S. Arun-Kumar"
    link: "https://researchr.org/alias/s.-arun-kumar"
  - name: "Naveen Garg"
    link: "https://researchr.org/alias/naveen-garg"
  volume: "4337"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-49994-6"
  kind: "inproceedings"
  key: "GrosserNBCKP06"
- title: "Analysis of Probabilistic Contract Signing"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Vitaly Shmatikov"
    link: "https://researchr.org/alias/vitaly-shmatikov"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2629&spage=81"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2629&spage=81"
  tags:
  - "contracts"
  - "analysis"
  researchr: "https://researchr.org/publication/NormanS02"
  cites: 0
  citedby: 0
  pages: "81-96"
  booktitle: "Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers"
  editor:
  - name: "Ali E. Abdallah"
    link: "https://researchr.org/alias/ali-e.-abdallah"
  - name: "Peter Ryan"
    link: "https://researchr.org/alias/peter-ryan"
  - name: "Steve Schneider"
    link: "https://researchr.org/alias/steve-schneider"
  volume: "2629"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20693-0"
  kind: "inproceedings"
  key: "NormanS02"
- title: "PRISM: Probabilistic Symbolic Model Checker"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2324&spage=0200"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2324&spage=0200"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNP02%3A1"
  cites: 0
  citedby: 0
  pages: "200-204"
  booktitle: "Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings"
  editor:
  - name: "Tony Field"
    link: "https://researchr.org/alias/tony-field"
  - name: "Peter G. Harrison"
    link: "https://researchr.org/alias/peter-g.-harrison"
  - name: "Jeremy T. Bradley"
    link: "https://researchr.org/alias/jeremy-t.-bradley"
  - name: "Uli Harder"
    link: "https://researchr.org/alias/uli-harder"
  volume: "2324"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43539-5"
  kind: "inproceedings"
  key: "KwiatkowskaNP02:1"
- title: "Stochastic Model Checking"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72522-0_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72522-0_6"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KwiatkowskaNP07"
  cites: 0
  citedby: 0
  pages: "220-270"
  booktitle: "Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures"
  editor:
  - name: "Marco Bernardo"
    link: "https://researchr.org/alias/marco-bernardo"
  - name: "Jane Hillston"
    link: "https://researchr.org/alias/jane-hillston"
  volume: "4486"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72482-7"
  kind: "inproceedings"
  key: "KwiatkowskaNP07"
- title: "Model Checking CSL until Formulae with Random Time Bounds"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "António Pacheco"
    link: "https://researchr.org/alias/ant%C3%B3nio-pacheco"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2399/23990152.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2399/23990152.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNP02%3A0"
  cites: 0
  citedby: 0
  pages: "152-168"
  booktitle: "Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings"
  editor:
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  volume: "2399"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43913-7"
  kind: "inproceedings"
  key: "KwiatkowskaNP02:0"
- title: "Bisimulation for Demonic Schedulers"
  author:
  - name: "Konstantinos Chatzikokolakis"
    link: "https://researchr.org/alias/konstantinos-chatzikokolakis"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00596-1_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00596-1_23"
  researchr: "https://researchr.org/publication/ChatzikokolakisNP09"
  cites: 0
  citedby: 0
  pages: "318-332"
  booktitle: "Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  editor:
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  volume: "5504"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00595-4"
  kind: "inproceedings"
  key: "ChatzikokolakisNP09"
- title: "Concavely-Priced Probabilistic Timed Automata"
  author:
  - name: "Marcin Jurdzinski"
    link: "https://researchr.org/alias/marcin-jurdzinski"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Ashutosh Trivedi"
    link: "https://researchr.org/alias/ashutosh-trivedi"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04081-8_28"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04081-8_28"
  researchr: "https://researchr.org/publication/JurdzinskiKNT09"
  cites: 0
  citedby: 0
  pages: "415-430"
  booktitle: "CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings"
  editor:
  - name: "Mario Bravetti"
    link: "https://researchr.org/alias/mario-bravetti"
  - name: "Gianluigi Zavattaro"
    link: "https://researchr.org/alias/gianluigi-zavattaro"
  volume: "5710"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04080-1"
  kind: "inproceedings"
  key: "JurdzinskiKNT09"
- title: "On the use of MTBDDs for performability analysis and verification of stochastic systems"
  author:
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Markus Siegle"
    link: "https://researchr.org/alias/markus-siegle"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00066-8"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00066-8"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HermannsKNPS03"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "56"
  number: "1-2"
  pages: "23-67"
  kind: "article"
  key: "HermannsKNPS03"
- title: "Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "Jeremy Sproston"
    link: "https://researchr.org/alias/jeremy-sproston"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2399/23990169.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2399/23990169.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "protocol"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KwiatkowskaNS02"
  cites: 0
  citedby: 0
  pages: "169-187"
  booktitle: "Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings"
  editor:
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  volume: "2399"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43913-7"
  kind: "inproceedings"
  key: "KwiatkowskaNS02"
- title: "Stochastic Games for Verification of Probabilistic Timed Automata"
  author:
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04368-0_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04368-0_17"
  researchr: "https://researchr.org/publication/KwiatkowskaNP09"
  cites: 0
  citedby: 0
  pages: "212-227"
  booktitle: "Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings"
  editor:
  - name: "Joël Ouaknine"
    link: "https://researchr.org/alias/jo%C3%A3%C2%ABl-ouaknine"
  - name: "Frits W. Vaandrager"
    link: "https://researchr.org/alias/frits-w.-vaandrager"
  volume: "5813"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04367-3"
  kind: "inproceedings"
  key: "KwiatkowskaNP09"
- title: "Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking"
  author:
  - name: "Gethin J. Norman"
    link: "http://www.dcs.gla.ac.uk/people/personal/gethin/"
  - name: "David Parker"
    link: "https://researchr.org/alias/david-parker"
  - name: "Marta Z. Kwiatkowska"
    link: "https://researchr.org/alias/marta-z.-kwiatkowska"
  - name: "Sandeep K. Shukla"
    link: "https://researchr.org/alias/sandeep-k.-shukla"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/vlsid/2004/2072/00/20720907abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/vlsid/2004/2072/00/20720907abs.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "architecture"
  - "Meta-Environment"
  - "reliability"
  researchr: "https://researchr.org/publication/NormanPKS04"
  cites: 0
  citedby: 0
  pages: "907"
  booktitle: "17th  International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2072-3"
  kind: "inproceedings"
  key: "NormanPKS04"