Publications

2015

• Conference paper

  Security Type Checking for MILS-AADL Specifications

  Kevin Van der Pol, Thomas Noll

  RWTH record for Security Type Checking for MILS-AADL SpecificationsBibTeX for Security Type Checking for MILS-AADL Specifications
• Conference paper

  Probabilistic Programs - A Natural Model for Approximate Computations

  Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo

  [Workshop on Approximate Computing, AC15, 2015-10-15 - 2015-10-16, Paderborn, Germany]

  RWTH record for Probabilistic Programs - A Natural Model for Approximate ComputationsBibTeX for Probabilistic Programs - A Natural Model for Approximate Computations
• Conference paper

  P-Automata for Markov Decision Processes

  Souymodip Chakraborty, Joost-Pieter Katoen

  [3rd International Workshop on Strategic Reasoning. J. Gutierrez, F. Mogavero, A. Murano, and M. Wooldridge (Eds.)]

  RWTH record for P-Automata for Markov Decision ProcessesBibTeX for P-Automata for Markov Decision Processes
• Conference paper

  IC3 Software Model Checking on Control Flow Automata

  Tim Lange, Martin R. Neuhäußer, Thomas Noll

  Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015)

  PDF of IC3 Software Model Checking on Control Flow AutomataRWTH record for IC3 Software Model Checking on Control Flow AutomataBibTeX for IC3 Software Model Checking on Control Flow Automata
• Conference paper

  Security Type Checking for MILS-AADL Specifications

  Kevin Van der Pol, Thomas Noll

  [International Workshop on MILS: Architecture and Assurance for Secure Systems, 20.01.2015-20.01.2015, Amsterdam, Netherlands]

  RWTH record for Security Type Checking for MILS-AADL SpecificationsBibTeX for Security Type Checking for MILS-AADL Specifications
• Conference paper

  Tree-Like Grammars and Separation Logic

  Christoph Matheja, Christina Jansen, Thomas Noll

  Programming languages and systems

  RWTH record for Tree-Like Grammars and Separation LogicBibTeX for Tree-Like Grammars and Separation Logic
• Conference paper

  Compositional Analysis Using Component-Oriented Interpolation

  Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll

  Formal aspects of component software

  RWTH record for Compositional Analysis Using Component-Oriented InterpolationBibTeX for Compositional Analysis Using Component-Oriented Interpolation
• Conference paper

  Understanding Probabilistic Programs

  Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron

  Correct system design

  RWTH record for Understanding Probabilistic ProgramsBibTeX for Understanding Probabilistic Programs
• Journal article

  Juggrnaut: using graph grammars for abstracting unbounded heap structures

  Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll

  Formal methods in system design

  RWTH record for Juggrnaut: using graph grammars for abstracting unbounded heap structuresBibTeX for Juggrnaut: using graph grammars for abstracting unbounded heap structures
• Conference paper

  Fault Trees on a Diet

  Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga

  Dependable Software Engineering: Theories, Tools, and Applications

  RWTH record for Fault Trees on a DietBibTeX for Fault Trees on a Diet
• Conference paper

  On the Hardness of Almost–Sure Termination

  Benjamin Lucien Kaminski, Joost-Pieter Katoen

  Mathematical foundations of computer science 2015

  RWTH record for On the Hardness of Almost–Sure TerminationBibTeX for On the Hardness of Almost–Sure Termination
• Conference paper

  Probabilistic Programming: A True Verification Challenge

  Joost-Pieter Katoen

  Automated Technology for Verification and Analysis

  RWTH record for Probabilistic Programming: A True Verification ChallengeBibTeX for Probabilistic Programming: A True Verification Challenge
• Journal article

  Conditioning in Probabilistic Programming

  Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver

  Electronic notes in theoretical computer science

  PDF of Conditioning in Probabilistic ProgrammingRWTH record for Conditioning in Probabilistic ProgrammingBibTeX for Conditioning in Probabilistic Programming
• Conference paper

  A Statistical Approach for Timed Reachability in AADL Models

  Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens

  2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015)

  RWTH record for A Statistical Approach for Timed Reachability in AADL ModelsBibTeX for A Statistical Approach for Timed Reachability in AADL Models
• Conference paper

  Preparing HPC Applications for Exascale: Challenges and Recommendations

  Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit

  Proceedings

  RWTH record for Preparing HPC Applications for Exascale: Challenges and RecommendationsBibTeX for Preparing HPC Applications for Exascale: Challenges and Recommendations
• Conference paper

  Online Lernen als Kontrollstrategie in Hybridfahrzeugen

  Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, Dirk Abel

  Autoreg 2015

  RWTH record for Online Lernen als Kontrollstrategie in HybridfahrzeugenBibTeX for Online Lernen als Kontrollstrategie in Hybridfahrzeugen
• Preprint

  Challenges and Recommendations for Preparing HPC Applications for Exascale

  Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit

  PDF of Challenges and Recommendations for Preparing HPC Applications for ExascaleRWTH record for Challenges and Recommendations for Preparing HPC Applications for ExascaleBibTeX for Challenges and Recommendations for Preparing HPC Applications for Exascale
• Conference paper

  Flow* 1.2: More Effective to Play with Hybrid Systems

  Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám

  ARCH14-15. 1st and 2nd International Workshop on Applied veRication for Continuous and Hybrid Systems

  RWTH record for Flow* 1.2: More Effective to Play with Hybrid SystemsBibTeX for Flow* 1.2: More Effective to Play with Hybrid Systems
• Conference paper

  Current Challenges in the Verification of Hybrid Systems

  Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

  Cyber physical systems

  RWTH record for Current Challenges in the Verification of Hybrid SystemsBibTeX for Current Challenges in the Verification of Hybrid Systems
• Conference paper

  PROPhESY : A PRObabilistic ParamEter SYnthesis Tool

  Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám

  Computer aided verification

  RWTH record for PROPhESY : A PRObabilistic ParamEter SYnthesis ToolBibTeX for PROPhESY : A PRObabilistic ParamEter SYnthesis Tool
• Conference paper

  A Greedy Approach for the Efficient Repair of Stochastic Models

  Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen

  NASA Formal Methods

  RWTH record for A Greedy Approach for the Efficient Repair of Stochastic ModelsBibTeX for A Greedy Approach for the Efficient Repair of Stochastic Models
• Conference paper

  Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

  Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen

  Formal modeling and analysis of timed systems

  RWTH record for Multi-objective Parameter Synthesis in Probabilistic Hybrid SystemsBibTeX for Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems
• Conference paper

  Model Checking of Open Interval Markov Chains

  Souymodip Chakraborty, Joost-Pieter Katoen

  Analytical and stochastic modelling techniques and applications

  RWTH record for Model Checking of Open Interval Markov ChainsBibTeX for Model Checking of Open Interval Markov Chains
• Conference paper

  Counterexamples for Expected Rewards

  Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

  FM 2015: formal methods

  RWTH record for Counterexamples for Expected RewardsBibTeX for Counterexamples for Expected Rewards
• Journal article

  High-level Counterexamples for Probabilistic Automata

  Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen

  Logical methods in computer science

  PDF of High-level Counterexamples for Probabilistic AutomataRWTH record for High-level Counterexamples for Probabilistic AutomataBibTeX for High-level Counterexamples for Probabilistic Automata