Talks by Thomas Noll

2019
Download
[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.
Download
[bibtex]
Thomas Noll. Synthesising and Optimising FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2019.
2018
Download
[bibtex]
Thomas Noll. Synthesizing FDIR Recovery Strategies from Dynamic Fault Trees, Talk at D-CON 2018, Darmstadt, Germany, 2018.
Download
[bibtex]
Thomas Noll. Symbolic Liveness Analysis of Real-World Software, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2018.
Show all