Publications

2014

Conference paper
Fast Debugging of PRISM Models
Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
Automated technology for verification and analysis
RWTH record for Fast Debugging of PRISM Models BibTeX for Fast Debugging of PRISM Models
Journal article
Minimal counterexamples for linear-time probabilistic verification
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Theoretical computer science
RWTH record for Minimal counterexamples for linear-time probabilistic verification BibTeX for Minimal counterexamples for linear-time probabilistic verification
Journal article
Spacecraft early design validation using formal methods
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Reliability engineering & system safety
RWTH record for Spacecraft early design validation using formal methods BibTeX for Spacecraft early design validation using formal methods
Journal article
Symbolic counterexample generation for large discrete-time Markov chains
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
Science of computer programming
RWTH record for Symbolic counterexample generation for large discrete-time Markov chains BibTeX for Symbolic counterexample generation for large discrete-time Markov chains
Conference paper
Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey
Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
Formal methods for executable software models
RWTH record for Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey BibTeX for Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey
Journal article
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Performance evaluation
RWTH record for Operational versus weakest pre-expectation semantics for the probabilistic guarded command language BibTeX for Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

2013

Journal article
Selected Dynamic Issues in Software Model Checking
Viet Yen Nguyen, Theo C. Ruys
International journal on software tools for technology transfer
RWTH record for Selected Dynamic Issues in Software Model Checking BibTeX for Selected Dynamic Issues in Software Model Checking
Journal article
Abstract Probabilistic Automata
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski
Information and computation
RWTH record for Abstract Probabilistic Automata BibTeX for Abstract Probabilistic Automata
Journal article
Model checking for performability
Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Mathematical structures in computer science
RWTH record for Model checking for performability BibTeX for Model checking for performability
Journal article
A compositional modelling and analysis framework for stochastic hybrid systems
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen
Formal methods in system design
RWTH record for A compositional modelling and analysis framework for stochastic hybrid systems BibTeX for A compositional modelling and analysis framework for stochastic hybrid systems
Preprint
Accelerating Parametric Probabilistic Verification
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
PDF of Accelerating Parametric Probabilistic Verification RWTH record for Accelerating Parametric Probabilistic Verification BibTeX for Accelerating Parametric Probabilistic Verification
Book chapter
Model Checking Meets Probability : A Gentle Introduction
Joost-Pieter Katoen
Engineering Dependable Software Systems. - 34
RWTH record for Model Checking Meets Probability : A Gentle Introduction BibTeX for Model Checking Meets Probability : A Gentle Introduction
Conference paper
Speeding Up the Safety Verification of Programmable Logic Controller Code
Tim Lange, Martin R. Neuhäußer, Thomas Noll
Hardware and software: verification and testing
RWTH record for Speeding Up the Safety Verification of Programmable Logic Controller Code BibTeX for Speeding Up the Safety Verification of Programmable Logic Controller Code
Conference paper
Incremental Construction of Greibach Normal Form for Context-Free Grammars
Markus Bals, Christina Jansen, Thomas Noll
Proceedings
RWTH record for Incremental Construction of Greibach Normal Form for Context-Free Grammars BibTeX for Incremental Construction of Greibach Normal Form for Context-Free Grammars
Conference paper
Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
RWTH record for Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems BibTeX for Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems
Conference paper
PRINSYS : - on a Quest for Probabilistic Loop Invariants
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
Quantitative evaluation of systems
RWTH record for PRINSYS : - on a Quest for Probabilistic Loop Invariants BibTeX for PRINSYS : - on a Quest for Probabilistic Loop Invariants
Conference paper
Lazy abstractions for timed automata
Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Computer aided verification
RWTH record for Lazy abstractions for timed automata BibTeX for Lazy abstractions for timed automata
Conference paper
Characterization of Failure Effects on AADL Models
Bernhard Ern, Viet Yen Nguyen, Thomas Noll
Computer safety, reliability, and security
RWTH record for Characterization of Failure Effects on AADL Models BibTeX for Characterization of Failure Effects on AADL Models
Conference paper
A Two Step Perspective for Kripke Structure Reduction
Arpit Sharma
SOFSEM 2013: Theory and Practice of Computer Science
RWTH record for A Two Step Perspective for Kripke Structure Reduction BibTeX for A Two Step Perspective for Kripke Structure Reduction
Conference paper
High-level Counterexamples for Probabilistic Automata
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Quantitative evaluation of systems
RWTH record for High-level Counterexamples for Probabilistic Automata BibTeX for High-level Counterexamples for Probabilistic Automata
Conference paper
Concurrency meets Probability: Theory and Practice
Joost-Pieter Katoen
CONCUR 2013 - concurrency theory
RWTH record for Concurrency meets Probability: Theory and Practice BibTeX for Concurrency meets Probability: Theory and Practice
Conference paper
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
Hongfei Fu
Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
RWTH record for Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata BibTeX for Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
Conference paper
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
Joost-Pieter Katoen, Doron Peled
Programming languages and systems
RWTH record for Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems BibTeX for Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems
Conference paper
Model-Based Energy Optimization of Automotive Control Systems
Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE 2013)
RWTH record for Model-Based Energy Optimization of Automotive Control Systems BibTeX for Model-Based Energy Optimization of Automotive Control Systems
Conference paper
SMT-based Bisimulation Minimisation of Markov Models
Hans Christian Dehnert, David Parker, Joost-Pieter Katoen
Verification, Model Checking, and Abstract Interpretation [Elektronische Ressource]
RWTH record for SMT-based Bisimulation Minimisation of Markov Models BibTeX for SMT-based Bisimulation Minimisation of Markov Models