Publications

2006

Book chapter
Synthesis and stochastic assessment of cost-optimal schedules
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns
Technical Report
PDF of Synthesis and stochastic assessment of cost-optimal schedules RWTH record for Synthesis and stochastic assessment of cost-optimal schedules BibTeX for Synthesis and stochastic assessment of cost-optimal schedules
Technical report
Counterexamples in probabilistic model checking
Tingting Han, Joost-Pieter Katoen
PDF of Counterexamples in probabilistic model checking RWTH record for Counterexamples in probabilistic model checking BibTeX for Counterexamples in probabilistic model checking
Technical report
Replaying play in and play out : synthesis of design models from scenarios by learning
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
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

2005

Journal article
An Assertion-Based Proof System for Multithreaded Java
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
Theoretical computer science
RWTH record for An Assertion-Based Proof System for Multithreaded Java BibTeX for An Assertion-Based Proof System for Multithreaded Java
Journal article
Model checking meets performance evaluation
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance evaluation review
RWTH record for Model checking meets performance evaluation BibTeX for Model checking meets performance evaluation
Journal article
A theory of stochastic systems. Part II: Process algebra
Pedro R. D'Argenio, Joost-Pieter Katoen
Information and computation
RWTH record for A theory of stochastic systems. Part II: Process algebra BibTeX for A theory of stochastic systems. Part II: Process algebra
Journal article
Comparative branching-time semantics for Markov chains
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
Information and computation
RWTH record for Comparative branching-time semantics for Markov chains BibTeX for Comparative branching-time semantics for Markov chains
Journal article
A theory of stochastic systems. Part I: Stochastic automata
Pedro R. D'Argenio, Joost-Pieter Katoen
Information and computation
RWTH record for A theory of stochastic systems. Part I: Stochastic automata BibTeX for A theory of stochastic systems. Part I: Stochastic automata
Journal article
Functional programming languages for verification tools : a comparison of ML and Haskell
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
International journal on software tools for technology transfer
RWTH record for Functional programming languages for verification tools : a comparison of ML and Haskell BibTeX for Functional programming languages for verification tools : a comparison of ML and Haskell
Conference paper
On the expressiveness of asynchronous cellular automata
Benedikt Bollig
Fundamentals of computation theory
RWTH record for On the expressiveness of asynchronous cellular automata BibTeX for On the expressiveness of asynchronous cellular automata
Conference paper
A hierarchy of implementable MSC languages
Benedikt Bollig, Martin Leucker
Formal techniques for networked and distributed systems - FORTE 2005
RWTH record for A hierarchy of implementable MSC languages BibTeX for A hierarchy of implementable MSC languages
Conference paper
Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes
Erika Ábrahám, Andreas Grüner, Martin Steffen
COSMICAH 2005
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
Optimizing Bounded Model Checking for Linear Hybrid Systems
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
Verification, model checking, and abstract interpretation
RWTH record for Optimizing Bounded Model Checking for Linear Hybrid Systems BibTeX for Optimizing Bounded Model Checking for Linear Hybrid Systems
Conference paper
A Fully Abstract Trace Semantics for UML Components
Frank S. de Boer, Marcello Bonsangue, Martin Steffen, Erika Ábrahám
Formal methods for components and objects
RWTH record for A Fully Abstract Trace Semantics for UML Components BibTeX for A Fully Abstract Trace Semantics for UML Components
Conference paper
Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Andreas Grüner, Martin Steffen
Formal methods for components and objects
RWTH record for Observability, Connectivity, and Replay in a Sequential Calculus of Classes BibTeX for Observability, Connectivity, and Replay in a Sequential Calculus of Classes
Conference paper
Inductive Proof Outlines for Exceptions in Multithreaded Java
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005)
RWTH record for Inductive Proof Outlines for Exceptions in Multithreaded Java BibTeX for Inductive Proof Outlines for Exceptions in Multithreaded Java
Conference paper
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
Erika Ábrahám, Marcello Bonsangue, Frank S. de Boer, Martin Steffen
Theoretical aspects of computing - ICTAC 2004
RWTH record for Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes BibTeX for Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
Conference paper
Analysis and imlementations of MSC specifications
Carsten Kern
IFM2005 Doctoral Symposium on Integrated Formal Methods
PDF of Analysis and imlementations of MSC specifications RWTH record for Analysis and imlementations of MSC specifications BibTeX for Analysis and imlementations of MSC specifications
Conference paper
Model checking Markov reward models with impulse rewards
Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan
Proceedings
RWTH record for Model checking Markov reward models with impulse rewards BibTeX for Model checking Markov reward models with impulse rewards
Conference paper
Towards automatic verification of Erlang programs by pi-calculus translation
Thomas Noll, Chanchal Kumar Roy
Erlang 05
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
Modeling Erlang in the pi-Calculus
Thomas Noll, Chanchal Kumar Roy
Erlang 05
RWTH record for Modeling Erlang in the pi-Calculus BibTeX for Modeling Erlang in the pi-Calculus
Conference paper
A Markov reward model checker
Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev
Proceedings
RWTH record for A Markov reward model checker BibTeX for A Markov reward model checker
Conference paper
Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks
Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen
Proceedings
RWTH record for Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks BibTeX for Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks
Conference paper
Timed testing with TorX
Henrik Bohnenkamp, Axel Belinfante
Formal methods
RWTH record for Timed testing with TorX BibTeX for Timed testing with TorX
Journal article
Equational abstractions for model checking Erlang programs
Electronic notes in theoretical computer science
RWTH record for Equational abstractions for model checking Erlang programs BibTeX for Equational abstractions for model checking Erlang programs