dblp.uni-trier.dewww.uni-trier.de

Thomas Noll Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Can Adam Albayrak [3]
2Christian Altenschmidt [4]
3Thomas Arts [8] [16]
4Joachim Biskup [4]
5Hans-Martin Blüthgen [4]
6Benedikt Bollig [15]
7Marco Bozzano [29] [31]
8Gennady Chugunov [16]
9Alessandro Cimatti [29] [31]
10James R. Cordy [21]
11Mads Dam [16]
12Lars-Åke Fredlund (Lars-åke Fredlund) [11] [13] [16]
13Bernd Freisleben [30]
14Jörg Garbers [14]
15Ingo Glöckner [4]
16Dilian Gurov [11] [13] [16]
17Marian Harbach [30]
18Sven Hartrumpf [4]
19Lars Helge Haß [28]
20Hermann Helbig [4]
21Christiane Henning [4]
22Gerlind Herberich [25]
23Karin Höthker [14]
24Klaus Indermark [20]
25Joost-Pieter Katoen [29] [31]
26Alois Knoll [4]
27Martin Leucker [5] [7] [12] [15] [17]
28Reinhard Lüling [4]
29Burkhard Monien [4]
30Martin R. Neuhäußer [22]
31Viet Yen Nguyen [29] [31]
32Stefan Rieger [23] [26] [27]
33Marco Roveri [29] [31]
34Banani Roy [21]
35Chanchal Kumar Roy [19] [21]
36Bastian Schlich [24] [25]
37Fabian Schwarzer [30]
38Norbert Sensen [4]
39Matthew Smith [30]
40Christian Spevak [14]
41Perdita Stevens [17]
42Heiko Vogler [1] [9]
43Michael Weber [17]
44Carsten Weise [25]
45Tillman Weyde [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)