Publications

2008

Conference paper
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev
Hardware and software: verification and testing
RWTH record for How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison BibTeX for How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
Conference paper
Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings
RWTH record for Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains BibTeX for Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains
Conference paper
Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker
CONCUR 2008 - concurrency theory
RWTH record for Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning BibTeX for Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning
Book chapter
Reachability in continuous-time Markov reward decision processes
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Logic and automata
RWTH record for Reachability in continuous-time Markov reward decision processes BibTeX for Reachability in continuous-time Markov reward decision processes
Conference paper
Delayed nondeterminism in model checking embedded systems assembly code
Thomas Noll, Bastian Schlich
Hardware and software: verification and testing
RWTH record for Delayed nondeterminism in model checking embedded systems assembly code BibTeX for Delayed nondeterminism in model checking embedded systems assembly code
Technical report
Abstraction for stochastic systems by Erlangs method of stages
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
PDF of Abstraction for stochastic systems by Erlangs method of stages RWTH record for Abstraction for stochastic systems by Erlangs method of stages BibTeX for Abstraction for stochastic systems by Erlangs method of stages
Technical report
SMA - the Smyle modeling approach
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
RWTH record for SMA - the Smyle modeling approach BibTeX for SMA - the Smyle modeling approach
Technical report
Angluin-Style Learning of NFA
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
PDF of Angluin-Style Learning of NFA RWTH record for Angluin-Style Learning of NFA BibTeX for Angluin-Style Learning of NFA
Technical report
Quantitative Testing
Henrik Bohnenkamp, Marielle Stoelinga
PDF of Quantitative Testing RWTH record for Quantitative Testing BibTeX for Quantitative Testing

2007

Journal article
Abstraction and model checking of core Erlang programs in Maude
Martin R. Neuhäußer, Thomas Noll
Electronic notes in theoretical computer science
RWTH record for Abstraction and model checking of core Erlang programs in Maude BibTeX for Abstraction and model checking of core Erlang programs in Maude
Journal article
Model checking mobile stochastic logic
Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
Theoretical computer science
RWTH record for Model checking mobile stochastic logic BibTeX for Model checking mobile stochastic logic
Conference paper
Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers
G. Kappen, S. el Bahri, O. Priebe, Tobias G. Noll
2007 IEEE International Conference on Application-Specific Systems, Architectures and Processors
RWTH record for Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers BibTeX for Evaluation of a tightly coupled ASIP co-processor architecture used in GNSS receivers
Conference paper
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
2007 IEEE design and diagnostics of electronic circuits and systems
RWTH record for On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata BibTeX for On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
Conference paper
Bisimulation minimisation mostly speeds up probabilistic model checking
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
Tools and algorithms for the construction and analysis of systems
RWTH record for Bisimulation minimisation mostly speeds up probabilistic model checking BibTeX for Bisimulation minimisation mostly speeds up probabilistic model checking
Conference paper
Verifying concurrent list-manipulating programs by LTL model checking
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger
HAV 2007
PDF of Verifying concurrent list-manipulating programs by LTL model checking RWTH record for Verifying concurrent list-manipulating programs by LTL model checking BibTeX for Verifying concurrent list-manipulating programs by LTL model checking
Technical report
Verifying concurrent list-manipulating programs by LTL model checking
Joost-Pieter Katoen, Thomas Noll, Stefan Rieger
PDF of Verifying concurrent list-manipulating programs by LTL model checking RWTH record for Verifying concurrent list-manipulating programs by LTL model checking BibTeX for Verifying concurrent list-manipulating programs by LTL model checking
Book chapter
Timed model-based testing
Henrik Bohnenkamp, Axel Belinfante
Tangram: model-based integration and testing of complex high-tech systems
RWTH record for Timed model-based testing BibTeX for Timed model-based testing
Conference paper
Replaying play in and play out : synthesis of design models from scenarios by learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Tools and algorithms for the construction and analysis of systems
RWTH record for Replaying play in and play out : synthesis of design models from scenarios by learning BibTeX for Replaying play in and play out : synthesis of design models from scenarios by learning
Conference paper
Counterexamples in probabilistic model checking
Tingting Han, Joost-Pieter Katoen
Tools and algorithms for the construction and analysis of systems
RWTH record for Counterexamples in probabilistic model checking BibTeX for Counterexamples in probabilistic model checking
Conference paper
Abstraction of probabilistic systems
Joost-Pieter Katoen
Formal modeling and analysis of timed systems
RWTH record for Abstraction of probabilistic systems BibTeX for Abstraction of probabilistic systems
Conference paper
Providing evidence of likely being on time : counterexample generation for CTMC model checking
Tingting Han, Joost-Pieter Katoen
Automated technology for verification and analysis
RWTH record for Providing evidence of likely being on time : counterexample generation for CTMC model checking BibTeX for Providing evidence of likely being on time : counterexample generation for CTMC model checking
Conference paper
Three-Valued Abstraction for Continuous-Time Markov Chains
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Computer aided verification
RWTH record for Three-Valued Abstraction for Continuous-Time Markov Chains BibTeX for Three-Valued Abstraction for Continuous-Time Markov Chains
Conference paper
Flow faster : efficient decision algorithms for probabilistic simulations
Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
Tools and algorithms for the construction and analysis of systems
RWTH record for Flow faster : efficient decision algorithms for probabilistic simulations BibTeX for Flow faster : efficient decision algorithms for probabilistic simulations
Conference paper
Bisimulation and logical preservation for continuous-time Markov decision processes
Martin R. Neuhäußer, Joost-Pieter Katoen
CONCUR 2007 - concurrency theory
RWTH record for Bisimulation and logical preservation for continuous-time Markov decision processes BibTeX for Bisimulation and logical preservation for continuous-time Markov decision processes
Conference paper
Composing Transformations to Optimize Linear Code
Thomas Noll, Stefan Rieger
Theoretical aspects of computing - ICTAC 2007
RWTH record for Composing Transformations to Optimize Linear Code BibTeX for Composing Transformations to Optimize Linear Code