default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Noll 0001
Person information
- affiliation: RWTH Aachen University, Germany
Other persons with the same name
- Thomas Noll 0002
![[0000-0001-6701-7104]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-6701-7104")
— 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, Joost-Pieter Katoen, Thomas Noll:
Towards Concurrent Quantitative Separation Logic. CONCUR 2022: 25:1-25:24- [c64]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: 57-84 - [c63]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: 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, Christoph Matheja, Thomas Noll, Johannes Schulte:
Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars. ICGT 2021: 283-293 - [c61]Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll:
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, Liana Mikaelyan, Andreas Gerndt, Thomas Noll:
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, Joost-Pieter Katoen:
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, Thomas Noll:
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, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll:
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, 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: 116-132 - [c58]Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta:
COMPASS 3.0. TACAS (1) 2019: 379-385 - 2018
- [c57]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: 3-11 - [c56]Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle:
Symbolic Liveness Analysis of Real-World Software. CAV (2) 2018: 447-466 - [c55]Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll:
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. FTSCS 2018: 37-54 - [c54]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: 23-36 - [c53]Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll:
Graph-Based Shape Analysis Beyond Context-Freeness. SEFM 2018: 271-286 - [c52]Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen:
Improving Generalization in Software IC3. SPIN 2018: 85-102 - [d1]Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle:
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, Christoph Matheja, Thomas Noll, Florian Zuleger:
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. ESOP 2017: 611-638 - [c50]Thomas Noll, Louis Wachtmeister:
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, Florian Zuleger:
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. CoRR abs/1610.07041 (2016) - 2015
- [j10]Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll:
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, Thomas Noll:
Verifying pointer programs using graph grammars. Sci. Comput. Program. 97: 157-162 (2015) - [c49]Christoph Matheja, Christina Jansen, Thomas Noll:
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, 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: 20-35 (2014) - [c46]Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll:
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, Viet Yen Nguyen, Thomas Noll:
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) 2014: 177-192 - [c41]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: 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, Hao Wu, Thomas Santen, Dirk Seifert:
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, 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): 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, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer:
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, Bastian Schlich:
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, Jörg Brauer, Lucas Brutschy:
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Haifa Verification Conference 2009: 5-20 - [c29]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: 121-130 - [c28]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 - [c27]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: 173-186 - [c26]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: 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, Stefan Rieger:
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, Bastian Schlich:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Haifa Verification Conference 2007: 185-201 - [c19]Thomas Noll, Stefan Rieger:
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, Banani Roy, James R. Cordy:
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, 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): 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, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov:
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, Thomas Noll:
Generalised Regular MSC Languages. FoSSaCS 2002: 52-66 - 2001
- [j2]Thomas Noll, Heiko Vogler:
The Universality of Higher-Order Attributed Tree Transducers. Theory Comput. Syst. 34(1): 45-75 (2001) - [c13]Martin Leucker, Thomas Noll:
Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV 2001: 255-259 - [c12]Lars-Åke Fredlund, Dilian Gurov, Thomas Noll:
Semi-Automated Verification of Erlang Code. ASE 2001: 319-323 - [c11]Thomas Noll, Lars-Åke Fredlund, Dilian Gurov:
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, Thomas Noll:
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, Heiko Vogler:
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 21:23 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:
