Thomas Noll

ORCID

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 31

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
Towards Concurrent Quantitative Separation Logic. CONCUR (2022)
Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll
Towards Concurrent Quantitative Separation Logic. CoRR (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic. ESOP (2022)
Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. FMICS (2022)
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Foundations for Entailment Checking in Quantitative Separation Logic (extended version). CoRR (2022)
Ira Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. ICGT (2021)
Alexander Hoppen, Thomas Noll
A Debugger for Probabilistic Programs. SEFM (2021)
Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll
A Modular Approach to Non-deterministic Dynamic Fault Trees. SAFECOMP (2021)
Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
IC3 software model checking. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll
Synthesizing and optimizing FDIR recovery strategies from fault trees. Sci. Comput. Program. 196 (2020)
Christopher Brix, Thomas Noll
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs. CoRR (2020)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
COMPASS 3.0. TACAS (1) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. LPAR (Workshop and Short Papers) (2018)
Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. CAV (2) (2018)
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Graph-Based Shape Analysis Beyond Context-Freeness. SEFM (2018)
Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. FTSCS (2018)
Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
Improving Generalization in Software IC3. SPIN (2018)
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
Symbolic Liveness Analysis of Real-World Software. CAV (2) (2018)
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative Separation Logic. CoRR (2018)
Marieke Huisman, Thomas Noll, Makoto Tatsuta
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). NII Shonan Meet. Rep. 2017 (2017)
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. ESOP (2017)
Thomas Noll, Louis Wachtmeister
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. MILS (2017)
Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Heap Abstraction Beyond Context-Freeness. CoRR (2017)
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. CoRR (2016)
Christoph Matheja, Christina Jansen, Thomas Noll
Tree-Like Grammars and Separation Logic. APLAS (2015)
Tim Lange, Martin R. Neuhäußer, Thomas Noll
IC3 Software Model Checking on Control Flow Automata. FMCAD (2015)
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Verifying pointer programs using graph grammars. Sci. Comput. Program. 97 (2015)
Kevin van der Pol, Thomas Noll
Security Type Checking for MILS-AADL Specifications. MILS@HiPEAC (2015)
Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll
Juggrnaut: using graph grammars for abstracting unbounded heap structures. Formal Methods Syst. Des. 47 (2) (2015)
Thomas Noll
Safety, Dependability and Performance Analysis of Aerospace Systems. FTSCS (2014)
Christina Jansen, Thomas Noll
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. ICGT (2014)
Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. MMB/DFT (2014)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132 (2014)
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) (2014)
Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll
Compositional Analysis Using Component-Oriented Interpolation. FACS (2014)
Christina Jansen, Florian Göbe, Thomas Noll
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. ICGT (2014)
Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert
Model-based energy optimization of automotive control systems. DATE (2013)
Bernhard Ern, Viet Yen Nguyen, Thomas Noll
Characterization of Failure Effects on AADL Models. SAFECOMP (2013)
Tim Lange, Martin R. Neuhäußer, Thomas Noll
Speeding Up the Safety Verification of Programmable Logic Controller Code. Haifa Verification Conference (2013)
Markus Bals, Christina Jansen, Thomas Noll
Incremental Construction of Greibach Normal Form. TASE (2013)
Kamal Barakat, Stefan Kowalewski, Thomas Noll
A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE (2012)
Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
A Local Greibach Normal Form for Hyperedge Replacement Grammars. LATA (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54 (5) (2011)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
A Model Checker for AADL. CAV (2010)
Volker Kamin, Thomas Noll
Loop Refinement Using Octagons and Satisfiability. SSV (2010)
Jörg Brauer, Thomas Noll, Bastian Schlich
Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES (2010)
Jonathan Heinen, Thomas Noll, Stefan Rieger
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. Electron. Notes Theor. Comput. Sci. 266 (2010)
Viet Yen Nguyen, Thomas Noll, Max Odenbrett
Slicing AADL Specifications for Model Checking. NASA Formal Methods (2010)
Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference (2009)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Codesign of dependable systems: A component-based modeling language. MEMOCODE (2009)
Marco 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)
Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll
Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE (2009)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS (2009)
Lars Helge Haß, Thomas Noll
Equational Abstractions for Reducing the State Space of Rewrite Theories. WRLA (2008)
Stefan Rieger, Thomas Noll
Abstracting Complex Data Structures by Hyperedge Replacement. ICGT (2008)
Thomas Noll, Stefan Rieger
Verifying Dynamic Pointer-Manipulating Threads. FM (2008)
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electron. Notes Theor. Comput. Sci. 217 (2008)
Thomas Noll, Bastian Schlich
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference (2007)
Thomas Noll, Stefan Rieger
Composing Transformations to Optimize Linear Code. ICTAC (2007)
Klaus Indermark, Thomas Noll
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Informatica 43 (1) (2006)
Martin R. Neuhäußer, Thomas Noll
Abstraction and Model Checking of Core Erlang Programs in Maude. WRLA (2006)
Chanchal Kumar Roy, Thomas Noll, Banani Roy, James R. Cordy
Towards automatic verification of Erlang programs by pi-calculus translation. Erlang Workshop (2006)
Thomas Noll, Stefan Rieger
Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends 26 (2) (2006)
Thomas Noll
Equational Abstractions for Model Checking Erlang Programs. Electron. Notes Theor. Comput. Sci. 118 (2005)
Thomas Noll, Chanchal Kumar Roy
Modeling Erlang in the pi-calculus. Erlang Workshop (2005)
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Benedikt Bollig, Martin Leucker, Thomas Noll
Generalised Regular MSC Languages. FoSSaCS (2002)
Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
The Erlang Verification Tool. TACAS (2001)
Thomas Noll
A Rewriting Logic Implementation of Erlang. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
Semi-Automated Verification of Erlang Code. ASE (2001)
Martin Leucker, Thomas Noll
Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV (2001)
Thomas Noll, Heiko Vogler
The Universality of Higher-Order Attributed Tree Transducers. Theory Comput. Syst. 34 (1) (2001)
Martin Leucker, Thomas Noll
Rewriting Logic as a Framework for Generic Verification Tools. WRLA (2000)
Thomas Arts, Thomas Noll
Verifying Generic Erlang Client-Server Implementations. IFL (2000)
Martin Leucker, Thomas Noll
Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping (1999)
Thomas Noll
On Coherence Properties in Team Rewriting Models of Concurrency. CONCUR (1999)
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies
Truth - A verification platform for concurrent systems. Tool Support for System Specification, Development and Verification (1998)
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, Norbert Sensen
An Integrated Approach to Semantic Evaluation and Content-Based Retrieval of Multimedia Documents. ECDL (1998)
Can Adam Albayrak, Thomas Noll
The WHILE Hierarchy of Program Schemes Is Infinite. FoSSaCS (1998)
Thomas Noll, Heiko Vogler
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundam. Informaticae 20 (4) (1994)
Thomas Noll
On the First-Order Equivalence of Call-by-Name and Call-by-Value. CAAP (1994)
Andrea Kindler, Thomas Noll, Bernhard Steffen
Hierarchical parallelization of imperative programs. PDP (1993)

Thomas Noll.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Noll