Publications

2007

Conference paper
Motor : the MoDeST tool environment
Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
Tools and algorithms for the construction and analysis of systems
RWTH record for Motor : the MoDeST tool environment BibTeX for Motor : the MoDeST tool environment
Conference paper
Parallel SAT solving in bounded model checking
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers
RWTH record for Parallel SAT solving in bounded model checking BibTeX for Parallel SAT solving in bounded model checking
Book chapter
Stochastic model checking
Joost-Pieter Katoen
Stochastic Hybrid Systems
RWTH record for Stochastic model checking BibTeX for Stochastic model checking
Technical report
Compositional modeling and minimization of time-inhomogeneous Markov chains
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
PDF of Compositional modeling and minimization of time-inhomogeneous Markov chains RWTH record for Compositional modeling and minimization of time-inhomogeneous Markov chains BibTeX for Compositional modeling and minimization of time-inhomogeneous Markov chains
Technical report
Three-valued abstraction for probabilistic systems
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
PDF of Three-valued abstraction for probabilistic systems RWTH record for Three-valued abstraction for probabilistic systems BibTeX for Three-valued abstraction for probabilistic systems
Technical report
Bisimulation and logical preservation for continuous-time Markov decision processes
Martin R. Neuhäußer, Joost-Pieter Katoen
PDF of Bisimulation and logical preservation for continuous-time Markov decision processes 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

2006

Journal article
Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST)
Giuliana Franceschinis, Joost-Pieter Katoen, Murray Woodside
IEEE transactions on software engineering
RWTH record for Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST)BibTeX for Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST)
Journal article
Message-passing automata are expressively equivalent to EMSO logic
Benedikt Bollig, Martin Leucker
Theoretical computer science
RWTH record for Message-passing automata are expressively equivalent to EMSO logic BibTeX for Message-passing automata are expressively equivalent to EMSO logic
Journal article
Bounded model checking with parametric data structures
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Electronic notes in theoretical computer science
RWTH record for Bounded model checking with parametric data structures BibTeX for Bounded model checking with parametric data structures
Journal article
Optimization of straight-line code revisited
Thomas Noll, Stefan Rieger
Softwaretechnik-Trends
PDF of Optimization of straight-line code revisited RWTH record for Optimization of straight-line code revisited BibTeX for Optimization of straight-line code revisited
Conference paper
Probably on time and within budget : on reachability in priced probabilistic timed automata
Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen
Third International Conference on the Quantitative Evaluation of Systems
RWTH record for Probably on time and within budget : on reachability in priced probabilistic timed automata BibTeX for Probably on time and within budget : on reachability in priced probabilistic timed automata
Conference paper
Safe on-the-fly steady-state detection for time-bounded reachability
Joost-Pieter Katoen, Ivan S. Zapreev
Third International Conference on the Quantitative Evaluation of Systems
RWTH record for Safe on-the-fly steady-state detection for time-bounded reachability BibTeX for Safe on-the-fly steady-state detection for time-bounded reachability
Journal article
Towards a logic for performance and mobility
Rocco de Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
Electronic notes in theoretical computer science
RWTH record for Towards a logic for performance and mobility BibTeX for Towards a logic for performance and mobility
Journal article
YMCA : why Markov chain algebra?
Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen
Electronic notes in theoretical computer science
RWTH record for YMCA : why Markov chain algebra?BibTeX for YMCA : why Markov chain algebra?
Journal article
MoDeST : a compositional modeling formalism for real-time and stochastic systems
Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
IEEE transactions on software engineering
RWTH record for MoDeST : a compositional modeling formalism for real-time and stochastic systems BibTeX for MoDeST : a compositional modeling formalism for real-time and stochastic systems
Journal article
Algebraic correctness proofs for compiling recursive function definitions with strictness information
Klaus Indermark, Thomas Noll
Acta informatica
RWTH record for Algebraic correctness proofs for compiling recursive function definitions with strictness information BibTeX for Algebraic correctness proofs for compiling recursive function definitions with strictness information
Conference paper
On the Markovian randomized strategy of controller for Markov decision processes
Taolue Chen, Tingting Han, Jian Lu
Fuzzy systems and knowledge discovery
RWTH record for On the Markovian randomized strategy of controller for Markov decision processes BibTeX for On the Markovian randomized strategy of controller for Markov decision processes
Conference paper
Tracechecks: Defining semantic interfaces with temporal logic
Eric Bodden, Volker Stolz
Software Composition
RWTH record for Tracechecks: Defining semantic interfaces with temporal logic BibTeX for Tracechecks: Defining semantic interfaces with temporal logic
Conference paper
Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann
Term rewriting and applications
RWTH record for Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages BibTeX for Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
Conference paper
Memory-aware bounded model checking for linear hybrid systems
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
RWTH record for Memory-aware bounded model checking for linear hybrid systems BibTeX for Memory-aware bounded model checking for linear hybrid systems
Conference paper
Dynamic heap-abstraction for open, object-oriented systems with thread classes
Erika Ábrahám, Andreas Grüner, Martin Steffen
Logical approaches to computational barriers
RWTH record for Dynamic heap-abstraction for open, object-oriented systems with thread classes BibTeX for Dynamic heap-abstraction for open, object-oriented systems with thread classes
Conference paper
Abstract interface behavior of object-oriented languages with monitors
Erika Ábrahám, Andreas Grüner, Martin Steffen
Formal methods for open object-based distributed systems
RWTH record for Abstract interface behavior of object-oriented languages with monitors BibTeX for Abstract interface behavior of object-oriented languages with monitors
Conference paper
Towards automatic verification of Erlang programs by pi-calculus translation
Thomas Noll, Chanchal Kumar Roy
Proceedings of the ACM SIGPLAN Workshop on Generic Programming 2006
RWTH record for Towards automatic verification of Erlang programs by pi-calculus translation BibTeX for Towards automatic verification of Erlang programs by pi-calculus translation
Conference paper
MSCan : a tool for analyzing MSC specifications
Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz
Tools and algorithms for the construction and analysis of systems
RWTH record for MSCan : a tool for analyzing MSC specifications BibTeX for MSCan : a tool for analyzing MSC specifications
Conference paper
Safety and liveness in concurrent pointer programs
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
Formal methods for components and objects
RWTH record for Safety and liveness in concurrent pointer programs BibTeX for Safety and liveness in concurrent pointer programs