Publications

2016

Journal article
Satisfiability checking and symbolic computation
Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England
ACM Communications in computer algebra
RWTH record for Satisfiability checking and symbolic computation BibTeX for Satisfiability checking and symbolic computation
Preprint
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
PDF of Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic RWTH record for Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic BibTeX for Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
Conference paper
Probabilistic Verification for Cognitive Models
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
[Cross-Disciplinary Challenges for Autonomous Systems
RWTH record for Probabilistic Verification for Cognitive Models BibTeX for Probabilistic Verification for Cognitive Models
Conference paper
Catalogue of System and Software Properties
Victor Bos, Harold Yorick Bruintjes, Stefano Tonetta
Computer safety, reliability, and security
RWTH record for Catalogue of System and Software Properties BibTeX for Catalogue of System and Software Properties
Conference paper
Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates
Matthias Volk, Sebastian Junges, Joost-Pieter Katoen
Computer safety, reliability, and security
RWTH record for Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates BibTeX for Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates
Conference paper
Uncovering Dynamic Fault Trees
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga
DSN 2016
RWTH record for Uncovering Dynamic Fault Trees BibTeX for Uncovering Dynamic Fault Trees
Conference paper
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Beron
Programming languages and systems
RWTH record for Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs BibTeX for Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
Conference paper
Safety-constrained Reinforcement Learning for MDPs
Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
Tools and algorithms for the construction and analysis of systems
RWTH record for Safety-constrained Reinforcement Learning for MDPs BibTeX for Safety-constrained Reinforcement Learning for MDPs
Conference paper
On the Semantic Intricacies of Conditioning
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron
[1st Workshop on Probabilistic Programming Semantics, PPS 2016, 20.01.2016-23.01.2016, St. Petersburg, Florida, USA
PDF of On the Semantic Intricacies of Conditioning RWTH record for On the Semantic Intricacies of Conditioning BibTeX for On the Semantic Intricacies of Conditioning
Journal article
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
Joost-Pieter Katoen, Hao Wu
ACM Transactions on Embedded Computing Systems
RWTH record for Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow BibTeX for Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
Conference paper
Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks
Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross
2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016)
RWTH record for Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks BibTeX for Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks
Journal article
Confluence reduction for Markov automata
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
Theoretical computer science
RWTH record for Confluence reduction for Markov automata BibTeX for Confluence reduction for Markov automata
Conference paper
Parameter synthesis for probabilistic systems
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
MBMV 2016
PDF of Parameter synthesis for probabilistic systems RWTH record for Parameter synthesis for probabilistic systems BibTeX for Parameter synthesis for probabilistic systems
Conference paper
Bounded Model Checking for Probabilistic Programs
Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
Automated Technology for Verification and Analysis
RWTH record for Bounded Model Checking for Probabilistic Programs BibTeX for Bounded Model Checking for Probabilistic Programs
Conference paper
Parameter Synthesis for Markov Models: Faster Than Ever
Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Automated Technology for Verification and Analysis
RWTH record for Parameter Synthesis for Markov Models: Faster Than Ever BibTeX for Parameter Synthesis for Markov Models: Faster Than Ever
Conference paper
Performance Evaluation of Concurrent Data Structures
Hao Wu, Xiaoxiao Yang, Joost-Pieter Katoen
Dependable software engineering
RWTH record for Performance Evaluation of Concurrent Data Structures BibTeX for Performance Evaluation of Concurrent Data Structures
Conference paper
Inferring Covariances for Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Quantitative evaluation of systems
RWTH record for Inferring Covariances for Probabilistic Programs BibTeX for Inferring Covariances for Probabilistic Programs
Conference paper
Reasoning about Recursive Probabilistic Programs
Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016)
RWTH record for Reasoning about Recursive Probabilistic Programs BibTeX for Reasoning about Recursive Probabilistic Programs
Conference paper
On the Satisfiability of Some Simple Probabilistic Logics
Souymodip Chakraborty, Joost-Pieter Katoen
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016)
RWTH record for On the Satisfiability of Some Simple Probabilistic Logics BibTeX for On the Satisfiability of Some Simple Probabilistic Logics
Conference paper
The Probabilistic Model Checking Landscape
Joost-Pieter Katoen
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016)
RWTH record for The Probabilistic Model Checking Landscape BibTeX for The Probabilistic Model Checking Landscape
Journal article
Many-core on-the-fly model checking of safety properties using GPUs
Anton J. Wijs, Dragan Bošnački
International journal on software tools for technology transfer
PDF of Many-core on-the-fly model checking of safety properties using GPUs RWTH record for Many-core on-the-fly model checking of safety properties using GPUs BibTeX for Many-core on-the-fly model checking of safety properties using GPUs
Journal article
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački
Formal methods in system design
PDF of Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components RWTH record for Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components BibTeX for Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
Journal article
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
IMA journal of mathematical control and information
RWTH record for Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis BibTeX for Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
Journal article
Observable Interface Behaviour and Inheritance
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen
Mathematical structures in computer science
RWTH record for Observable Interface Behaviour and Inheritance BibTeX for Observable Interface Behaviour and Inheritance

2015

Conference paper
Learning-based Control Strategies for Hybrid Electric Vehicles
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger
2015 IEEE Conference on Control Applications (CCA 2015)
RWTH record for Learning-based Control Strategies for Hybrid Electric Vehicles BibTeX for Learning-based Control Strategies for Hybrid Electric Vehicles