Publications

2009

Conference paper
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Computer safety, reliability, and security
RWTH record for The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems BibTeX for The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
Conference paper
MoonWalker: Verification of .NET Programs
Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
Tools and algorithms for the construction and analysis of systems
RWTH record for MoonWalker: Verification of .NET Programs BibTeX for MoonWalker: Verification of .NET Programs
Technical report
Time-Bounded Reachability in Continuous-Time Markov Decision Processes
Martin R. Neuhäußer, Lijun Zhang
PDF of Time-Bounded Reachability in Continuous-Time Markov Decision Processes RWTH record for Time-Bounded Reachability in Continuous-Time Markov Decision Processes BibTeX for Time-Bounded Reachability in Continuous-Time Markov Decision Processes
Technical report
Compositional Abstraction for Stochastic Systems
Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
PDF of Compositional Abstraction for Stochastic Systems RWTH record for Compositional Abstraction for Stochastic Systems BibTeX for Compositional Abstraction for Stochastic Systems
Technical report
Quantitative model checking of continuous-time Markov chains against timed automata specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
PDF of Quantitative model checking of continuous-time Markov chains against timed automata specifications 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

2008

Journal article
Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs
B. Neumann, T. von Sydow, Holger Blume, Tobias G. Noll
Journal of signal processing systems for signal, image, and video technology
RWTH record for Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs BibTeX for Application domain specific embedded FPGAs for flexible ISA-extension of ASIPs
Journal article
Equational Abstractions for Reducing the State Space of Rewrite Theories
Lars Helge Haß, Thomas Noll
Electronic notes in theoretical computer science
RWTH record for Equational Abstractions for Reducing the State Space of Rewrite Theories BibTeX for Equational Abstractions for Reducing the State Space of Rewrite Theories
Journal article
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, David N. Jansen
Logical methods in computer science
RWTH record for Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations BibTeX for Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Journal article
Proving correctness of an efficient abstraction for interrupt handling
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
Electronic notes in theoretical computer science
RWTH record for Proving correctness of an efficient abstraction for interrupt handling BibTeX for Proving correctness of an efficient abstraction for interrupt handling
Conference paper
Non-termination checking for imperative programs
Helga Velroyen, Philipp Rummer
Tests and proofs
RWTH record for Non-termination checking for imperative programs BibTeX for Non-termination checking for imperative programs
Conference paper
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift
Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
RWTH record for The Surprising Robustness of (Closed) Timed Automata against Clock-Drift BibTeX for The Surprising Robustness of (Closed) Timed Automata against Clock-Drift
Conference paper
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
Joost-Pieter Katoen
Design, automation and test in Europe, 2008
RWTH record for Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques BibTeX for Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
Conference paper
Perspectives in Probabilistic Verification
Joost-Pieter Katoen
Proceedings
RWTH record for Perspectives in Probabilistic Verification BibTeX for Perspectives in Probabilistic Verification
Conference paper
How to model and analyze gossiping protocols?
Joost-Pieter Katoen
SIGMETRICS'08
RWTH record for How to model and analyze gossiping protocols?BibTeX for How to model and analyze gossiping protocols?
Conference paper
Approximate parameter synthesis for probabilistic time-bounded reachability
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Proceedings
RWTH record for Approximate parameter synthesis for probabilistic time-bounded reachability BibTeX for Approximate parameter synthesis for probabilistic time-bounded reachability
Conference paper
Regular Expressions for PCTL Counterexamples
Berteun Damman, Tingting Han, Joost-Pieter Katoen
Quantitative evaluation of systems
RWTH record for Regular Expressions for PCTL Counterexamples BibTeX for Regular Expressions for PCTL Counterexamples
Conference paper
Time-Abstracting Bisimulation for Probabilistic Timed Automata
Taolue Chen, Tingting Han, Joost-Pieter Katoen
Proceedings
RWTH record for Time-Abstracting Bisimulation for Probabilistic Timed Automata BibTeX for Time-Abstracting Bisimulation for Probabilistic Timed Automata
Conference paper
Symmetry reduction for stochastic hybrid systems
Manuela Bujorianu, Joost-Pieter Katoen
2008 47th IEEE Conference on Decision and Control
RWTH record for Symmetry reduction for stochastic hybrid systems BibTeX for Symmetry reduction for stochastic hybrid systems
Conference paper
Quantitative Testing
Henrik Bohnenkamp, Marielle Stoelinga
Embedded Systems Week 2008
RWTH record for Quantitative Testing BibTeX for Quantitative Testing
Book
Principles of model checking
Christel Baier, Joost-Pieter Katoen
MIT Press
RWTH record for Principles of model checking BibTeX for Principles of model checking
Conference paper
Abstracting Complex Data Structures by Hyperedge Replacement
Stefan Rieger, Thomas Noll
Graph transformations
RWTH record for Abstracting Complex Data Structures by Hyperedge Replacement BibTeX for Abstracting Complex Data Structures by Hyperedge Replacement
Conference paper
Verifying Dynamic Pointer-Manipulating Threads
Thomas Noll, Stefan Rieger
FM 2008: formal methods
RWTH record for Verifying Dynamic Pointer-Manipulating Threads BibTeX for Verifying Dynamic Pointer-Manipulating Threads
Conference paper
Incremental Hashing for SPIN
Viet Yen Nguyen, Theo C. Ruys
Model checking software
RWTH record for Incremental Hashing for SPIN BibTeX for Incremental Hashing for SPIN
Conference paper
Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains
Joost-Pieter Katoen, Alexandru Mereacre
Formal modeling and analysis of timed systems
RWTH record for Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains BibTeX for Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains
Conference paper
Abstraction for Stochastic Systems by Erlang's Method of Stages
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
CONCUR 2008 - concurrency theory
RWTH record for Abstraction for Stochastic Systems by Erlang's Method of Stages BibTeX for Abstraction for Stochastic Systems by Erlang's Method of Stages