Publications

2013

Conference paper
A Semantics for Every GSPN
Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang
Application and theory of Petri nets and concurrency
RWTH record for A Semantics for Every GSPN BibTeX for A Semantics for Every GSPN
Conference paper
Modelling, Reduction and Analysis of Markov Automata
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Quantitative evaluation of systems
RWTH record for Modelling, Reduction and Analysis of Markov Automata BibTeX for Modelling, Reduction and Analysis of Markov Automata
Journal article
Coarse abstractions make Zeno behaviours difficult to detect
Frédéric Herbreteau, B. Srivathsan
Logical methods in computer science
PDF of Coarse abstractions make Zeno behaviours difficult to detect RWTH record for Coarse abstractions make Zeno behaviours difficult to detect BibTeX for Coarse abstractions make Zeno behaviours difficult to detect

2012

Conference paper
Weighted Lumpability on Markov Chains
Arpit Sharma, Joost-Pieter Katoen
Perspectives of system informatics
RWTH record for Weighted Lumpability on Markov Chains BibTeX for Weighted Lumpability on Markov Chains
Conference paper
Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
RWTH record for Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties BibTeX for Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties
Conference paper
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
Etienne Lozes, Florent Jacquemard, Jules Villard, Ralf Treinen
Theory of security and applications
RWTH record for Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus BibTeX for Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
Conference paper
Better abstractions for timed automata
Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz
2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS), 25-28 June, Dubrovnik, Croatia
RWTH record for Better abstractions for timed automata BibTeX for Better abstractions for timed automata
Conference paper
Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language
Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST), London, UK 17-20 September 2012,
RWTH record for Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language BibTeX for Operational versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language
Conference paper
GSPNs Revisited: Simple Semantics and New Analysis Algorithms
Joost-Pieter Katoen
12th International Conference on Application of Concurrency to System Design - ACSD 2012, Hamburg, June 25-29, 2012
RWTH record for GSPNs Revisited: Simple Semantics and New Analysis Algorithms BibTeX for GSPNs Revisited: Simple Semantics and New Analysis Algorithms
Conference paper
Compositional Abstraction Techniques for Probabilistic Automata
Falak Sher, Joost-Pieter Katoen
Theoretical computer science
RWTH record for Compositional Abstraction Techniques for Probabilistic Automata BibTeX for Compositional Abstraction Techniques for Probabilistic Automata
Conference paper
Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite
Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
2012 34th International Conference on Software Engineering (ICSE 2012)
RWTH record for Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite BibTeX for Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite
Conference paper
Computing Game Metrics on Markov Decision Processes
Hongfei Fu
Automata, languages, and programming
RWTH record for Computing Game Metrics on Markov Decision Processes BibTeX for Computing Game Metrics on Markov Decision Processes
Conference paper
Robust PCTL Model Checking
Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen
Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control
RWTH record for Robust PCTL Model Checking BibTeX for Robust PCTL Model Checking
Conference paper
Efficient Modelling and Generation of Markov Automata
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga
CONCUR 2012 - concurrency theory
RWTH record for Efficient Modelling and Generation of Markov Automata BibTeX for Efficient Modelling and Generation of Markov Automata
Conference paper
Juggrnaut - An Abstract JVM
Jonathan Heinen, Christina Jansen, Henrik Barthels
Formal verification of object-oriented software
RWTH record for Juggrnaut - An Abstract JVM BibTeX for Juggrnaut - An Abstract JVM
Technical report
Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
PDF of Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes RWTH record for Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes BibTeX for Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes
Journal article
An alternate proof of Statman's finite completeness theorem
Balaguru Srivathsan, Igor Walukiewicz
Information processing letters
RWTH record for An alternate proof of Statman's finite completeness theorem BibTeX for An alternate proof of Statman's finite completeness theorem
Journal article
Efficient emptiness check for timed Büchi automata
Frédéric Herbreteau, Balaguru Srivathsan, Igor Walukiewicz
Formal methods in system design
RWTH record for Efficient emptiness check for timed Büchi automata BibTeX for Efficient emptiness check for timed Büchi automata
Journal article
Correctness, Safety and Fault Tolerance in Aerospace Systems : The ESA COMPASS Project
Thomas Noll
Dagstuhl reports
RWTH record for Correctness, Safety and Fault Tolerance in Aerospace Systems : The ESA COMPASS Project BibTeX for Correctness, Safety and Fault Tolerance in Aerospace Systems : The ESA COMPASS Project
Journal article
Layered Reasoning for Randomized Distributed Algorithms
Mani Swaminathan, Joost-Pieter Katoen, Ernst-Rüdiger Olderog
Formal aspects of computing
RWTH record for Layered Reasoning for Randomized Distributed Algorithms BibTeX for Layered Reasoning for Randomized Distributed Algorithms
Journal article
Three-Valued Abstraction for Probabilistic Systems
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
The journal of logic and algebraic programming
RWTH record for Three-Valued Abstraction for Probabilistic Systems BibTeX for Three-Valued Abstraction for Probabilistic Systems
Journal article
On the almighty wand
Rémi Brochenin, Stéphane Demri, Etienne Lozes
Information and computation
RWTH record for On the almighty wand BibTeX for On the almighty wand
Journal article
A linear process-algebraic format with data for probabilistic automata
Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
Theoretical computer science
RWTH record for A linear process-algebraic format with data for probabilistic automata BibTeX for A linear process-algebraic format with data for probabilistic automata
Conference paper
A Native Approach to Modeling Timed Behavior in the Pi-Calculus
Kamal Barakat, Stefan Kowalewski, Thomas Noll
IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering
RWTH record for A Native Approach to Modeling Timed Behavior in the Pi-Calculus BibTeX for A Native Approach to Modeling Timed Behavior in the Pi-Calculus
Conference paper
Quantitative Timed Analysis of Interactive Markov Chains
Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer
NASA formal methods
RWTH record for Quantitative Timed Analysis of Interactive Markov Chains BibTeX for Quantitative Timed Analysis of Interactive Markov Chains