Talks by Thomas Noll

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.
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]
Thomas Noll. Synthesising and Optimising FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2019.
Show all