publications:
- title: "The Surprising Robustness of (Closed) Timed Automata against Clock-Drift"
  author:
  - name: "Mani Swaminathan"
    link: "https://researchr.org/alias/mani-swaminathan"
  - name: "Martin Fränzle"
    link: "https://researchr.org/alias/martin-fr%C3%A4nzle"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_36"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_36"
  researchr: "https://researchr.org/publication/SwaminathanFK08"
  cites: 0
  citedby: 0
  pages: "537-553"
  booktitle: "ifipTCS"
  kind: "inproceedings"
  key: "SwaminathanFK08"
- title: "Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking"
  author:
  - name: "Tingting Han"
    link: "https://researchr.org/alias/tingting-han"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75596-8_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75596-8_24"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HanK07"
  cites: 0
  citedby: 0
  pages: "331-346"
  booktitle: "ATVA"
  kind: "inproceedings"
  key: "HanK07"
- title: "Guest editors  introduction: Advancements and extensions of verification techniques"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1007/s10009-004-0150-0"
  links:
    doi: "http://www.springerlink.com/index/10.1007/s10009-004-0150-0"
  researchr: "https://researchr.org/publication/KatoenS04"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "6"
  number: "2"
  pages: "99-101"
  kind: "article"
  key: "KatoenS04"
- title: "Causal Behaviours and Nets"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "1995"
  researchr: "https://researchr.org/publication/Katoen95"
  cites: 0
  citedby: 0
  pages: "258-277"
  booktitle: "apn"
  kind: "inproceedings"
  key: "Katoen95"
- title: "Regular Expressions for PCTL Counterexamples"
  author:
  - name: "Berteun Damman"
    link: "https://researchr.org/alias/berteun-damman"
  - name: "Tingting Han"
    link: "https://researchr.org/alias/tingting-han"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/QEST.2008.11"
  links:
    doi: "http://dx.doi.org/10.1109/QEST.2008.11"
  researchr: "https://researchr.org/publication/DammanHK08"
  cites: 0
  citedby: 0
  pages: "179-188"
  booktitle: "qest"
  kind: "inproceedings"
  key: "DammanHK08"
- title: "Code Generation = A* + BURS"
  author:
  - name: "Albert Nymeyer"
    link: "https://researchr.org/alias/albert-nymeyer"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Ymte Westra"
    link: "https://researchr.org/alias/ymte-westra"
  - name: "Henk Alblas"
    link: "https://researchr.org/alias/henk-alblas"
  year: "1996"
  tags:
  - "code generation"
  researchr: "https://researchr.org/publication/NymeyerKWA96"
  cites: 0
  citedby: 0
  pages: "160-176"
  booktitle: "cc"
  kind: "inproceedings"
  key: "NymeyerKWA96"
- title: "A Semi-Markov Model of a Home Network Access Protocol"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "1993"
  tags:
  - "protocol"
  - "Markov"
  researchr: "https://researchr.org/publication/Katoen93"
  cites: 0
  citedby: 0
  pages: "293-298"
  booktitle: "mascots"
  kind: "inproceedings"
  key: "Katoen93"
- title: "On Generative Parallel Composition"
  author:
  - name: "Pedro R. D Argenio"
    link: "https://researchr.org/alias/pedro-r.-d-argenio"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/46/23/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/46/23/show/Products/notes/index.htt#004"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/DArgenioHK99"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "22"
  pages: "30-54"
  kind: "article"
  key: "DArgenioHK99"
- title: "Perspectives in Probabilistic Verification"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2008.44"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2008.44"
  researchr: "https://researchr.org/publication/Katoen08%3A0"
  cites: 0
  citedby: 0
  pages: "3-10"
  booktitle: "tase"
  kind: "inproceedings"
  key: "Katoen08:0"
- title: "Bottom-Up Tree Acceptors"
  author:
  - name: "C. Hemerik"
    link: "https://researchr.org/alias/c.-hemerik"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "1989"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/HemerikK89"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "13"
  number: "1"
  pages: "51-72"
  kind: "article"
  key: "HemerikK89"
- title: "Three-Valued Abstraction for Continuous-Time Markov Chains"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Daniel Klink"
    link: "https://researchr.org/alias/daniel-klink"
  - name: "Martin Leucker"
    link: "https://researchr.org/alias/martin-leucker"
  - name: "Verena Wolf"
    link: "https://researchr.org/alias/verena-wolf"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_37"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_37"
  tags:
  - "Markov"
  - "abstraction"
  researchr: "https://researchr.org/publication/KatoenKLW07"
  cites: 0
  citedby: 0
  pages: "311-324"
  booktitle: "cav"
  kind: "inproceedings"
  key: "KatoenKLW07"
- title: "Comparative branching-time semantics for Markov chains"
  author:
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Verena Wolf"
    link: "https://researchr.org/alias/verena-wolf"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ic.2005.03.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2005.03.001"
  tags:
  - "semantics"
  - "Markov"
  researchr: "https://researchr.org/publication/BaierKHW05"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "200"
  number: "2"
  pages: "149-214"
  kind: "article"
  key: "BaierKHW05"
- title: "Code Generation Based on Formal BURS Therory and Heuristic Search"
  author:
  - name: "Albert Nymeyer"
    link: "https://researchr.org/alias/albert-nymeyer"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "1997"
  tags:
  - "rule-based"
  - "code generation"
  - "search"
  researchr: "https://researchr.org/publication/NymeyerK97"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "34"
  number: "8"
  pages: "597-635"
  kind: "article"
  key: "NymeyerK97"
- title: "Model checking meets performance evaluation"
  author:
  - 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: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1059816.1059819"
  links:
    doi: "http://doi.acm.org/10.1145/1059816.1059819"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BaierHHK05"
  cites: 0
  citedby: 0
  journal: "sigmetrics"
  volume: "32"
  number: "4"
  pages: "10-15"
  kind: "article"
  key: "BaierHHK05"
- title: "Real-Time and Probabilistic Systems - Foreword"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0304-3975(01)00042-1"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(01)00042-1"
  researchr: "https://researchr.org/publication/Katoen02"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "282"
  number: "1"
  pages: "1-3"
  kind: "article"
  key: "Katoen02"
- title: "Abstraction for Stochastic Systems by Erlang s Method of Stages"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Daniel Klink"
    link: "https://researchr.org/alias/daniel-klink"
  - name: "Martin Leucker"
    link: "https://researchr.org/alias/martin-leucker"
  - name: "Verena Wolf"
    link: "https://researchr.org/alias/verena-wolf"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85361-9_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85361-9_24"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/KatoenKLW08"
  cites: 0
  citedby: 0
  pages: "279-294"
  booktitle: "concur"
  kind: "inproceedings"
  key: "KatoenKLW08"
- title: "Automated compositional Markov chain generation for a plain-old telephone system"
  author:
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2000"
  tags:
  - "composition"
  - "Markov"
  researchr: "https://researchr.org/publication/HermannsK00"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "36"
  number: "1"
  pages: "97-127"
  kind: "article"
  key: "HermannsK00"
- title: "Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains"
  author:
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Alexandru Mereacre"
    link: "https://researchr.org/alias/alexandru-mereacre"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85778-5_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85778-5_15"
  tags:
  - "model checking"
  - "meta-model"
  - "Markov"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/KatoenM08"
  cites: 0
  citedby: 0
  pages: "203-217"
  booktitle: "formats"
  kind: "inproceedings"
  key: "KatoenM08"
- title: "Automated Performance and Dependability Evaluation Using Model Checking"
  author:
  - 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: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2459/24590261.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2459/24590261.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BaierHHK02"
  cites: 0
  citedby: 0
  pages: "261-289"
  booktitle: "performance"
  kind: "inproceedings"
  key: "BaierHHK02"
- title: "A tool for model-checking Markov chains"
  author:
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Joost-Pieter Katoen"
    link: "http://www-i2.informatik.rwth-aachen.de/~katoen/"
  - name: "Joachim Meyer-Kayser"
    link: "https://researchr.org/alias/joachim-meyer-kayser"
  - name: "Markus Siegle"
    link: "https://researchr.org/alias/markus-siegle"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s100090100072"
  links:
    doi: "http://dx.doi.org/10.1007/s100090100072"
  tags:
  - "model checking"
  - "meta-model"
  - "Markov"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HermannsKMS03%3A0"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "4"
  number: "2"
  pages: "153-172"
  kind: "article"
  key: "HermannsKMS03:0"