Publications

2011

Conference paper
GiNaCRA: A C++ Library for Real Algebraic Computations
Ulrich Loup, Erika Ábrahám
NASA formal methods
RWTH record for GiNaCRA: A C++ Library for Real Algebraic Computations BibTeX for GiNaCRA: A C++ Library for Real Algebraic Computations
Conference paper
Automatic Test-Case Derivation and Execution in Industrial Control
Sabrina von Styp, Gustavo Quirós, Liyong Yu
iATPA 2011
RWTH record for Automatic Test-Case Derivation and Execution in Industrial Control BibTeX for Automatic Test-Case Derivation and Execution in Industrial Control
Conference paper
On collaboratively conveying computer science to pupils
Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
RWTH record for On collaboratively conveying computer science to pupils BibTeX for On collaboratively conveying computer science to pupils
Conference paper
Granularity and concurrent separation logic
J. Hayman
CONCUR 2011 - concurrency theory
RWTH record for Granularity and concurrent separation logic BibTeX for Granularity and concurrent separation logic
Conference paper
Reduction of Interrupt Handler Executions for Model Checking Embedded Software
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
Hardware and software: verification and testing
RWTH record for Reduction of Interrupt Handler Executions for Model Checking Embedded Software BibTeX for Reduction of Interrupt Handler Executions for Model Checking Embedded Software
Conference paper
Observing Continuous-Time MDPs by 1-Clock Timed Automata
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Reachability problems
RWTH record for Observing Continuous-Time MDPs by 1-Clock Timed Automata BibTeX for Observing Continuous-Time MDPs by 1-Clock Timed Automata
Conference paper
I-RiSC : an SMT-Compliant Solver for the Existential Fragment of Real Algebra
Ulrich Loup, Erika Ábrahám
Algebraic informatics
RWTH record for I-RiSC : an SMT-Compliant Solver for the Existential Fragment of Real Algebra BibTeX for I-RiSC : an SMT-Compliant Solver for the Existential Fragment of Real Algebra
Conference paper
Towards trustworthy aerospace systems: an experience report
Joost-Pieter Katoen
Formal methods for industrial critical systems
RWTH record for Towards trustworthy aerospace systems: an experience report BibTeX for Towards trustworthy aerospace systems: an experience report
Proceedings
CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings
Springer
RWTH record for CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings BibTeX for CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings

2010

Journal article
Approximate model checking of stochastic hybrid systems
Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini
European journal of control
RWTH record for Approximate model checking of stochastic hybrid systems BibTeX for Approximate model checking of stochastic hybrid systems
Journal article
Performability Assessment by Model Checking of Markov Reward Models
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Formal methods in system design
RWTH record for Performability Assessment by Model Checking of Markov Reward Models BibTeX for Performability Assessment by Model Checking of Markov Reward Models
Journal article
Performance Evaluation and Model Checking Join Forces
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Communications of the ACM
RWTH record for Performance Evaluation and Model Checking Join Forces BibTeX for Performance Evaluation and Model Checking Join Forces
Journal article
Learning Communicating Automata from MSCs
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
IEEE transactions on software engineering
RWTH record for Learning Communicating Automata from MSCs BibTeX for Learning Communicating Automata from MSCs
Journal article
SMA: The Smyle Modeling Approach
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Computing and informatics
RWTH record for SMA: The Smyle Modeling Approach BibTeX for SMA: The Smyle Modeling Approach
Journal article
Safety, Dependability, and Performance Analysis of Extended AADL Models
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Computer journal
RWTH record for Safety, Dependability, and Performance Analysis of Extended AADL Models BibTeX for Safety, Dependability, and Performance Analysis of Extended AADL Models
Journal article
Computing Optimal Schedules for Battery Usage in Embedded Systems
Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
IEEE transactions on industrial informatics
RWTH record for Computing Optimal Schedules for Battery Usage in Embedded Systems BibTeX for Computing Optimal Schedules for Battery Usage in Embedded Systems
Journal article
Synthesis and Stochastic Assessment of Cost-Optimal Schedules
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns
International journal on software tools for technology transfer
RWTH record for Synthesis and Stochastic Assessment of Cost-Optimal Schedules BibTeX for Synthesis and Stochastic Assessment of Cost-Optimal Schedules
Conference paper
Loop Refinement using Octagons and Satisfiability
Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll
SSV'10
RWTH record for Loop Refinement using Octagons and Satisfiability BibTeX for Loop Refinement using Octagons and Satisfiability
Conference paper
A Model Checker for AADL
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
Computer aided verification
RWTH record for A Model Checker for AADL BibTeX for A Model Checker for AADL
Conference paper
Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software
Jörg Brauer, Thomas Noll, Bastian Schlich
SCOPES '10 Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
RWTH record for Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software BibTeX for Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software
Conference paper
The How and Why of Interactive Markov Chains
Holger Hermanns, Joost-Pieter Katoen
Formal methods for components and objects
RWTH record for The How and Why of Interactive Markov Chains BibTeX for The How and Why of Interactive Markov Chains
Conference paper
A Linear Process Algebraic Format for Probabilistic Systems with Data
Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer
Tenth International Conference on Application of Concurrency to System Design
RWTH record for A Linear Process Algebraic Format for Probabilistic Systems with Data BibTeX for A Linear Process Algebraic Format for Probabilistic Systems with Data
Conference paper
Advances in Probabilistic Model Checking
Joost-Pieter Katoen
Verification, model checking, and abstract interpretation
RWTH record for Advances in Probabilistic Model Checking BibTeX for Advances in Probabilistic Model Checking
Conference paper
Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll Morgan
Static analysis
RWTH record for Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods BibTeX for Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods
Conference paper
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes
Martin R. Neuhäußer, Lijun Zhang
Proceedings
RWTH record for Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes BibTeX for Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes