default search action
Thomas Noll 0001
Person information
- affiliation: RWTH Aachen University, Germany
Other persons with the same name
- Thomas Noll 0002
— Escola Superior de Música de Catalunya, Barcelona, Spain
- Thomas Noll 0003 — University of Marburg, Marburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c65]Ira Fesefeldt
Towards Concurrent Quantitative Separation Logic. CONCUR 2022: 25:1-25:24 - [c64]Kevin Batz
Foundations for Entailment Checking in Quantitative Separation Logic. ESOP 2022: 57-84 - [c63]Philipp Berger
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. FMICS 2022: 121-133 - [e1]Helen Bolke-Hermanns, Joost-Pieter Katoen, Klaus Indermark, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas:
50 Jahre Studiengang Informatik an der RWTH. RWTH Aachen, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften, Germany 2022 - [i7]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 abs/2201.11464 (2022) - [i6]Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll:
Towards Concurrent Quantitative Separation Logic. CoRR abs/2207.02822 (2022) - 2021
- [c62]Ira Fesefeldt
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. ICGT 2021: 283-293 - [c61]Sascha Müller
A Modular Approach to Non-deterministic Dynamic Fault Trees. SAFECOMP 2021: 243-257 - [c60]Alexander Hoppen, Thomas Noll
A Debugger for Probabilistic Programs. SEFM 2021: 282-289 - 2020
- [j14]Sascha Müller
Synthesizing and optimizing FDIR recovery strategies from fault trees. Sci. Comput. Program. 196: 102478 (2020) - [j13]Tim Lange, Martin R. Neuhäußer, Thomas Noll
IC3 software model checking. Int. J. Softw. Tools Technol. Transf. 22(2): 135-161 (2020) - [i5]Christopher Brix, Thomas Noll
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs. CoRR abs/2006.09040 (2020)
2010 – 2019
- 2019
- [j12]Sascha Müller, Andreas Gerndt
Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees. J. Aerosp. Inf. Syst. 16(2): 52-60 (2019) - [j11]Kevin Batz, Benjamin Lucien Kaminski
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Proc. ACM Program. Lang. 3(POPL): 34:1-34:29 (2019) - [c59]Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 2019: 116-132 - [c58]Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll
COMPASS 3.0. TACAS (1) 2019: 379-385 - 2018
- [c57]Hannah Arndt, Christina Jansen, Joost-Pieter Katoen
Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. CAV (2) 2018: 3-11 - [c56]Daniel Schemmel
Symbolic Liveness Analysis of Real-World Software. CAV (2) 2018: 447-466 - [c55]Liana Mikaelyan
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. FTSCS 2018: 37-54 - [c54]Jens Katelaan
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. LPAR (Workshop and Short Papers) 2018: 23-36 - [c53]Hannah Arndt, Christina Jansen, Christoph Matheja
Graph-Based Shape Analysis Beyond Context-Freeness. SEFM 2018: 271-286 - [c52]Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll
Improving Generalization in Software IC3. SPIN 2018: 85-102 - [d1]Daniel Schemmel
Artifact for the CAV 2018 Paper: Symbolic Liveness Analysis of Real-World Software. Zenodo, 2018 - [i4]Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll
Quantitative Separation Logic. CoRR abs/1802.10467 (2018) - 2017
- [c51]Christina Jansen, Jens Katelaan
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. ESOP 2017: 611-638 - [c50]Thomas Noll
Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. MILS 2017 - [i3]Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
Heap Abstraction Beyond Context-Freeness. CoRR abs/1705.03754 (2017) - [i2]Marieke Huisman, Thomas Noll, Makoto Tatsuta:
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). NII Shonan Meet. Rep. 2017 (2017) - 2016
- [i1]Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. CoRR abs/1610.07041 (2016) - 2015
- [j10]Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen
Juggrnaut: using graph grammars for abstracting unbounded heap structures. Formal Methods Syst. Des. 47(2): 159-203 (2015) - [j9]Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen
Verifying pointer programs using graph grammars. Sci. Comput. Program. 97: 157-162 (2015) - [c49]Christoph Matheja
Tree-Like Grammars and Separation Logic. APLAS 2015: 90-108 - [c48]Tim Lange, Martin R. Neuhäußer, Thomas Noll:
IC3 Software Model Checking on Control Flow Automata. FMCAD 2015: 97-104 - [c47]Kevin van der Pol, Thomas Noll:
Security Type Checking for MILS-AADL Specifications. MILS@HiPEAC 2015 - 2014
- [j8]Marco Bozzano
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132: 20-35 (2014) - [c46]Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen
Compositional Analysis Using Component-Oriented Interpolation. FACS 2014: 68-85 - [c45]Thomas Noll
Safety, Dependability and Performance Analysis of Aerospace Systems. FTSCS 2014: 17-31 - [c44]Christina Jansen, Thomas Noll
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. ICGT 2014: 49-64 - [c43]Christina Jansen, Florian Göbe, Thomas Noll
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. ICGT 2014: 65-80 - [c42]Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) 2014: 177-192 - [c41]Joost-Pieter Katoen
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. MMB/DFT 2014: 57-72 - [p1]Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll:
Formal validation methods in model-based spacecraft systems engineering. Modeling and Simulation-Based Systems Engineering Handbook 2014: 339-376 - 2013
- [c40]Joost-Pieter Katoen, Thomas Noll
Model-based energy optimization of automotive control systems. DATE 2013: 761-766 - [c39]Tim Lange, Martin R. Neuhäußer, Thomas Noll
Speeding Up the Safety Verification of Programmable Logic Controller Code. Haifa Verification Conference 2013: 44-60 - [c38]Bernhard Ern, Viet Yen Nguyen, Thomas Noll
Characterization of Failure Effects on AADL Models. SAFECOMP 2013: 241-252 - [c37]Markus Bals, Christina Jansen, Thomas Noll
Incremental Construction of Greibach Normal Form. TASE 2013: 165-168 - 2012
- [c36]Kamal Barakat, Stefan Kowalewski, Thomas Noll
A Native Approach to Modeling Timed Behavior in the Pi-Calculus. TASE 2012: 253-256 - 2011
- [j7]Marco Bozzano
Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5): 754-775 (2011) - [c35]Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll
A Local Greibach Normal Form for Hyperedge Replacement Grammars. LATA 2011: 323-335 - 2010
- [c34]Marco Bozzano, Alessandro Cimatti
A Model Checker for AADL. CAV 2010: 562-565 - [c33]Viet Yen Nguyen, Thomas Noll, Max Odenbrett:
Slicing AADL Specifications for Model Checking. NASA Formal Methods 2010: 217-221 - [c32]Jörg Brauer, Thomas Noll
Interval analysis of microcontroller code using abstract interpretation of hardware and software. SCOPES 2010: 3 - [c31]Volker Kamin, Thomas Noll:
Loop Refinement Using Octagons and Satisfiability. SSV 2010
2000 – 2009
- 2009
- [c30]Bastian Schlich, Thomas Noll
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference 2009: 5-20 - [c29]Marco Bozzano
Codesign of dependable systems: A component-based modeling language. MEMOCODE 2009: 121-130 - [c28]Marco Bozzano
Model-Based Codesign of Critical Embedded Systems. ACES-MB@MoDELS 2009 - [c27]Marco Bozzano, Alessandro Cimatti
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. SAFECOMP 2009: 173-186 - [c26]Marco Bozzano
Verification and performance evaluation of aadl models. ESEC/SIGSOFT FSE 2009: 285-286 - [c25]Jonathan Heinen, Thomas Noll, Stefan Rieger:
Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. TTSS 2009: 93-107 - 2008
- [c24]Thomas Noll
Verifying Dynamic Pointer-Manipulating Threads. FM 2008: 84-99 - [c23]Stefan Rieger, Thomas Noll
Abstracting Complex Data Structures by Hyperedge Replacement. ICGT 2008: 69-83 - [c22]Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
Proving Correctness of an Efficient Abstraction for Interrupt Handling. SSV 2008: 133-150 - [c21]Lars Helge Haß, Thomas Noll
Equational Abstractions for Reducing the State Space of Rewrite Theories. WRLA 2008: 139-154 - 2007
- [c20]Thomas Noll
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference 2007: 185-201 - [c19]Thomas Noll
Composing Transformations to Optimize Linear Code. ICTAC 2007: 425-439 - 2006
- [j6]Klaus Indermark, Thomas Noll
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Informatica 43(1): 1-43 (2006) - [j5]Thomas Noll, Stefan Rieger:
Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends 26(2) (2006) - [c18]Chanchal Kumar Roy, Thomas Noll
Towards automatic verification of Erlang programs by pi-calculus translation. Erlang Workshop 2006: 38-50 - [c17]Martin R. Neuhäußer, Thomas Noll
Abstraction and Model Checking of Core Erlang Programs in Maude. WRLA 2006: 147-163 - 2005
- [j4]Martin Leucker
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Int. J. Softw. Tools Technol. Transf. 7(2): 184-194 (2005) - [c16]Thomas Noll, Chanchal Kumar Roy:
Modeling Erlang in the pi-calculus. Erlang Workshop 2005: 72-77 - 2003
- [j3]Lars-Åke Fredlund
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4(4): 405-420 (2003) - [c15]Thomas Noll
Equational Abstractions for Model Checking Erlang Programs. SVV@ICLP 2003: 145-162 - 2002
- [c14]Benedikt Bollig, Martin Leucker
Generalised Regular MSC Languages. FoSSaCS 2002: 52-66 - 2001
- [j2]Thomas Noll
The Universality of Higher-Order Attributed Tree Transducers. Theory Comput. Syst. 34(1): 45-75 (2001) - [c13]Martin Leucker
Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV 2001: 255-259 - [c12]Lars-Åke Fredlund, Dilian Gurov
Semi-Automated Verification of Erlang Code. ASE 2001: 319-323 - [c11]Thomas Noll
The Erlang Verification Tool. TACAS 2001: 582-586 - [c10]Thomas Noll
A Rewriting Logic Implementation of Erlang. LDTA@ETAPS 2001: 206-224 - 2000
- [c9]Thomas Arts, Thomas Noll
Verifying Generic Erlang Client-Server Implementations. IFL 2000: 37-52 - [c8]Martin Leucker
Rewriting Logic as a Framework for Generic Verification Tools. WRLA 2000: 121-137
1990 – 1999
- 1999
- [c7]Thomas Noll
On Coherence Properties in Team Rewriting Models of Concurrency. CONCUR 1999: 478-493 - [c6]Martin Leucker, Thomas Noll
Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping 1999: 60-65 - 1998
- [c5]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: 409-428 - [c4]Can Adam Albayrak, Thomas Noll
The WHILE Hierarchy of Program Schemes Is Infinite. FoSSaCS 1998: 35-47 - [c3]Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies:
Truth - A verification platform for concurrent systems. Tool Support for System Specification, Development and Verification 1998: 150-159 - 1995
- [b1]Thomas Noll:
Klassen applikativer Programmschemata und ihre Berechnungsstärke. RWTH Aachen University, Germany, Shaker 1995, ISBN 978-3-8265-1093-9, pp. 1-154 - 1994
- [j1]Thomas Noll
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundam. Informaticae 20(4): 285-332 (1994) - [c2]Thomas Noll
On the First-Order Equivalence of Call-by-Name and Call-by-Value. CAAP 1994: 246-260 - 1993
- [c1]Andrea Kindler, Thomas Noll, Bernhard Steffen:
Hierarchical parallelization of imperative programs. PDP 1993: 178-184
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: