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.
  Jonathan Heinen, Thomas Noll, and Stefan Rieger. Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. In Proc. 3rd Int. Workshop on Harnessing Theories for Tool Support in Software (TTSS’09). To be published in ENTCS. Elsevier, 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.
  Bastian Schlich, Thomas Noll, Jörg Brauer, and Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software. In Proc. of Haifa Verification Conference 2009 (HVC 2009). LNCS. Springer, 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.

2008
 
Thomas Noll, and Bastian Schlich. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. In Hardware and Software: Verification and Testing (Haifa Verification Conference, HVC). pages 185–201. Volume 4899 of LNCS. Springer, 2008.
 
Gerlind Herberich, Thomas Noll, Bastian Schlich, and Carsten Weise. Proving Correctness of an Efficient Abstraction for Interrupt Handling. In Proceedings 3rd International Workshop on Systems Software Verification (SSV). pages 133–150. Volume 217 of ENTCS. Elsevier, 2008.
 
Lars Helge Haß, and Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories. In Proc. of 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008). pages 139–154. Volume 238 of ENTCS. Elsevier, 2008.
 
Thomas Noll, and Stefan Rieger. Verifying Dynamic Pointer Programs. In Proceedings 15th International Symposium on Formal Methods (FM). pages 84–99. Volume 5014 of LNCS. Springer, 2008.
 
Stefan Rieger, and Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement. In 4th Int. Conference on Graph Transformations (ICGT 2008). pages 69–83. Volume 5214 of LNCS. Springer, 2008.

2007
 
Martin R. Neuhäußer, and Thomas Noll. Abstraction and Model Checking of Core Erlang Programs in Maude. In Proceedings of the 6th International Workshop on Rewriting Logic and its Applications. pages 147–163. Volume 176 of ENTCS. Elsevier, 2007.
 
Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. In Workshop on Heap Analysis and Verification (HAV 2007). pages 94–113. 2007.
 
Joost-Pieter Katoen, Thomas Noll, and Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Technical Report 2007-06, RWTH Aachen University, 2007. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2007/2007-06.pdf.
 
Thomas Noll, and Stefan Rieger. Composing Transformations to Optimize Linear Code. In Proc. 4th Int. Colloquium on Theoretical Aspects of Computing (ICTAC ’07). pages 425–439. Volume 4711 of LNCS. 2007.

2006
  Klaus Indermark, and Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Informatica, 43:1–43, 2006.
  Thomas Noll, and Chanchal Kumar Roy. Towards Automatic Verification of Erlang Programs by pi-Calculus Translation. In Proceedings of the ACM SIGPLAN 2006 Erlang Workshop. pages 38–50. ACM Press, 2006.
  Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends, 26(2), 2006.

2005
 
Thomas Noll, and Stefan Rieger. Optimization of Straight-Line Code Revisited. Technical Report 2005-21, RWTH Aachen University, Dept. of Computer Science, 2005.
  Thomas Noll. Equational Abstractions for Model Checking Erlang Programs. In Proceedings of the International Workshop on Software Verification and Validation (SVV’03). Elsevier, 2005.
  Martin Leucker, Thomas Noll, Perdita Stevens, and Michael Weber. Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell. Software Tools for Technology Transfer, 7(2):184–194, 2005.
  Thomas Noll, and Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus. In Proceedings of the ACM SIGPLAN 2005 Erlang Workshop. pages 72–77. ACM Press, 2005.

2004
  Klaus Indermark, and Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Technical Report 2004-08, RWTH Aachen University, 2004.

2003
  Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, and Gennady Chugunov. A Verification Tool for Erlang. Software Tools for Technology Transfer, 4(4):405–420, 2003.
  Thomas Noll. Term Rewriting Models of Concurrency: Foundations and Applications, Habilitation Thesis. RWTH Aachen University, 2003.

2002
  Benedikt Bollig, Martin Leucker, and Thomas Noll. Generalized Regular MSC Languages. In Proceedings 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS’02). pages 52–66. Springer-Verlag, 2002.

2001
  Lars-Åke Fredlund, Dilian Gurov, and Thomas Noll. Semi-Automated Verification of Erlang Code. In Proc. 16th IEEE International Conference on Automated Software Engineering (ASE’01). pages 319–323. IEEE Computer Society Press, 2001.
  Thomas Noll, and Klaus Indermark, editors, Kolloquium Programmiersprachen und Grundlagen der Programmierung. Technical Report 2001-11, Aachen University of Technology, 2001.
  Martin Leucker, and Thomas Noll. Truth/SLC – A Parallel Verification Platform for Concurrent Systems (tool description). In Proceedings 13th Conference on Computer Aided Verification (CAV’01). pages 255–259. Springer-Verlag, 2001.
  Thomas Noll. A Rewriting Logic Implementation of Erlang. In Didier Parigot, and Mark van den Brand, editors, Proceedings of First Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA’01). Elsevier Science Publishers, 2001.
  Benedikt Bollig, Martin Leucker, and Thomas Noll. Regular MSC Languages. Technical Report 01-05, RWTH Aachen University, 2001.
  Thomas Noll, Lars-Åke Fredlund, and Dilian Gurov. The Erlang Verification Tool (tool description). In Proceedings 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01). pages 582–585. Volume 2031 of Lecture Notes in Computer Science. 2001.
  Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client–Server Implementations. In Selected Papers of the 12th International Workshop on the Implementation of Functional Languages (IFL’00). pages 37–52. 2001.
  Martin Leucker, and Thomas Noll. Rewriting Logic as a Framework for Generic Verification Tools. In Proceedings of Third International Workshop on Rewriting Logic and Its Applications (WRLA’00). Elsevier, 2001.

2000
  Thomas Noll, and Heiko Vogler. The Universality of Higher-Order Attributed Tree Transducers. Theory of Computing Systems, :45–75, 2000.
  Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client-Server Implementations. Technical Report 2000-08, RWTH Aachen University, 2000.
  Thomas Arts, and Thomas Noll. Verifying Generic Erlang Client-Server Implementations. In Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL’00). pages 387–402. RWTH Aachen University, 2000.
  Martin Leucker, and Thomas Noll. Truth – A Real-World Application in Haskell. In Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL’00). pages 363–380. RWTH Aachen University, 2000.
  Mads Dam, and Thomas Noll. Context–Representable Processes (abstract). In Proceedings of Dagstuhl Seminar on Verification of Infinite–State Systems. pages 19–22. Schloß Dagstuhl, 2000.

1999
  Thomas Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme (abstract). In F. Otto, and Gundula Niemann, editors, 9. Theorietag der GI-Fachgruppe 0.1.5 “Automaten und Formale Sprachen”. pages 52–52. University of Kassel, 1999.
  Thomas Noll. On Coherence Properties in Term Rewriting Models of Concurrency. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR’99). pages 478–493. Springer-Verlag, 1999.
  Thomas Noll, and Heiko Vogler. On the Universality of Higher-Order Attributed Tree Transducers. Technical Report TUD-FI 99/05, Dresden University of Technology, 1999.
  Martin Leucker, and Thomas Noll. Rapid Prototyping of Specification Language Implementations. In Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (RSP’99). pages 60–65. IEEE Computer Society Press, 1999.
  Martin Lange, Martin Leucker, Thomas Noll, and Stephan Tobies. Truth – A Verification Platform for Concurrent Systems. In Tool Support for System Specification, Development, and Verification. pages 150–159. Springer-Verlag Wien, 1999.

1998
  Thomas Noll. Rewriting Logic als Grundlage für einen Prozeßalgebra–Compiler (abstract). In Helmut Seidl, editor, 8. Theorietag der GI-Fachgruppe 0.1.5 Äutomaten und Formale Sprachen". pages 46–46. University of Trier, 1998.
  Martin Lange, Martin Leucker, Thomas Noll, and Stephan Tobies. Truth – A Verification Platform for Concurrent Systems (extended abstract). In Proceedings of Tools’98. pages 21–26. Christian-Albrechts University of Kiel, 1998.
  Can Adam Albayrak, and Thomas Noll. The WHILE Hierarchy of Program Schemes is Infinite. In Maurice Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS’98). pages 35–47. Springer-Verlag, 1998.

1996
  Thomas Noll, and Stefan Roßmanith. Parallel Evaluation of LR-Attributed Grammars. In Peter Fritzson, editor, Proceedings of the Poster Session of CC’96. pages 105–112. Linköping University, 1996.

1995
  Thomas Noll. Klassen applikativer Programmschemata und ihre Berechnungsstärke. PhD Thesis, RWTH Aachen University, 1995.

1994
  Thomas Noll. On the First-Order Equivalence of Call-by-Name and Call-by-Value. In Sophie Tison, editor, Proceedings of CAAP’94. pages 246–260. Springer-Verlag, 1994.
  Thomas Noll, and Heiko Vogler. Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundamenta Informaticae, 20:285–332, 1994.

1993
  Andrea Kindler, Thomas Noll, and Bernhard Steffen. Hierarchical Parallelization of Imperative Programs. In Peter Milligan, and Antonio Nunez, editors, Proceedings of Euromicro Workshop on Parallel and Distributed Processing. pages 178–184. IEEE Computer Society Press, 1993.

1992
  Thomas Noll, and Heiko Vogler. Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Technical Report 1992-14, RWTH Aachen University, 1992.

1991
  Thomas Noll. Verbesserung des Kennedy-Warren-Auswertungsalgorithmus für attributierte Grammatiken durch Graphreduktion, Master’s Thesis. RWTH Aachen University, 1991.