| 2020 | |
|---|---|
  [bibtex] | Thomas Noll. Modular Synthesis of FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2020. |
| 2019 | |
[bibtex] | Thomas Noll. Quantitative Separation Logic: A Logic for Reasoning about Probabilistic Pointer Programs, Talk at WIAI-Fakultätskolloquium, Universität Bamberg, Germany, 2019. |
[bibtex] | Hannah Mertens. Repairs in Dynamic Fault Trees: a Petri net semantics, Bachelor thesis presentation at RWTH Aachen University, 2019. |
[bibtex] | Benjamin Lucien Kaminski. Reasoning about Expected Runtimes of Probabilistic Programs (and Quantitative Separation Logic), Talk at Schloss Dagstuhl, 2019. |
[bibtex] | Benjamin Lucien Kaminski. Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs, Talk at Highlights of Logic, Games and Automata, 2019. |
[bibtex] | Matthias Volk. Formal Verification of Rewriting Rules for Dynamic Fault Trees, Talk at SEFM Conference, Oslo, Norway, 2019. |
[bibtex] | Matthias Volk. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, Talk at FMICS Conference, Amsterdam, The Netherlands, 2019. |
[bibtex] | Norman Weik, Matthias Volk. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, Talk at UnRAVeL bi-weekly meeting at RWTH Aachen University, 2019. |
[bibtex] | Thomas Noll. COMPASS 3.0, Talk at 25th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 2019. |
[bibtex] | Benjamin Lucien Kaminski. Advanced Weakest Precondition Calculi for Probabilistic Programs, Talk at PhD Defense, Aachen, 2019. |
[bibtex] | Lukas Westhofen. Formal Verification of Industrial C Code, Master thesis presentation at RWTH Aachen University, 2019. |
[bibtex] | Lyudmila Vatskicheva. Using Simulation to Improve the Precision of Hybrid Systems Reachability Analysis, Bachelor thesis presentation at RWTH Aachen University, 2019. |
[bibtex] | Marwa Maghnie. Simulation and Optimization of Offshore Wind Farms, Master thesis presentation at RWTH Aachen University, 2019. |
[bibtex] | Leon Rabanus. Solving Planning Problems with Success Probabilities Using SMT, Bachelor thesis presentation at RWTH Aachen University, 2019. |
[bibtex] | Mahsa Shirmohammadi (CNRS & IRIF, France). On the Complexity of Value Iteration, Talk at RWTH Aachen University, 2019. |
[bibtex] | Thomas Noll. Synthesising and Optimising FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2019. |
[bibtex] | Christoph Matheja. Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs, Talk at RWTH Aachen University, 2019. |
[bibtex] | Thomas Ströder. Symbolic Execution and Program Synthesis: A General Methodology for Software Verification, PhD defense at RWTH Aachen University, 2019. |
[bibtex] | Stefan Schupp. State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems, Talk at PhD defense, Aachen, 2019. |
| Show all | |