Thomas Noll - RankMe

94 papers A* 3A 4B 16C 7Misc 2Journal 22Unranked 34

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