 | 2009 |
|---|
| 31 |       | 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 |
| 30 | | Matthew Smith,
Fabian Schwarzer,
Marian Harbach,
Thomas Noll,
Bernd Freisleben:
A Streaming Intrusion Detection System for Grid Computing Environments.
HPCC 2009: 44-51 |
| 29 | | 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 |
| 28 | | 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) |
| 2008 |
|---|
| 27 | | Thomas Noll,
Stefan Rieger:
Verifying Dynamic Pointer-Manipulating Threads.
FM 2008: 84-99 |
| 26 | | Stefan Rieger,
Thomas Noll:
Abstracting Complex Data Structures by Hyperedge Replacement.
ICGT 2008: 69-83 |
| 25 | | 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) |
| 2007 |
|---|
| 24 | | Thomas Noll,
Bastian Schlich:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.
Haifa Verification Conference 2007: 185-201 |
| 23 | | Thomas Noll,
Stefan Rieger:
Composing Transformations to Optimize Linear Code.
ICTAC 2007: 425-439 |
| 22 | | 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) |
| 2006 |
|---|
| 21 | | 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 |
| 20 | | Klaus Indermark,
Thomas Noll:
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.
Acta Inf. 43(1): 1-43 (2006) |
| 2005 |
|---|
| 19 | | Thomas Noll,
Chanchal Kumar Roy:
Modeling Erlang in the pi-calculus.
Erlang Workshop 2005: 72-77 |
| 18 | | Thomas Noll:
Equational Abstractions for Model Checking Erlang Programs.
Electr. Notes Theor. Comput. Sci. 118: 145-162 (2005) |
| 17 | | 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) |
| 2003 |
|---|
| 16 | | Lars-Åke Fredlund,
Dilian Gurov,
Thomas Noll,
Mads Dam,
Thomas Arts,
Gennady Chugunov:
A verification tool for ERLANG.
STTT 4(4): 405-420 (2003) |
| 2002 |
|---|
| 15 | | Benedikt Bollig,
Martin Leucker,
Thomas Noll:
Generalised Regular MSC Languages.
FoSSaCS 2002: 52-66 |
| 14 | | Thomas Noll,
Jörg Garbers,
Karin Höthker,
Christian Spevak,
Tillman Weyde:
Opuscope - Towards a Corpus-Based Music Repository.
ISMIR 2002 |
| 2001 |
|---|
| 13 | | Lars-Åke Fredlund,
Dilian Gurov,
Thomas Noll:
Semi-Automated Verification of Erlang Code.
ASE 2001: 319-323 |
| 12 | | Martin Leucker,
Thomas Noll:
Truth/SLC - A Parallel Verification Platform for Concurrent Systems.
CAV 2001: 255-259 |
| 11 | | Thomas Noll,
Lars-Åke Fredlund,
Dilian Gurov:
The Erlang Verification Tool.
TACAS 2001: 582-586 |
| 10 | | Thomas Noll:
A Rewriting Logic Implementation of Erlang.
Electr. Notes Theor. Comput. Sci. 44(2): (2001) |
| 9 | | Thomas Noll,
Heiko Vogler:
The Universality of Higher-Order Attributed Tree Transducers.
Theory Comput. Syst. 34(1): 45-75 (2001) |
| 2000 |
|---|
| 8 | | Thomas Arts,
Thomas Noll:
Verifying Generic Erlang Client-Server Implementations.
IFL 2000: 37-52 |
| 7 | | Martin Leucker,
Thomas Noll:
Rewriting Logic as a Framework for Generic Verification Tools.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 6 | | Thomas Noll:
On Coherence Properties in Team Rewriting Models of Concurrency.
CONCUR 1999: 478-493 |
| 5 | | Martin Leucker,
Thomas Noll:
Rapid Prototyping of Specification Language Implementations.
IEEE International Workshop on Rapid System Prototyping 1999: 60-65 |
| 1998 |
|---|
| 4 | | 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 |
| 3 | | Can Adam Albayrak,
Thomas Noll:
The WHILE Hierarchy of Program Schemes Is Infinite.
FoSSaCS 1998: 35-47 |
| 1994 |
|---|
| 2 | | Thomas Noll:
On the First-Order Equivalence of Call-by-Name and Call-by-Value.
CAAP 1994: 246-260 |
| 1 |  | Thomas Noll,
Heiko Vogler:
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars.
Fundam. Inform. 20(4): 285-332 (1994) |
