Publications

2010

Conference paper
A Conformance Testing Relation for Symbolic Timed Automata
Sabrina von Styp, Henrik Bohnenkamp, Julien Schmaltz
Formal modeling and analysis of timed systems
RWTH record for A Conformance Testing Relation for Symbolic Timed Automata BibTeX for A Conformance Testing Relation for Symbolic Timed Automata
Conference paper
Analyzing Energy Consumption in a Gossiping MAC Protocol
Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen
Measurement, modelling and evaluation of computing systems and dependability in fault tolerance
RWTH record for Analyzing Energy Consumption in a Gossiping MAC Protocol BibTeX for Analyzing Energy Consumption in a Gossiping MAC Protocol
Conference paper
Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption
Haidi Yue, Joost-Pieter Katoen
Analytical and stochastic modeling techniques and applications
RWTH record for Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption BibTeX for Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption
Conference paper
Model Checking Interactive Markov Chains
Lijun Zhang, Martin R. Neuhäußer
Tools and algorithms for the construction and analysis of systems
RWTH record for Model Checking Interactive Markov Chains BibTeX for Model Checking Interactive Markov Chains
Conference paper
Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report
Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen
Computer performance engineering
RWTH record for Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report BibTeX for Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report
Conference paper
DTMC Model Checking by SCC Reduction
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Proceedings
RWTH record for DTMC Model Checking by SCC Reduction BibTeX for DTMC Model Checking by SCC Reduction
Conference paper
libalf: The Automata Learning Framework
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon
Computer aided verification
RWTH record for libalf: The Automata Learning Framework BibTeX for libalf: The Automata Learning Framework
Technical report
Computing Maximum Reachability Probabilities in Markovian Timed Automata
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
PDF of Computing Maximum Reachability Probabilities in Markovian Timed Automata RWTH record for Computing Maximum Reachability Probabilities in Markovian Timed Automata BibTeX for Computing Maximum Reachability Probabilities in Markovian Timed Automata

2009

Journal article
On metrics for probabilistic systems : Definitions and algorithms
Taolue Chen, Tingting Han, Jian Lu
Computers and mathematics with applications
RWTH record for On metrics for probabilistic systems : Definitions and algorithms BibTeX for On metrics for probabilistic systems : Definitions and algorithms
Journal article
Counterexample Generation in Probabilistic Model Checking
Tingting Han, Joost-Pieter Katoen, Berteun Damman
IEEE transactions on software engineering
RWTH record for Counterexample Generation in Probabilistic Model Checking BibTeX for Counterexample Generation in Probabilistic Model Checking
Conference paper
The Ins and Outs of The Probabilistic Model Checker MRMC
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
Sixth International Conference on the Quantitative Evaluation of Systems, 2009
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
Conference paper
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Sixth International Conference on the Quantitative Evaluation of Systems, 2009
RWTH record for Time-Bounded Reachability in Tree-Structured QBDs by Abstraction BibTeX for Time-Bounded Reachability in Tree-Structured QBDs by Abstraction
Conference paper
Towards a theory for timed symbolic testing
Sabrina von Styp
Proceedings of Formal Methods 2009
PDF of Towards a theory for timed symbolic testing RWTH record for Towards a theory for timed symbolic testing BibTeX for Towards a theory for timed symbolic testing
Conference paper
Simulation-based CTMC Model Checking: An Empirical Evaluation
Joost-Pieter Katoen, Ivan S. Zapreev
QUEST 2009
RWTH record for Simulation-based CTMC Model Checking: An Empirical Evaluation BibTeX for Simulation-based CTMC Model Checking: An Empirical Evaluation
Conference paper
Maximizing System Lifetime by Battery Scheduling
Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen
2009 IEEE/IFIP International Conference on Dependable Systems & Networks
RWTH record for Maximizing System Lifetime by Battery Scheduling BibTeX for Maximizing System Lifetime by Battery Scheduling
Conference paper
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2009 24th Annual IEEE Symposium on Logic in Computer Science
RWTH record for Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications BibTeX for Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Conference paper
Verification and Performance Evaluation of AADL Models (Tool Demonstration)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
ESEC-FSE’09
RWTH record for Verification and Performance Evaluation of AADL Models (Tool Demonstration)BibTeX for Verification and Performance Evaluation of AADL Models (Tool Demonstration)
Conference paper
Model-Based Codesign of Critical Embedded Systems
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Workshop Proceedings
RWTH record for Model-Based Codesign of Critical Embedded Systems BibTeX for Model-Based Codesign of Critical Embedded Systems
Conference paper
Angluin-Style Learning of NFA
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence
PDF of Angluin-Style Learning of NFA RWTH record for Angluin-Style Learning of NFA BibTeX for Angluin-Style Learning of NFA
Conference paper
Codesign of Dependable Systems: A Component-Based Modeling Language
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009): Cambridge, Massachusetts, July 13-15, 2009
RWTH record for Codesign of Dependable Systems: A Component-Based Modeling Language BibTeX for Codesign of Dependable Systems: A Component-Based Modeling Language
Conference paper
Towards an industrial strength process for timed testing
Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, Norbert Berzen
International Conference on Software Testing, Verification and Validation Workshops, 2009: ICSTW '09
RWTH record for Towards an industrial strength process for timed testing BibTeX for Towards an industrial strength process for timed testing
Conference paper
Memoised Garbage Collection for Software Model Checking
Viet Yen Nguyen, Theo C. Ruys
Tools and algorithms for the construction and analysis of systems
RWTH record for Memoised Garbage Collection for Software Model Checking BibTeX for Memoised Garbage Collection for Software Model Checking
Conference paper
Delayed Nondeterminism in Continuous-Time Markov Decision Processes
Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen
Foundations of software science and computational structures
RWTH record for Delayed Nondeterminism in Continuous-Time Markov Decision Processes BibTeX for Delayed Nondeterminism in Continuous-Time Markov Decision Processes
Conference paper
Compositional Abstraction for Stochastic Systems
Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
Formal modeling and analysis of timed systems
RWTH record for Compositional Abstraction for Stochastic Systems BibTeX for Compositional Abstraction for Stochastic Systems
Conference paper
LTL model checking of time-inhomogeneous Markov chains
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Automated technology for verification and analysis
RWTH record for LTL model checking of time-inhomogeneous Markov chains BibTeX for LTL model checking of time-inhomogeneous Markov chains