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.
2018
DownloadLink
[bibtex]
Thomas Noll. Synthesizing FDIR Recovery Strategies from Dynamic Fault Trees, Talk at D-CON 2018, Darmstadt, Germany, 2018.
DownloadLink
[bibtex]
Thomas Noll. Symbolic Liveness Analysis of Real-World Software, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2018.
2017
DownloadLink
[bibtex]
Thomas Noll. Graph-Based Abstract Interpretation of Pointer Programs, Talk at NII Shonan Seminar on Analysis and Verification of Pointer Programs, Hayama, Japan, 2017.
DownloadLink
[bibtex]
Thomas Noll. Graph-Based Static Analysis of Concurrent Pointer Programs, Talk at WIAI-Fakultätskolloquium, Universität Bamberg, Germany, 2017.
DOILink
[bibtex]
Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MILS Workshop at embedded world Conference, Nuremberg, Germany, 2017.
DownloadLink
[bibtex]
Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2017.
2016
LinkLink
[bibtex]
Thomas Noll. Using Standard AADL for COMPASS, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
DownloadLink
[bibtex]
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at NII Shonan Seminar on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, Hayama, Japan, 2016.
DownloadLink
[bibtex]
Thomas Noll. Analysis of Concurrent Pointer Programs: Early Join of Permissions, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2016.
DownloadLink
[bibtex]
Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems using the COMPASS Toolset, Talk at 6th FMF Formal Methods Day, Toulouse, France, 2016.
DownloadLink
[bibtex]
Thomas Noll. D-MILS and MILS-AADL, Talk at AADL Standards Meeting, Toulouse, France, 2016.
2015
DownloadLink
[bibtex]
Thomas Noll. Modular Analysis of Concurrent Pointer Programs Using Graph Grammars, Talk at Dagstuhl Seminar on Verification of Evolving Graph Structures, Wadern, Germany, 2015.
Link
[bibtex]
Thomas Noll. Analysing Cryptographically-­Masked Information Flows in D-MILS Architectures, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2015.
2014
LinkLink
[bibtex]
Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Invited talk at 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg, 2014.
LinkLink
[bibtex]
Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, MOVES Seminar Talk at RWTH Aachen University, Germany, 2014.
LinkLink
[bibtex]
Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Talk at 7th Int. Conf. on Graph Transformation (ICGT 2014), York, United Kingdom, 2014.
2013
LinkLink
[bibtex]
Thomas Noll. Characterization of Failure E ffects on AADL Models, Talk at MEALS Momentum Gathering at CONCUR 2013, Buenos Aires, Argentina, 2013.
2012
DownloadLink
[bibtex]
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at Dagstuhl Seminar on Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl, Germany, 2012.
DownloadLink
[bibtex]
Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, CS Colloquium Talk at RWTH Aachen University, Germany, 2012.
2011
DownloadLink
[bibtex]
Pierre Dissaux, Viet Yen Nguyen, Thomas Noll. Tutorial on COMPASS Toolset, Talk at AADL Standards Meeting at SAE AeroTech Congress & Exhibition, Toulouse, France, 2011.
DownloadLink
[bibtex]
Thomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars, Talk at 8th International Symposium on Formal Aspects of Component Software, Oslo, Norway, 2011.
DownloadLink
[bibtex]
Thomas Noll. Analyzing Reconfigurable Systems Using Attribute Grammars, MOVES Seminar Talk at RWTH Aachen University, Germany, 2011.
LinkLink
[bibtex]
Thomas Noll. The ESA COMPASS Project: Correctness, Safety and Fault Tolerance in Aerospace Systems, Talk at GI-Themenabend ``Fehlerfreie Software – ein Widerspruch in sich?'', Cologne, Germany, 2011.
2010
DownloadLink
[bibtex]
Thomas Noll. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software, Talk at 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010), St. Goar, Germany, 2010.
2009
LinkLink
[bibtex]
Thomas Noll. Formal Verification and Validation of AADL Models: The COMPASS Project, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2009), Noordwijk, The Netherlands, 2009.
LinkLink
[bibtex]
Thomas Noll. Correctness, Modeling, and Performability of Aerospace Systems: Formal Semantics of the SLIM Language, Talk at AADL Standard Meeting at Ada-Europe, Brest, France, 2009.
LinkLink
[bibtex]
Thomas Noll. A System-Level Integrated Modeling Language: Possible Extensions of AADL and Its Error Model Annex, Talk at AADL Standard Meeting, Noordwijk, The Netherlands, 2009.
LinkLink
[bibtex]
Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at German Chapter CONCUR Meeting, Berlin, Germany, 2009.
LinkLink
[bibtex]
Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at COMPASS Workshop at ETAPS 2009, York, United Kingdom, 2009.
2008
LinkLink
[bibtex]
Viet Yen Nguyen, Thomas Noll. System and Software Co-Engineering: Performance and Verification, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2008), Noordwijk, The Netherlands, 2008.

[bibtex]
Thomas Noll. SLIM Language: Modifications & Semantics, Talk at COMPASS Preliminary Design Review Meeting, Trento, Italy, 2008.

[bibtex]
Thomas Noll. The System-Level Integrated Modeling Language, Talk at COMPASS System Requirements Review Meeting, Aachen, Germany, 2008.
LinkLink
[bibtex]
Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories, Talk at 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008), Budapest, Hungary, 2008.

[bibtex]
Thomas Noll. Approaches to Model-Based Analysis and Verification, Talk at COMPASS Kickoff Meeting, Noordwijk, The Netherlands, 2008.
2007
LinkLink
[bibtex]
Thomas Noll. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code, Talk at Haifa Verification Conference (HVC 2007), Haifa, Israel, 2007.
LinkLink
[bibtex]
Thomas Noll. Delayed Nondeterminism in Model Checking Microcontroller Software Delayed Nondeterminism in Model Checking Microcontroller Software, MOVES Seminar Talk at RWTH Aachen University, Germany, 2007.
2006
LinkLink
[bibtex]
Thomas Noll. Modelling Erlang in the π-Calculus, MOVES Seminar Talk at RWTH Aachen University, Germany, 2006.
LinkLink
[bibtex]
Thomas Noll. Towards Automatic Verification of Erlang Programs by π-Calculus Translation, Talk at 5th ACM SIGPLAN Erlang Workshop, Portland, USA, 2006.