Publications of Thomas Noll

Refereed Journals

• K. Indermark and T. Noll:
  Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information
  Acta Informatica, to be published
  
• M. Leucker, T. Noll, P. Stevens, and M. Weber:
  Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell
  International Journal on Software Tools for Technology Transfer (STTT), 7(2), 2005, pp. 184-194
  Abstract
• L.-Å. Fredlund, D. Gurov, T. Noll, M. Dam, T. Arts, and G. Chugunov:
  A Verification Tool for Erlang
  International Journal on Software Tools for Technology Transfer (STTT), 4(4), 2003, pp. 405-420
  Abstract, BibTeX entry, Paper
• T. Noll and H. Vogler:
  The Universality of Higher-Order Attributed Tree Transducers
  Theory of Computing Systems 34(1), 2000, pp. 45-75
  Abstract, BibTeX entry, Paper
• T. Noll, H. Vogler:
  Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars
  Fundamenta Informaticae 20, 1994, pp. 285-332
  Abstract, BibTeX entry, Paper

Refereed Conferences and Workshops

• M. Neuhäußer and T. Noll:
  Abstraction and Model Checking of Core Erlang Programs in Maude
  Accepted for 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006)
• T. Noll and C.K. Roy:
  Modeling Erlang in the Pi-Calculus
  In Proceedings of the ACM SIGPLAN 2005 Erlang Workshop (Erlang '05), ACM, 2005, pp. 72-77
  Abstract, BibTeX entry, Paper
• T. Noll:
  Equational Abstractions for Model Checking Erlang Programs
  In Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), Electronic Notes in Theoretical Computer Science 118, Elsevier, 2005
  Abstract, BibTeX entry
• B. Bollig, M. Leucker, and T. Noll:
  Generalized Regular MSC Languages
  In Proc. 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'02), LNCS 2303, Springer, 2002, pp. 52-66
  Abstract , BibTeX entry, Paper
• L.-Å. Fredlund, D. Gurov, and T. Noll:
  Semi-Automated Verification of Erlang Code
  In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), IEEE Computer Society Press, 2001, pp. 319-323
  Abstract, BibTeX entry
• M. Leucker and T. Noll:
  Truth/SLC - A Parallel Verification Platform for Concurrent Systems (Tool Description)
  In Proc. of 13th Conference on Computer Aided Verification (CAV'01), LNCS 2102, Springer, 2001, pp. 255-259
  Abstract, BibTeX entry, Paper
• T. Noll:
  A Rewriting Logic Implementation of Erlang
  In Proc. 1st Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA'01), Electronic Notes in Theoretical Computer Science 44(2), Elsevier, 2001
  Abstract, BibTeX entry, Paper
• T. Noll, L.-Å. Fredlund, and D. Gurov:
  The Erlang Verification Tool (Tool Description)
  In Proc. 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), LNCS 2031, Springer, 2001, pp. 582-585
  BibTeX entry, Paper
• T. Arts and T. Noll:
  Verifying Generic Erlang Client-Server Implementations
  In Selected Papers of the 12th International Workshop on the Implementation of Functional Languages (IFL'00), LNCS 2011, Springer, 2001, pp. 37-52
  Abstract, BibTeX entry, Paper
• M. Leucker and T. Noll:
  Rewriting Logic as a Framework for Generic Verification Tools
  In Proc. 3rd International Workshop on Rewriting Logic and Its Applications (WRLA'00), Electronic Notes in Theoretical Computer Science 36, Elsevier, 2001
  Abstract, BibTeX entry, Paper
• T. Noll:
  On Coherence Properties in Term Rewriting Models of Concurrency
  In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS 1664, Springer-Verlag, 1999, pp. 478-493
  Abstract, BibTeX entry, Paper
• M. Leucker and T. Noll:
  Rapid Prototyping of Specification Language Implementations
  In Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (RSP'99), IEEE Computer Society, 1999, pp. 60-65
  Abstract, BibTeX entry, Paper
• M. Lange, M. Leucker, T. Noll, and S. Tobies:
  Truth - A Verification Platform for Concurrent Systems
  In Tool Support for System Specification, Development and Verification, Advances in Computing Science, Springer-Verlag Wien, 1999, pp. 150-159
  Abstract, BibTeX entry, Paper
• C.A. Albayrak and T. Noll:
  The WHILE Hierarchy of Program Schemes is Infinite
  In Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS'98), LNCS 1378, Springer, 1998, pp. 35-47
  Abstract, BibTeX entry, Paper
• T. Noll and S. Roßmanith:
  Parallel Evaluation of LR-Attributed Grammars
  In Proceedings of the Poster Session of CC'96, Technical Report LiTH-IDA-R-96-12, Linköping University, 1996, pp. 105-112
  Abstract, BibTeX entry, Paper
• T. Noll:
  On the First-Order Equivalence of Call-by-Name and Call-by-Value
  in Proceedings of CAAP'94, LNCS 787, Springer-Verlag, 1994, pp. 246-260
  Abstract, BibTeX entry, Paper
• A. Kindler, T. Noll, and B. Steffen:
  Hierarchical Parallelization of Imperative Programs
  In Proceedings of Euromicro Workshop on Parallel and Distributed Processing, IEEE Computer Society Press, 1993, pp. 178-184
  Abstract, BibTeX entry

Theses

• T. Noll:
  Term Rewriting Models of Concurrency: Foundations and Applications
  Habilitation Thesis, RWTH Aachen University, 2003
  Abstract, Thesis
• T. Noll:
  Klassen applikativer Programmschemata und ihre Berechnungsstärke
  PhD Thesis, RWTH Aachen University, Shaker Verlag, Aachen, 1995
  Abstract, BibTeX entry
• T. Noll:
  Verbesserung des Kennedy-Warren-Auswertungsalgorithmus für attributierte Grammatiken durch Graphreduktion
  Master Thesis, RWTH Aachen University, 1991

Other Workshops

• M. Leucker, T. Noll, P. Stevens, and M. Weber:
  Functional Programming Languages for Verification Tools: Experiences with ML and Haskell
  Presented at the Scottish Functional Programming Workshop (SFPW'01)
  Abstract, Paper
• M. Leucker and T. Noll:
  A Distributed Model Checking Tool Tailored to Erlang
  Presented at the Erlang Workshop at PLI'01
  Abstract, BibTeX entry, Paper
• R. Büschkes, T. Noll, and M. Borning:
  Transaction-Based Anomaly Detection in Communication Networks
  Presented at the 9th International Conference on Telecommunication Systems - Modeling and Analysis (ICTS'01)
  Abstract, Paper
• T. Arts and T. Noll:
  Verifying Generic Erlang Client-Server Implementations
  In Proc. 12th International Workshop on Implementation of Functional Languages (IFL'00), Aachener Informatik-Bericht 00-07, 2000, pp. 387-402
  Abstract, BibTeX entry, Paper
• M. Leucker and T. Noll:
  Truth - A Real-World Application in Haskell
  In Proc. 12th International Workshop on Implementation of Functional Languages (IFL'00), Aachener Informatik-Bericht 00-07, 2000, pp. 363-380
  Abstract, BibTeX entry, Paper
• M. Dam and T. Noll:
  Context-Representable Processes (Abstract)
  In Proc. of Dagstuhl Seminar on Verification of Infinite-State Systems, Schloß Dagstuhl, Seminar Report No. 271, 2000, pp. 19-22
  Abstract, BibTeX entry
• T. Noll:
  Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme (Abstract)
  in 9. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen", Preprint Nr. 12/99, University of Kassel, 1999, p. 52
  Abstract, BibTeX entry
• T. Noll and H. Vogler:
  On the Universality of Higher-Order Attribute Grammars (Abstract)
  In International Workshop on Grammars, Automata, and Logic on Graphs and Trees, ed. H. Vogler, Technical Teport TUD-FI 99/01, Dresden University of Technology, 1999
• T. Noll:
  Rewriting Logic als Grundlage für einen Prozeßalgebra-Compiler (Abstract)
  In 8. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen", Forschungsbericht Nr. 98-17, University of Trier, 1998, p. 47
  Abstract, BibTeX entry
• M. Lange, M. Leucker, T. Noll, and S. Tobies:
  Truth - A Verification Platform for Concurrent Systems
  Extended Abstract, in Proceedings of Tools'98, Technical Report 9803, Christian-Albrechts University of Kiel, 1998, pp. 21-26
  Extended Abstract, BibTeX entry

Technical Reports

• T. Noll and S. Rieger:
  Optimization of Straight-Line Code Revisited
  Aachener Informatik-Bericht 2005-21, 2005
  Abstract, BibTeX entry, Paper
• K. Indermark and T. Noll:
  Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information
  Aachener Informatik-Bericht 2004-08, 2004
  Abstract, BibTeX entry, Paper
• K. Indermark and T. Noll (eds.):
  Kolloquium Programmiersprachen und Grundlagen der Programmierung
  Aachener Informatik-Bericht 2001-11, 2001
  Abstract, BibTeX entry, Paper
• B. Bollig, M. Leucker, and T. Noll:
  Regular MSC Languages
  Aachener Informatik-Bericht 2001-05, 2001
  Abstract, BibTeX entry, Paper
• T. Arts and T. Noll:
  Verifying Generic Erlang Client-Server Implementations
  Aachener Informatik-Bericht 2000-08, 2000
  Abstract, BibTeX entry, Paper
• T. Noll and H. Vogler:
  On the Universality of Higher-Order Attributed Tree Transducers
  Technical Report TUD-FI 99/05, Dresden University of Technology, 1999
  Abstract, BibTeX entry, Paper
• T. Noll and H. Vogler:
  Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars
  Technical Report AIB 1992-14, RWTH Aachen University, 1992
  Abstract, BibTeX entry, Paper