Thomas Noll

Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert: Model-based energy optimization of automotive control systems. DATE 2013: 761-766

Kamal Barakat, Stefan Kowalewski, Thomas Noll: A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE 2012: 253-256

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011)

Manuel Domínguez, Thomas Noll, Marco Castrillón: An extension of Christoffel duality to a subset of Sturm numbers and their characteristic words. Theor. Comput. Sci. 412(27): 2942-2954 (2011)

Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll: A Local Greibach Normal Form for Hyperedge Replacement Grammars. LATA 2011: 323-335

Thomas M. Fiore, Thomas Noll: Commuting Groups and the Topos of Triads. MCM 2011: 69-83

Karst de Jong, Thomas Noll: Fundamental Passacaglia: Harmonic Functions and the Modes of the Musical Tetractys. MCM 2011: 98-114

Andrew J. Milne, Martin Carlé, William A. Sethares, Thomas Noll, Simon Holland: Scratching the Scale Labyrinth. MCM 2011: 180-195

Jonathan Heinen, Thomas Noll, Stefan Rieger: Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. Electr. Notes Theor. Comput. Sci. 266: 93-107 (2010)

Tim Dörnemann, Ernst Juhnke, Thomas Noll, Dominik Seiler, Bernd Freisleben: Data Flow Driven Scheduling of BPEL Workflows Using Cloud Resources. IEEE CLOUD 2010: 196-203

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer: A Model Checker for AADL. CAV 2010: 562-565

Viet Yen Nguyen, Thomas Noll, Max Odenbrett: Slicing AADL Specifications for Model Checking. NASA Formal Methods 2010: 217-221

Jörg Brauer, Thomas Noll, Bastian Schlich: Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3

Lars Helge Haß, Thomas Noll: Equational Abstractions for Reducing the State Space of Rewrite Theories. Electr. Notes Theor. Comput. Sci. 238(3): 139-154 (2009)

Matthew Smith, Fabian Schwarzer, Marian Harbach, Thomas Noll, Bernd Freisleben: A Streaming Intrusion Detection System for Grid Computing Environments. HPCC 2009: 44-51

Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy: Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference 2009: 5-20

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri: The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll: Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286

Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll: Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electr. Notes Theor. Comput. Sci. 217: 133-150 (2008)

Thomas Noll, Stefan Rieger: Verifying Dynamic Pointer-Manipulating Threads. FM 2008: 84-99

Stefan Rieger, Thomas Noll: Abstracting Complex Data Structures by Hyperedge Replacement. ICGT 2008: 69-83

Martin R. Neuhäußer, Thomas Noll: Abstraction and Model Checking of Core Erlang Programs in Maude. Electr. Notes Theor. Comput. Sci. 176(4): 147-163 (2007)

Thomas Noll, Bastian Schlich: Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference 2007: 185-201

Thomas Noll, Stefan Rieger: Composing Transformations to Optimize Linear Code. ICTAC 2007: 425-439

Klaus Indermark, Thomas Noll: Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Inf. 43(1): 1-43 (2006)

Thomas Noll, Stefan Rieger: Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends 26(2) (2006)

Chanchal Kumar Roy, Thomas Noll, Banani Roy, James R. Cordy: Towards automatic verification of Erlang programs by pi-calculus translation. Erlang Workshop 2006: 38-50

Thomas Noll: Equational Abstractions for Model Checking Erlang Programs. Electr. Notes Theor. Comput. Sci. 118: 145-162 (2005)

Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber: Functional programming languages for verification tools: a comparison of Standard ML and Haskell. STTT 7(2): 184-194 (2005)

Thomas Noll, Chanchal Kumar Roy: Modeling Erlang in the pi-calculus. Erlang Workshop 2005: 72-77

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov: A verification tool for ERLANG. STTT 4(4): 405-420 (2003)

Benedikt Bollig, Martin Leucker, Thomas Noll: Generalised Regular MSC Languages. FoSSaCS 2002: 52-66

Thomas Noll, Jörg Garbers, Karin Höthker, Christian Spevak, Tillman Weyde: Opuscope - Towards a Corpus-Based Music Repository. ISMIR 2002

Thomas Noll: A Rewriting Logic Implementation of Erlang. Electr. Notes Theor. Comput. Sci. 44(2): 206-224 (2001)

Thomas Noll, Heiko Vogler: The Universality of Higher-Order Attributed Tree Transducers. Theory Comput. Syst. 34(1): 45-75 (2001)

Martin Leucker, Thomas Noll: Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV 2001: 255-259

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll: Semi-Automated Verification of Erlang Code. ASE 2001: 319-323

Thomas Noll, Lars-Åke Fredlund, Dilian Gurov: The Erlang Verification Tool. TACAS 2001: 582-586

Martin Leucker, Thomas Noll: Rewriting Logic as a Framework for Generic Verification Tools. Electr. Notes Theor. Comput. Sci. 36: 121-137 (2000)

Thomas Arts, Thomas Noll: Verifying Generic Erlang Client-Server Implementations. IFL 2000: 37-52

Thomas Noll: On Coherence Properties in Team Rewriting Models of Concurrency. CONCUR 1999: 478-493

Martin Leucker, Thomas Noll: Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping 1999: 60-65

Alois Knoll, Christian Altenschmidt, Joachim Biskup, Hans-Martin Blüthgen, Ingo Glöckner, Sven Hartrumpf, Hermann Helbig, Christiane Henning, Reinhard Lüling, Burkhard Monien, Thomas Noll, Norbert Sensen: An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. ECDL 1998: 409-428

Can Adam Albayrak, Thomas Noll: The WHILE Hierarchy of Program Schemes Is Infinite. FoSSaCS 1998: 35-47

Thomas Noll, Heiko Vogler: Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundam. Inform. 20(4): 285-332 (1994)

Thomas Noll: On the First-Order Equivalence of Call-by-Name and Call-by-Value. CAAP 1994: 246-260