2009
 
Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications. Talk, German Chapter CONCUR Meeting, 2009. Workshop Presentation.
 
Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications. Talk, COMPASS 2009 Workshop, 2009. Workshop Presentation.
 
Thomas Noll. A System-Level Integrated Modeling Language: Possible Extensions of AADL and Its Error Model Annex. Talk, AADL Standard Meeting, 2009.
 
Thomas Noll. Correctness, Modeling, and Performability of Aerospace Systems: Formal Semantics of the SLIM Language. Talk, AADL Standard Meeting at Ada-Europe, 2009.
 
Thomas Noll. Formal Verification and Validation of AADL Models: The COMPASS Project. Talk, ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2009), 2009. Workshop Presentation.

2008
 
Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories. Talk, 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008), Budapest, Hungary, 2008. Workshop Presentation.
  Thomas Noll. Approaches to Model-Based Analysis and Verification. Talk, COMPASS Kickoff Meeting, Noordwijkerhout, The Netherlands, 2008. Workshop Presentation.
  Thomas Noll. The System-Level Integrated Modeling Language. Talk, COMPASS System Requirements Review Meeting, Aachen, 2008. Workshop Presentation.
  Thomas Noll. SLIM Language: Modifications & Semantics. Talk, COMPASS Preliminary Design Review Meeting, Trento, Italy, 2008. Workshop Presentation.
 
Viet Yen Nguyen, and Thomas Noll. System and Software Co-Engineering: Performance and Verification. Talk, ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2008), 2008. Workshop presentation.

2007
 
Thomas Noll. Delayed Nondeterminism in Model Checking Microcontroller Software Delayed Nondeterminism in Model Checking Microcontroller Software. Talk, RWTH Aachen University, 2007. MOVES Seminar.
 
Thomas Noll. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Talk, Haifa Verification Conference (HVC 2007), Israel, 2007. Conference Presentation.

2006
 
Thomas Noll. Modelling Erlang in the π-Calculus. Talk, RWTH Aachen University, 2006. MOVES Seminar.
 
Thomas Noll. Towards Automatic Verification of Erlang Programs by π-Calculus Translation. Talk, 5th ACM SIGPLAN Erlang Workshop, Portland, USA, 2006. Workshop Presentation.

COMPASS

2009
  Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, and Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. In Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009). ACM Press, 2009.
 
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009). pages 173–186. Volume 5775 of LNCS. Springer, 2009.
 
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). In Proc. 7th Joint Meeting of European Software Engineering Conference and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009). pages 285–286. ACM Press, 2009.
  Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Model-Based Codesign of Critical Embedded Systems. In Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). LNCS. Springer, 2009.