BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Noll:Thomas

Facilitated 4 volumes:

LDTA 2007OCo
LDTA 2005OCo
LDTA 2004OCo
LDTA 2003PrCo

Contributed to:

ICGT 20142014
DATE 20132013
LATA 20112011
CAV 20102010
ESEC/FSE 20092009
FM 20082008
ICGT 20082008
WRLA 20082009
WRLA 20062007
FoSSaCS 20022002
ASE 20012001
CAV 20012001
LDTA 20012001
TACAS 20012001
IFL 20002000
WRLA 20002000
ECDL 19981998
FoSSaCS 19981998
PDP 19931993

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.