Publications

2012

Conference paper
Model Checking: One Can Do Much More Than You Think!
Joost-Pieter Katoen
Fundamentals of software engineering
RWTH record for Model Checking: One Can Do Much More Than You Think!BibTeX for Model Checking: One Can Do Much More Than You Think!
Conference paper
Minimal Critical Subsystems for Discrete-Time Markov Models
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
Tools and algorithms for the construction and analysis of systems
RWTH record for Minimal Critical Subsystems for Discrete-Time Markov Models BibTeX for Minimal Critical Subsystems for Discrete-Time Markov Models
Conference paper
Model checking of scenario-aware dataflow with cadp
Bart Theelen, Joost-Pieter Katoen, Hao Wu
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)
RWTH record for Model checking of scenario-aware dataflow with cadp BibTeX for Model checking of scenario-aware dataflow with cadp
Conference paper
Weighted probabilistic equivalence preserves omega-regular properties
Arpit Sharma
Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance
RWTH record for Weighted probabilistic equivalence preserves omega-regular properties BibTeX for Weighted probabilistic equivalence preserves omega-regular properties

2011

Preprint
Coarse abstractions make Zeno behaviours difficult to detect
Frédéric Herbreteau, B. Srivathsan
PDF of Coarse abstractions make Zeno behaviours difficult to detect RWTH record for Coarse abstractions make Zeno behaviours difficult to detect BibTeX for Coarse abstractions make Zeno behaviours difficult to detect
Conference paper
SMT-based Counterexample Generation for Markov Chains
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
RWTH record for SMT-based Counterexample Generation for Markov Chains BibTeX for SMT-based Counterexample Generation for Markov Chains
Conference paper
Analysing and Improving Energy Efficiency of Distributed Slotted Aloha
Haidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen
Smart spaces and next generation wired/wireless networking
RWTH record for Analysing and Improving Energy Efficiency of Distributed Slotted Aloha BibTeX for Analysing and Improving Energy Efficiency of Distributed Slotted Aloha
Conference paper
System-Software Co-Engineering: Dependability and Safety Perspective
Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri
Proceedings, Fourth IEEE International Conference on Space Mission Challenges for Information Technology
RWTH record for System-Software Co-Engineering: Dependability and Safety Perspective BibTeX for System-Software Co-Engineering: Dependability and Safety Perspective
Conference paper
A two-step scheme for approximate model checking of stochastic hybrid systems
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini
[Proceedings 18th IFAC World Congress 2011
RWTH record for A two-step scheme for approximate model checking of stochastic hybrid systems BibTeX for A two-step scheme for approximate model checking of stochastic hybrid systems
Conference paper
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems
Hongfei Fu, Joost-Pieter Katoen
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) [Elektronische Ressource]
RWTH record for Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems BibTeX for Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems
Conference paper
Juggrnaut - An Abstract JVM
Jonathan Heinen, Christina Jansen
Formal Verification of Object-Oriented Software. Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy
RWTH record for Juggrnaut - An Abstract JVM BibTeX for Juggrnaut - An Abstract JVM
Conference paper
Model Checking EGF on Basic Parallel Processes
Hongfei Fu
Automated technolgoy for verification and analysis
RWTH record for Model Checking EGF on Basic Parallel Processes BibTeX for Model Checking EGF on Basic Parallel Processes
Journal article
Time-bounded reachability in tree-structured QBDs by abstraction
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Performance evaluation
RWTH record for Time-bounded reachability in tree-structured QBDs by abstraction BibTeX for Time-bounded reachability in tree-structured QBDs by abstraction
Journal article
The Ins and Outs of the Probabilistic Model Checker MRMC
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
Performance evaluation
RWTH record for The Ins and Outs of the Probabilistic Model Checker MRMC BibTeX for The Ins and Outs of the Probabilistic Model Checker MRMC
Journal article
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Logical methods in computer science
PDF of Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications RWTH record for Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications BibTeX for Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Journal article
Trustworthy Aerospace Systems
Joost-Pieter Katoen, Thomas Noll
Public service review
RWTH record for Trustworthy Aerospace Systems BibTeX for Trustworthy Aerospace Systems
Conference paper
Hierarchical counterexamples for discrete-time markov chains
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Automated technolgoy for verification and analysis
RWTH record for Hierarchical counterexamples for discrete-time markov chains BibTeX for Hierarchical counterexamples for discrete-time markov chains
Conference paper
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
Formal techniques for distributed systems
RWTH record for Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking BibTeX for Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking
Conference paper
Access Analysis-based Tight Localization of Abstract Memories
Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
Verification, model checking, and abstract interpretation
RWTH record for Access Analysis-based Tight Localization of Abstract Memories BibTeX for Access Analysis-based Tight Localization of Abstract Memories
Conference paper
Static livelock analysis in csp
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
CONCUR 2011 - concurrency theory
RWTH record for Static livelock analysis in csp BibTeX for Static livelock analysis in csp
Conference paper
Reachability probabilities in markovian timed automata
Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre
2011 50th IEEE Conference on Decision and Control and European Control Conference
RWTH record for Reachability probabilities in markovian timed automata BibTeX for Reachability probabilities in markovian timed automata
Conference paper
A Local Greibach Normal Form for Hyperedge Replacement Grammars
Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
Language and automata theory and applications
RWTH record for A Local Greibach Normal Form for Hyperedge Replacement Grammars BibTeX for A Local Greibach Normal Form for Hyperedge Replacement Grammars
Conference paper
Abstract Probabilistic Automata
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski
Verification, model checking, and abstract interpretation
RWTH record for Abstract Probabilistic Automata BibTeX for Abstract Probabilistic Automata
Conference paper
Efficient CTMC Model Checking of Linear Real-Time Objectives
Benoit Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Tools and algorithms for the construction and analysis of systems
RWTH record for Efficient CTMC Model Checking of Linear Real-Time Objectives BibTeX for Efficient CTMC Model Checking of Linear Real-Time Objectives
Conference paper
Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems
Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre
HSCC'11
RWTH record for Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems BibTeX for Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems