Hierarchical parallelization of imperative programs. - Andrea Kindler; Thomas Noll 001; Bernhard Steffen (PDP, 1993)

On the First-Order Equivalence of Call-by-Name and Call-by-Value. - Thomas Noll 001 (CAAP, 1994)

Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. - Thomas Noll 001; Heiko Vogler (Fundam. Informaticae, 1994)

Klassen applikativer Programmschemata und ihre Berechnungsstärke. - Thomas Noll 001 (Shaker, 1995)

An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. - Alois C. 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 001; Norbert Sensen (ECDL, 1998)

The WHILE Hierarchy of Program Schemes Is Infinite. - Can Adam Albayrak; Thomas Noll 001 (FoSSaCS, 1998)

Truth - A verification platform for concurrent systems. - Martin Lange; Martin Leucker; Thomas Noll 001; Stephan Tobies (Tool Support for System Specification, Development and Verification, 1998)

On Coherence Properties in Team Rewriting Models of Concurrency. - Thomas Noll 001 (CONCUR, 1999)

Rapid Prototyping of Specification Language Implementations. - Martin Leucker; Thomas Noll 001 (IEEE International Workshop on Rapid System Prototyping, 1999)

Verifying Generic Erlang Client-Server Implementations. - Thomas Arts; Thomas Noll 001 (IFL, 2000)

Rewriting Logic as a Framework for Generic Verification Tools. - Martin Leucker; Thomas Noll 001 (WRLA, 2000)

Truth/SLC - A Parallel Verification Platform for Concurrent Systems. - Martin Leucker; Thomas Noll 001 (CAV, 2001)

Semi-Automated Verification of Erlang Code. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001 (ASE, 2001)

The Erlang Verification Tool. - Thomas Noll 001; Lars-Åke Fredlund; Dilian Gurov (TACAS, 2001)

A Rewriting Logic Implementation of Erlang. - Thomas Noll 001 (LDTA@ETAPS, 2001)

The Universality of Higher-Order Attributed Tree Transducers. - Thomas Noll 001; Heiko Vogler (Theory Comput. Syst., 2001)

Generalised Regular MSC Languages. - Benedikt Bollig; Martin Leucker; Thomas Noll 001 (FoSSaCS, 2002)

Equational Abstractions for Model Checking Erlang Programs. - Thomas Noll 001 (SVV@ICLP, 2003)

A verification tool for ERLANG. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001; Mads Dam; Thomas Arts; Gennady Chugunov (Int. J. Softw. Tools Technol. Transf., 2003)

Modeling Erlang in the pi-calculus. - Thomas Noll 001; Chanchal Kumar Roy (Erlang Workshop, 2005)

Functional programming languages for verification tools: a comparison of Standard ML and Haskell. - Martin Leucker; Thomas Noll 001; Perdita Stevens; Michael Weber 002 (Int. J. Softw. Tools Technol. Transf., 2005)

Towards automatic verification of Erlang programs by pi-calculus translation. - Chanchal Kumar Roy; Thomas Noll 001; Banani Roy; James R. Cordy (Erlang Workshop, 2006)

Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. - Klaus Indermark; Thomas Noll 001 (Acta Informatica, 2006)

Abstraction and Model Checking of Core Erlang Programs in Maude. - Martin R. Neuhäußer; Thomas Noll 001 (WRLA, 2006)

Optimization of Straight-Line Code Revisited. - Thomas Noll 001; Stefan Rieger (Softwaretechnik-Trends, 2006)

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. - Thomas Noll 001; Bastian Schlich (Haifa Verification Conference, 2007)

Composing Transformations to Optimize Linear Code. - Thomas Noll 001; Stefan Rieger (ICTAC, 2007)

Verifying Dynamic Pointer-Manipulating Threads. - Thomas Noll 001; Stefan Rieger (FM, 2008)

Abstracting Complex Data Structures by Hyperedge Replacement. - Stefan Rieger; Thomas Noll 001 (ICGT, 2008)

Equational Abstractions for Reducing the State Space of Rewrite Theories. - Lars Helge Haß; Thomas Noll 001 (WRLA, 2008)

Proving Correctness of an Efficient Abstraction for Interrupt Handling. - Gerlind Herberich; Bastian Schlich; Carsten Weise; Thomas Noll 001 (SSV, 2008)

Reduction of Interrupt Handler Executions for Model Checking Embedded Software. - Bastian Schlich; Thomas Noll 001; Jörg Brauer; Lucas Brutschy (Haifa Verification Conference, 2009)

Codesign of dependable systems: A component-based modeling language. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (MEMOCODE, 2009)

Model-Based Codesign of Critical Embedded Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (ACES-MB@MoDELS, 2009)

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (SAFECOMP, 2009)

Verification and performance evaluation of aadl models. - Marco Bozzano; Alessandro Cimatti; Marco Roveri; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (ESEC/SIGSOFT FSE, 2009)

Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. - Jonathan Heinen; Thomas Noll 001; Stefan Rieger (TTSS, 2009)

A Model Checker for AADL. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri; Ralf Wimmer 001 (CAV, 2010)

Slicing AADL Specifications for Model Checking. - Viet Yen Nguyen; Thomas Noll 001; Max Odenbrett (NASA Formal Methods, 2010)

Interval analysis of microcontroller code using abstract interpretation of hardware and software. - Jörg Brauer; Thomas Noll 001; Bastian Schlich (SCOPES, 2010)

Loop Refinement Using Octagons and Satisfiability. - Volker Kamin; Thomas Noll 001 (SSV, 2010)

A Local Greibach Normal Form for Hyperedge Replacement Grammars. - Christina Jansen; Jonathan Heinen; Joost-Pieter Katoen; Thomas Noll 001 (LATA, 2011)

Safety, Dependability and Performance Analysis of Extended AADL Models. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001; Marco Roveri (Comput. J., 2011)

A Native Approach to Modeling Timed Behavior in the Pi-Calculus. - Kamal Barakat; Stefan Kowalewski; Thomas Noll 001 (TASE, 2012)

Model-based energy optimization of automotive control systems. - Joost-Pieter Katoen; Thomas Noll 001; Hao Wu 013; Thomas Santen; Dirk Seifert (DATE, 2013)

Speeding Up the Safety Verification of Programmable Logic Controller Code. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001 (Haifa Verification Conference, 2013)

Characterization of Failure Effects on AADL Models. - Bernhard Ern; Viet Yen Nguyen; Thomas Noll 001 (SAFECOMP, 2013)

Incremental Construction of Greibach Normal Form. - Markus Bals; Christina Jansen; Thomas Noll 001 (TASE, 2013)

Compositional Analysis Using Component-Oriented Interpolation. - Viet Yen Nguyen; Benjamin Bittner; Joost-Pieter Katoen; Thomas Noll 001 (FACS, 2014)

Safety, Dependability and Performance Analysis of Aerospace Systems. - Thomas Noll 001 (FTSCS, 2014)

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. - Christina Jansen; Florian Göbe; Thomas Noll 001 (ICGT, 2014)

Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. - Christina Jansen; Thomas Noll 001 (ICGT, 2014)

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. - Dimitri Bohlender; Harold Bruintjes; Sebastian Junges; Jens Katelaan; Viet Yen Nguyen; Thomas Noll 001 (ISoLA (2), 2014)

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. - Joost-Pieter Katoen; Thomas Noll 001; Thomas Santen; Dirk Seifert; Hao Wu 013 (MMB/DFT, 2014)

Spacecraft early design validation using formal methods. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Panagiotis Katsaros; Konstantinos Mokos; Viet Yen Nguyen; Thomas Noll 001; Bart Postma; Marco Roveri (Reliab. Eng. Syst. Saf., 2014)

Formal validation methods in model-based spacecraft systems engineering. - Joost-Pieter Katoen; Viet Yen Nguyen; Thomas Noll 001 (Modeling and Simulation-Based Systems Engineering Handbook, 2014)

Tree-Like Grammars and Separation Logic. - Christoph Matheja; Christina Jansen; Thomas Noll 001 (APLAS, 2015)

IC3 Software Model Checking on Control Flow Automata. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001 (FMCAD, 2015)

Security Type Checking for MILS-AADL Specifications. - Kevin van der Pol; Thomas Noll 001 (MILS@HiPEAC, 2015)

Juggrnaut: using graph grammars for abstracting unbounded heap structures. - Jonathan Heinen; Christina Jansen; Joost-Pieter Katoen; Thomas Noll 001 (Formal Methods Syst. Des., 2015)

Verifying pointer programs using graph grammars. - Jonathan Heinen; Christina Jansen; Joost-Pieter Katoen; Thomas Noll 001 (Sci. Comput. Program., 2015)

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. - Christina Jansen; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger (ESOP, 2017)

Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. - Thomas Noll 001; Louis Wachtmeister (MILS, 2017)

Heap Abstraction Beyond Context-Freeness. - Hannah Arndt; Christina Jansen; Christoph Matheja; Thomas Noll 001 (CoRR, 2017)

Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). - Marieke Huisman; Thomas Noll 001; Makoto Tatsuta (NII Shonan Meet. Rep., 2017)

Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. - Hannah Arndt; Christina Jansen; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll 001 (CAV (2), 2018)

Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (CAV (2), 2018)

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. - Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger (LPAR (Workshop and Short Papers), 2018)

Graph-Based Shape Analysis Beyond Context-Freeness. - Hannah Arndt; Christina Jansen; Christoph Matheja; Thomas Noll 001 (SEFM, 2018)

Improving Generalization in Software IC3. - Tim Lange 001; Frederick Prinz; Martin R. Neuhäußer; Thomas Noll 001; Joost-Pieter Katoen (SPIN, 2018)

Quantitative Separation Logic. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll 001 (CoRR, 2018)

Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software. - Daniel Schemmel; Julian Büning; Oscar Soria Dustmann; Thomas Noll 001; Klaus Wehrle (Zenodo, 2018)

COMPASS 3.0. - Marco Bozzano; Harold Bruintjes; Alessandro Cimatti; Joost-Pieter Katoen; Thomas Noll 001; Stefano Tonetta (TACAS (1), 2019)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. - Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Thomas Noll 001 (Proc. ACM Program. Lang., 2019)

Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees. - Sascha Müller 005; Andreas Gerndt; Thomas Noll 001 (J. Aerosp. Inf. Syst., 2019)

Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs. - Christopher Brix; Thomas Noll 001 (CoRR, 2020)

Synthesizing and optimizing FDIR recovery strategies from fault trees. - Sascha Müller 005; Liana Mikaelyan; Andreas Gerndt; Thomas Noll 001 (Sci. Comput. Program., 2020)

IC3 software model checking. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001; Joost-Pieter Katoen (Int. J. Softw. Tools Technol. Transf., 2020)

Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. - Ira Fesefeldt; Christoph Matheja; Thomas Noll 001; Johannes Schulte (ICGT, 2021)

A Modular Approach to Non-deterministic Dynamic Fault Trees. - Sascha Müller 005; Adeline Jordon; Andreas Gerndt; Thomas Noll 001 (SAFECOMP, 2021)

A Debugger for Probabilistic Programs. - Alexander Hoppen; Thomas Noll 001 (SEFM, 2021)

Towards Concurrent Quantitative Separation Logic. - Ira Fesefeldt; Joost-Pieter Katoen; Thomas Noll 001 (CONCUR, 2022)

Foundations for Entailment Checking in Quantitative Separation Logic. - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (ESOP, 2022)

Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. - Philipp Berger 002; Wiebke Lenze; Thomas Noll 001; Simon Schotten; Thorsten Büker; Mario Fietze; Bastian Kogel (FMICS, 2022)

Foundations for Entailment Checking in Quantitative Separation Logic (extended version). - Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Keßler; Christoph Matheja; Thomas Noll 001 (CoRR, 2022)

Quantum Computing: From Weakest Preconditions to Voltage Pulses. - Thomas Noll 001; Christina Gehnen; Roy Hermanns (Principles of Verification (1), 2024)