Travelled to:1 × Finland
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
1 × The Netherlands
1 × USA
3 × France
3 × United Kingdom
Collaborated with:M.Leucker C.Jansen S.Rieger J.Katoen L.Fredlund D.Gurov L.H.Haß M.R.Neuhäußer ∅ T.Arts C.A.Albayrak F.Göbe B.Bollig A.Kindler B.Steffen M.Bozzano A.Cimatti V.Y.Nguyen M.Roveri J.Heinen H.Wu T.Santen D.Seifert R.Wimmer A.Knoll C.Altenschmidt J.Biskup H.Blüthgen I.Glöckner S.Hartrumpf H.Helbig C.Henning R.Lüling B.Monien N.Sensen
Talks about:program (5) erlang (5) verif (5) abstract (4) model (4) pointer (3) rewrit (3) base (3) implement (2) parallel (2)
♂ Person: Thomas Noll
DBLP: Noll:Thomas
Facilitated 4 volumes:
OCoOCoOCoPrCoContributed to:
2014
2013
2011
2010
2009
20082008
20092007
2002
200120012001
2001
20002000
19981998
1993Wrote 20 papers:
- ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation
- Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
- ICGT-2014-JansenN #generative #graph #pointer #source code #summary
- Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
- DATE-2013-KatoenNWSS #energy #modelling #optimisation
- Model-based energy optimization of automotive control systems (JPK, TN, HW, TS, DS), pp. 761–766.
- LATA-2011-JansenHKN #normalisation
- A Local Greibach Normal Form for Hyperedge Replacement Grammars (CJ, JH, JPK, TN), pp. 323–335.
- CAV-2010-BozzanoCKNNRW #model checking
- A Model Checker for AADL (MB, AC, JPK, VYN, TN, MR, RW), pp. 562–565.
- ESEC-FSE-2009-BozzanoCRKNN #evaluation #modelling #performance #verification
- Verification and performance evaluation of aadl models (MB, AC, MR, JPK, VYN, TN), pp. 285–286.
- FM-2008-NollR #pointer #thread #verification
- Verifying Dynamic Pointer-Manipulating Threads (TN, SR), pp. 84–99.
- ICGT-2008-RiegerN #data type
- Abstracting Complex Data Structures by Hyperedge Replacement (SR, TN), pp. 69–83.
- WRLA-2008-HassN09 #abstraction #equation
- Equational Abstractions for Reducing the State Space of Rewrite Theories (LHH, TN), pp. 139–154.
- WRLA-2006-NeuhausserN07 #abstraction #erlang #maude #model checking #source code
- Abstraction and Model Checking of Core Erlang Programs in Maude (MRN, TN), pp. 147–163.
- FoSSaCS-2002-BolligLN
- Generalised Regular MSC Languages (BB, ML, TN), pp. 52–66.
- ASE-2001-FredlundGN #automation #erlang #verification
- Semi-Automated Verification of Erlang Code (LÅF, DG, TN), pp. 319–323.
- CAV-2001-LeuckerN #concurrent #framework #named #parallel #platform #verification
- Truth/SLC — A Parallel Verification Platform for Concurrent Systems (ML, TN), pp. 255–259.
- LDTA-2001-Noll #erlang #implementation #logic
- A Rewriting Logic Implementation of Erlang (TN), pp. 206–224.
- TACAS-2001-NollFG #erlang #verification
- The Erlang Verification Tool (TN, LÅF, DG), pp. 582–586.
- IFL-2000-ArtsN #erlang #implementation #verification
- Verifying Generic Erlang Client-Server Implementations (TA, TN), pp. 37–52.
- WRLA-2000-LeuckerN #framework #logic #tool support #verification
- Rewriting Logic as a Framework for Generic Verification Tools (ML, TN), pp. 121–137.
- ECDL-1998-KnollABBGHHHLMNS #approach #documentation #evaluation #multi #retrieval #semantics
- An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents (AK, CA, JB, HMB, IG, SH, HH, CH, RL, BM, TN, NS), pp. 409–428.
- FoSSaCS-1998-AlbayrakN #infinity
- The WHILE Hierarchy of Program Schemes Is Infinite (CAA, TN), pp. 35–47.
- PDP-1993-KindlerNS #imperative #parallel #source code
- Hierarchical parallelization of imperative programs (AK, TN, BS), pp. 178–184.