Thomas Noll

According to our database1, Thomas Noll
  • authored at least 74 papers between 1993 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Heap Abstraction Beyond Context-Freeness.
CoRR, 2017

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.
Proceedings of the Programming Languages and Systems, 2017

Matching Lexicographic and Conjugation Orders on the Conjugation Class of a Special Sturmian Morphism.
Proceedings of the Combinatorics on Words - 11th International Conference, 2017

2016
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic.
CoRR, 2016

2015
Verifying pointer programs using graph grammars.
Sci. Comput. Program., 2015

Juggrnaut: using graph grammars for abstracting unbounded heap structures.
Formal Methods in System Design, 2015

Triads as Modes within Scales as Modes.
Proceedings of the Mathematics and Computation in Music - 5th International Conference, 2015

IC3 Software Model Checking on Control Flow Automata.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

Tree-Like Grammars and Separation Logic.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Formal validation methods in model-based spacecraft systems engineering.
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

Spacecraft early design validation using formal methods.
Rel. Eng. & Sys. Safety, 2014

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Safety, Dependability and Performance Analysis of Aerospace Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Compositional Analysis Using Component-Oriented Interpolation.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013
Incremental Construction of Greibach Normal Form.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Characterization of Failure Effects on AADL Models.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Glarean's Dodecachordon Revisited.
Proceedings of the Mathematics and Computation in Music - 4th International Conference, 2013

Incorporating Voice Permutations into the Theory of Neo-Riemannian Groups and Lewinian Duality.
Proceedings of the Mathematics and Computation in Music - 4th International Conference, 2013

Speeding Up the Safety Verification of Programmable Logic Controller Code.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Model-based energy optimization of automotive control systems.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
A Native Approach to Modeling Timed Behavior in the Pi-Calculus.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011
An extension of Christoffel duality to a subset of Sturm numbers and their characteristic words.
Theor. Comput. Sci., 2011

Safety, Dependability and Performance Analysis of Extended AADL Models.
Comput. J., 2011

Scratching the Scale Labyrinth.
Proceedings of the Mathematics and Computation in Music - Third International Conference, 2011

Fundamental Passacaglia: Harmonic Functions and the Modes of the Musical Tetractys.
Proceedings of the Mathematics and Computation in Music - Third International Conference, 2011

Commuting Groups and the Topos of Triads.
Proceedings of the Mathematics and Computation in Music - Third International Conference, 2011

A Local Greibach Normal Form for Hyperedge Replacement Grammars.
Proceedings of the Language and Automata Theory and Applications, 2011

2010
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures.
Electr. Notes Theor. Comput. Sci., 2010

Loop Refinement Using Octagons and Satisfiability.
Proceedings of the 5th International Workshop on Systems Software Verification, 2010

Interval analysis of microcontroller code using abstract interpretation of hardware and software.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Slicing AADL Specifications for Model Checking.
Proceedings of the Second NASA Formal Methods Symposium, 2010

A Model Checker for AADL.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Data Flow Driven Scheduling of BPEL Workflows Using Cloud Resources.
Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009
Equational Abstractions for Reducing the State Space of Rewrite Theories.
Electr. Notes Theor. Comput. Sci., 2009

Verification and performance evaluation of aadl models.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.
Proceedings of the Computer Safety, 2009

Codesign of dependable systems: A component-based modeling language.
Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.
Proceedings of the Hardware and Software: Verification and Testing, 2009

A Streaming Intrusion Detection System for Grid Computing Environments.
Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009

2008
Proving Correctness of an Efficient Abstraction for Interrupt Handling.
Electr. Notes Theor. Comput. Sci., 2008

Abstracting Complex Data Structures by Hyperedge Replacement.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Verifying Dynamic Pointer-Manipulating Threads.
Proceedings of the FM 2008: Formal Methods, 2008

2007
Abstraction and Model Checking of Core Erlang Programs in Maude.
Electr. Notes Theor. Comput. Sci., 2007

Composing Transformations to Optimize Linear Code.
Proceedings of the Theoretical Aspects of Computing, 2007

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.
Proceedings of the Hardware and Software: Verification and Testing, 2007

2006
Optimization of Straight-Line Code Revisited.
Softwaretechnik-Trends, 2006

Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.
Acta Inf., 2006

Fourier Oracles for Computer-Aided Improvisation.
Proceedings of the 2006 International Computer Music Conference, 2006

Towards automatic verification of Erlang programs by pi-calculus translation.
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, 2006

2005
Functional programming languages for verification tools: a comparison of Standard ML and Haskell.
STTT, 2005

Equational Abstractions for Model Checking Erlang Programs.
Electr. Notes Theor. Comput. Sci., 2005

Modeling Erlang in the pi-calculus.
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, 2005

2003
A verification tool for ERLANG.
STTT, 2003

2002
Opuscope - Towards a Corpus-Based Music Repository.
Proceedings of the ISMIR 2002, 2002

Generalised Regular MSC Languages.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
The Universality of Higher-Order Attributed Tree Transducers.
Theory Comput. Syst., 2001

A Rewriting Logic Implementation of Erlang.
Electr. Notes Theor. Comput. Sci., 2001

The Erlang Verification Tool.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Semi-Automated Verification of Erlang Code.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Truth/SLC - A Parallel Verification Platform for Concurrent Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Rewriting Logic as a Framework for Generic Verification Tools.
Electr. Notes Theor. Comput. Sci., 2000

Verifying Generic Erlang Client-Server Implementations.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999
Rapid Prototyping of Specification Language Implementations.
Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping (RSP 1999), 1999

On Coherence Properties in Team Rewriting Models of Concurrency.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
The WHILE Hierarchy of Program Schemes Is Infinite.
Proceedings of the Foundations of Software Science and Computation Structure, 1998

An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents.
Proceedings of the Research and Advanced Technology for Digital Libraries, 1998

1995
Klassen applikativer Programmschemata und ihre Berechnungsstärke.
PhD thesis, 1995

Fractal Depth Structure of Tonal Harmony.
Proceedings of the 1995 International Computer Music Conference, 1995

1994
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars.
Fundam. Inform., 1994

On the First-Order Equivalence of Call-by-Name and Call-by-Value.
Proceedings of the Trees in Algebra and Programming, 1994

1993
Hierarchical parallelization of imperative programs.
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993


  Loading...