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: "Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy"
  editor:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Juhani Karhumäki"
    link: "https://researchr.org/alias/juhani-karhum%C3%A4ki"
  - name: "Giancarlo Mauri"
    link: "https://researchr.org/alias/giancarlo-mauri"
  - name: "C.-H. Luke Ong"
    link: "https://researchr.org/alias/c.-h.-luke-ong"
  volume: "273"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-0-387-09679-7"
  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: "Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings"
  editor:
  - name: "Kedar S. Namjoshi"
    link: "https://researchr.org/alias/kedar-s.-namjoshi"
  - name: "Tomohiro Yoneda"
    link: "https://researchr.org/alias/tomohiro-yoneda"
  - name: "Teruo Higashino"
    link: "https://researchr.org/alias/teruo-higashino"
  - name: "Yoshio Okamura"
    link: "https://researchr.org/alias/yoshio-okamura"
  volume: "4762"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75595-1"
  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: "Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings"
  editor:
  - name: "Giorgio De Michelis"
    link: "https://researchr.org/alias/giorgio-de-michelis"
  - name: "Michel Diaz"
    link: "https://researchr.org/alias/michel-diaz"
  volume: "935"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60029-9"
  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: "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: "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: "Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings"
  editor:
  - name: "Tibor Gyimóthy"
    link: "https://researchr.org/alias/tibor-gyim%C3%B3thy"
  volume: "1060"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61053-7"
  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  93, Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 17-20, 1993, La Jolla, San Diego, CA, USA"
  editor:
  - name: "Herbert D. Schwetman"
    link: "https://researchr.org/alias/herbert-d.-schwetman"
  - name: "Jean C. Walrand"
    link: "https://researchr.org/alias/jean-c.-walrand"
  - name: "Kallol Kumar Bagchi"
    link: "https://researchr.org/alias/kallol-kumar-bagchi"
  - name: "Doug DeGroot"
    link: "https://researchr.org/alias/doug-degroot"
  publisher: "The Society for Computer Simulation"
  isbn: "1-56555-018-8"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3249-3"
  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: "Science of Computer Programming"
  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: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings"
  editor:
  - name: "Werner Damm"
    link: "https://researchr.org/alias/werner-damm"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4590"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73367-6"
  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: "Inf. Comput."
  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 Informatica"
  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 Performance Evaluation Review"
  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: "Theoretical Computer Science"
  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 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings"
  editor:
  - name: "Franck van Breugel"
    link: "https://researchr.org/alias/franck-van-breugel"
  - name: "Marsha Chechik"
    link: "https://researchr.org/alias/marsha-chechik"
  volume: "5201"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85360-2"
  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: "Science of Computer Programming"
  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: "Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings"
  editor:
  - name: "Franck Cassez"
    link: "https://researchr.org/alias/franck-cassez"
  - name: "Claude Jard"
    link: "https://researchr.org/alias/claude-jard"
  volume: "5215"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85777-8"
  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 Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures"
  editor:
  - name: "Mariacarla Calzarossa"
    link: "https://researchr.org/alias/mariacarla-calzarossa"
  - name: "Salvatore Tucci"
    link: "https://researchr.org/alias/salvatore-tucci"
  volume: "2459"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44252-9"
  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"