Book Chapter
Stochastic Model Checking
Marta Kwiatkowska, Gethin Norman and David Parker
Lecture Notes in Computer Science, 2007, Volume 4486, Formal Methods for Performance Evaluation, Pages 220-270
Book Chapter
Automated Performance and Dependability Evaluation Using Model Checking
Christel Baier, Boudewijn Haverkort, Holger Hermanns and Joost-Pieter Katoen
Lecture Notes in Computer Science, 2002, Volume 2459, Performance Evaluation of Complex Systems: Techniques and Tools, Pages 207-217
Journal Article
Performability assessment by model checking of Markov reward models
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns and Joost-Pieter Katoen
Formal Methods in System Design, 2010, Volume 36, Number 1, Pages 1-36
Journal Article
Probabilistic reachability for parametric Markov models
Ernst Moritz Hahn, Holger Hermanns and Lijun Zhang
International Journal on Software Tools for Technology Transfer (STTT), 2011, Volume 13, Number 1, Pages 3-19
Book Chapter
Abstraction of Probabilistic Systems
Joost-Pieter Katoen
Lecture Notes in Computer Science, 2007, Volume 4763, Formal Modeling and Analysis of Timed Systems, Pages 1-3
Book Chapter
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
Martin R. Neuhäußer and Joost-Pieter Katoen
Lecture Notes in Computer Science, 2007, Volume 4703, CONCUR 2007 – Concurrency Theory, Pages 412-427
Book Chapter
Quantitative Verification Techniques for Biological Processes
Marta Kwiatkowska, Gethin Norman and David Parker
Natural Computing Series, 2009, Algorithmic Bioprocesses, Part 6, Pages 391-409
Book Chapter
Branching Time Equivalences for Interactive Markov Chains
Guangping Qin and Jinzhao Wu
Lecture Notes in Computer Science, 2004, Volume 3236, Applying Formal Methods: Testing, Performance, and M/E-Commerce, Pages 156-169
Book Chapter
Three-Valued Abstraction for Continuous-Time Markov Chains
Joost-Pieter Katoen, Daniel Klink, Martin Leucker and Verena Wolf
Lecture Notes in Computer Science, 2007, Volume 4590, Computer Aided Verification, Pages 311-324
Book Chapter
Performance Evaluation:= (Process Algebra + Model Checking) X Markov Chains
Holger Hermanns and Joost-Pieter Katoen
Lecture Notes in Computer Science, 2001, Volume 2154, CONCUR 2001 — Concurrency Theory, Pages 59-81