Thomas Noll
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
24
Active years
1993–2026
Best venue rank
A*
Where they publish
- A*CAV4 papers
- BSAFECOMP3 papers
- ATACAS3 papers
- BCONCUR2 papers
- AESOP2 papers
- BSEFM2 papers
- NationalTASE2 papers
- BFOSSACS2 papers
- BICGT1 paper
- CFMICS1 paper
- BLPAR1 paper
- BAPLAS1 paper
- BFMCAD1 paper
- CISoLA1 paper
- ADATE1 paper
- CLATA1 paper
- CSCOPES1 paper
- CHPCC1 paper
- CMEMOCODE1 paper
- AMODELS1 paper
- BFM1 paper
- CICTAC1 paper
- CRSP1 paper
- CPDP1 paper
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICGT | Approximately Compatible Graph Predicates - Verifying Program Termination Using Graph Grammars. | Alexander Ferber, Ira Fesefeldt, Thomas Noll, Emmett Rayes |
| 2022 | CONCUR | Towards Concurrent Quantitative Separation Logic. | Ira Fesefeldt, Joost-Pieter Katoen, Thomas Noll |
| 2022 | ESOP | Foundations for Entailment Checking in Quantitative Separation Logic. | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keler, Christoph Matheja, Thomas Noll |
| 2022 | FMICS | Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. | Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Bker, Mario Fietze, Bastian Kogel |
| 2021 | SAFECOMP | A Modular Approach to Non-deterministic Dynamic Fault Trees. | Sascha Mller, Adeline Jordon, Andreas Gerndt, Thomas Noll |
| 2021 | SEFM | A Debugger for Probabilistic Programs. | Alexander Hoppen, Thomas Noll |
| 2019 | TACAS | COMPASS 3.0. | Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, 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, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | CAV | Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll |
| 2018 | CAV | Symbolic Liveness Analysis of Real-World Software. | Daniel Schemmel, Julian Bning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle |
| 2018 | LPAR | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2018 | SEFM | Graph-Based Shape Analysis Beyond Context-Freeness. | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll |
| 2017 | ESOP | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2015 | APLAS | Tree-Like Grammars and Separation Logic. | Christoph Matheja, Christina Jansen, Thomas Noll |
| 2015 | FMCAD | IC3 Software Model Checking on Control Flow Automata. | Tim Lange, Martin R. Neuhuer, Thomas Noll |
| 2014 | ISoLA | 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 |
| 2013 | DATE | Model-based energy optimization of automotive control systems. | Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert |
| 2013 | SAFECOMP | Characterization of Failure Effects on AADL Models. | Bernhard Ern, Viet Yen Nguyen, Thomas Noll |
| 2013 | TASE | Incremental Construction of Greibach Normal Form. | Markus Bals, Christina Jansen, Thomas Noll |
| 2012 | TASE | A Native Approach to Modeling Timed Behavior in the Pi-Calculus. | Kamal Barakat, Stefan Kowalewski, Thomas Noll |
| 2011 | LATA | A Local Greibach Normal Form for Hyperedge Replacement Grammars. | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll |
| 2010 | CAV | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2010 | SCOPES | Interval analysis of microcontroller code using abstract interpretation of hardware and software. | Jrg Brauer, Thomas Noll, Bastian Schlich |
| 2009 | HPCC | A Streaming Intrusion Detection System for Grid Computing Environments. | Matthew Smith, Fabian Schwarzer, Marian Harbach, Thomas Noll, Bernd Freisleben |
| 2009 | MEMOCODE | Codesign of dependable systems: A component-based modeling language. | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
| 2009 | MODELS | Model-Based Codesign of Critical Embedded Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2009 | SAFECOMP | The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri |
| 2008 | FM | Verifying Dynamic Pointer-Manipulating Threads. | Thomas Noll, Stefan Rieger |
| 2007 | ICTAC | Composing Transformations to Optimize Linear Code. | Thomas Noll, Stefan Rieger |
| 2002 | FOSSACS | Generalised Regular MSC Languages. | Benedikt Bollig, Martin Leucker, Thomas Noll |
| 2001 | CAV | Truth/SLC - A Parallel Verification Platform for Concurrent Systems. | Martin Leucker, Thomas Noll |
| 2001 | TACAS | The Erlang Verification Tool. | Thomas Noll, Lars-ke Fredlund, Dilian Gurov |
| 1999 | CONCUR | On Coherence Properties in Team Rewriting Models of Concurrency. | Thomas Noll |
| 1999 | RSP | Rapid Prototyping of Specification Language Implementations. | Martin Leucker, Thomas Noll |
| 1998 | FOSSACS | The WHILE Hierarchy of Program Schemes Is Infinite. | Can Adam Albayrak, Thomas Noll |
| 1993 | PDP | Hierarchical parallelization of imperative programs. | Andrea Kindler, Thomas Noll, Bernhard Steffen |