Talks

2020
DownloadLink
[bibtex]
Thomas Noll. Modular Synthesis of FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2020.
2019
DownloadLink
[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.
DownloadLink
[bibtex]
Benjamin Lucien Kaminski. Reasoning about Expected Runtimes of Probabilistic Programs (and Quantitative Separation Logic), Talk at Schloss Dagstuhl, 2019.
DownloadLink
[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.
DownloadLink
[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.
DownloadLink
[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.
DownloadLink
[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