| 2026 |
|---|
| DOI | Martin Baum. Heuristic circuit mapping strategies for the SpinBus architecture,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2026. |
| Samuel Akinlaja. Which probabalistic programs are modelcheckable?,
2026. |
| DOI | Jonas Seidel. Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2026. |
| Xufei Xie. Visualizing execution-schedules for conveyor-based quantum computing hardware,
2026. |
| Felix Euting. Distribution transformers for probabilistic programs: a study of inductive definability,
2026. |
| 2025 |
|---|
| DOI | Thomas Noll, Christina Gehnen, Roy Hermanns. Quantum Computing: From Weakest Preconditions to Voltage Pulses,
Principles of verification: cycling the probabilistic landscape, part 1 / nils jansen, sebastian junges, benjamin lucien kaminski, christoph matheja, thomas noll, tim quatmann, mariëlle stoelinga, matthias volk, editors, 201-229, Springer, 2025. |
| DOI | . Principles of verification: cycling the probabilistic landscape, Part 1,
xix, 447 Seiten : Illustrationen, Diagramme, Springer, 2025. |
| DOI | . Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, Part 2,
xiv, 395 Seiten : Illustrationen, Springer, 2025. |
| DOI | . Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th Birthday, Part 3,
xv, 503 Seiten : Illustrationen, Diagramme, Springer, 2025. |
| DOI | Dominik Geißler. Automata-based semantics for the probabilistic programming language ReDiP,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Emil Beothy-Elo. Effective quantifier-based reasoning for quantitative deductive verification,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| Elbeck Lazaridi. Implementing the denotational semantics of probabilistic programs,
2025. |
| DOI | Marcel Eissing. On the relation of rely-guarantee and assume-guarantee reasoning,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| Johannes Peter Valentin Gaidetzka. Quantum circuit optimization through eliminating and deferring mid-circuit measurements,
2025. |
| Glen Jordan Grant. Exploration of certificate sharing for neural network verification,
2025. |
| Sophia Greiwe. Implementation of PRNG-based elimination of intermediate measurements in quantum circuits,
2025. |
| DOI | Mareike Metzler. Evaluating tool support for fault tree analysis of satellite constellations,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| Dobromir Panayotov. Scalable qubit routing on the conveyor-based SpinBus architecture,
2025. |
| Rico Stanosek. Cost-reliability optimal spare part allocation in dynamic fault trees with relaxed spare gates,
2025. |
| Sascha Thiemann. Compilation of quantum programs with control flow primitives in superposition,
2025. |
| Muhammad Asad Murtaza Butt. Extending the assume–guarantee framework for parametric probabilistic automata : From robust valuations to the limits of robust strategies,
2025. |
| DOI | Dominic Sebastian Meiser. Multi‐agent path finding for reversible conveyors,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2025. |
| DOI | Christopher Jan-Steffen Brix, Julia Walczak, Nils Michael Lommen, Thomas Noll. Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems,
ICLR 2025 workshop: VerifAI: AI verification in the wild : ICLR 2025 workshop VerifAI singapore, apr 27 2025, 1-53, 2025. |
| 2024 |
|---|
| DOI | Alexander Ferber. Combining integer programs and graph grammars: Theory and implementation in Attestor,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Tom Biskup. Invariant-based strategy synthesis for nondeterministic probabilistic programs,
1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
| DOI | Naomi Barth. Compositional control-flow reduction for probabilistic model checking,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Johannes Lehmann. Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Songran Shi. Application of Reinforcement Learning to the Game of Reversi++,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Anastasiia Petrova. Model checking pPDA vs unambiguous automata,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| DOI | Dinis Vitorino. Most probable explanations in Bayesian Networks via weighted programming,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| Frederik Heigold. Semantics-preserving transformation of Java source code,
2024. |
| Roy Hermanns. Optimized routing for shuttling-based quantum processing architectures,
2024. |
| Jakob Sprang. Heuristic synthesis of spare parts inventories using dynamic fault trees,
2024. |
| Sven Büge. Implementing Goal-HSVI for POMDPs in the probabilistic model checker Storm,
2024. |
| DOI | Patrick Nossol. Entailments in quantitative separation logic with recursive definitions: constructing cyclyc proofs,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2024. |
| Daniel Johannes Zilken. Distributional invariants for probabilistic programs,
2024. |
| Yejun Tang. Transfer of branching heuristics for neural network verification to alpha-beta-CROWN and evaluation of large-scale verification benchmarks,
2024. |
| Julia Walczak. Testing the applicability of robustness evaluation methods for neural networks on nonlinear real arithmetic problems using α-β-CROWN and foolbox,
2024. |
| Patrick Arens. MARVEL: A stepwise debugging tool for Markov models in the PRISM-language,
2024. |
| 2023 |
|---|
| DOI | Yussur Mustafa Oraji. Evaluating static analysis techniques to accelerate data race detection for MPI RMA,
1 Online-Ressource : Diagramme, RWTH Aachen University, 2023. |
| DOI | Sascha Müller. Synthesizing FDIR recovery strategies for space systems,
1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2023. |
| DOI | . 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung,
1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023. |
| Felix Faber. Comparison of symbolic maximal end component decomposition algorithms,
61 Seiten : Illustrationen, Diagramme, 2023. |
| Gergana Tropcheva. Strategy computation for a Markovian disease spread model,
2023. |
| Umut Yigit Dural. Automatic algorithm selection for probabilistic model checking using machine learning,
2023. |
| Jialei Yao. Representing Markov models by extending the intermediate model checking language,
67 Seiten : Illustrationen, 2023. |
| Timm Spork. Approximate probabilistic bisimulations and quotienting,
186 Seiten : Illustrationen, 2023. |
| Stefan Busch. Slicing COBOL software for program understanding,
2023. |
| Daniel Alexander Heinen. Architecture-oriented safety verification of transformer networks via program analysis,
2023. |
| Ebru Kusak. Automated assessment of regular expressions,
2023. |
| Lasse Woude. Evaluation of out-of-distribution detection techniques for dataset filtering,
2023. |
| 2022 |
|---|
| DOI | Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic,
Programming languages and systems : 31st european symposium on programming, ESOP 2022, held as part of the european joint conferences on theory and practice of software, ETAPS 2022, munich, germany, april 2–7, 2022, proceedings / edited by ilya sergey, 57-84, Springer International Publishing, 2022. |
| Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen",
33-37, DVV Media Group, Eurailpress, 2022. |
| Darion Haase. A unified slicing framework for probabilistic programs,
2022. |
| Lisa Pühl. Verification of neural networks using binary tree search for branching,
2022. |
| DOI | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic,
33rd international conference on concurrency theory (CONCUR 2022) / herausgeber: Bartek klin, slawomir lasota, anca muscholl, 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. |
| DOI | Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic,
[1]-62, 2022. |
| . 50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild,
152 Seiten : Illustrationen, Diagramme, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen, 2022. |
| DOI | Mohamed Khalifa. Termination analysis of procedural pointer programs modelled by graph grammars,
1 Online-Ressource : Diagramme, RWTH Aachen University, 2022. |
| DOI | Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel. Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining,
Formal methods for industrial critical systems : 27th international conference, FMICS 2022, warsaw, poland, september 14–15, 2022, proceedings / edited by jan friso groote, marieke huisman, 121-133, Springer, 2022. |
| Jan Jeremy Tugsbayar. Verification of leader election protocols for dynamic networks,
2022. |
| Dominic Sebastian Meiser. Design and evaluation of a probabilistic pointer programming language using Monte-Carlo simulation,
2022. |
| DOI | Wiebke Lenze, Bastian Kogel, Simon Schotten, Thorsten Büker, Thomas Noll, Philipp Berger, Mario Fietze. Identification of Bottlenecks in Rail Infrastructure,
Proceedings of the fifth international conference on railway technology: Research, development and maintenance edited by J. Pombo civil-comp conferences. - Volume 1, 23.12, Civil-Comp Press, 2022. |
| Denis Kuksaus. Markow-Entscheidungsprozesse mit mehreren Agenten : Ein Überblick mit Fokus auf effiziente Aufgabenverteilung,
2022. |
| Jan Erik Karuc. Verifying parametric Markov models using decision diagrams,
2022. |
| DOI | Christina Gehnen. POMDP-based execution models for probabilistic programs with partial observability,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2022. |
| Jonas Seidel. Comparison of heuristics for branching in neural network verification,
75 Seiten : Illustrationen, 2022. |
| Caroline Jabs. Novelty-detection-based split selection heuristics for neural network verification,
2022. |
| Ben Sturgis. Automatic verification of loop invariants in weighted programs,
2022. |
| Christian Blumenthal. Inference in discrete probabilistic programs using probability generating functions,
2022. |
| Laura Bamberger. Implementation of an LTL model checker for probabilistic pushdown automata,
2022. |
| 2021 |
|---|
| DOI | Dario Veltri. Learning probabilistic automata with SMT solving,
71 Seiten, RWTH Aachen University, 2021. |
| Mengying Xue. Efficient analysis of time-bounded reachability in markov automata,
2021. |
| DOI | Ira Justus Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars,
Graph transformation : 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, june 24-25, 2021, proceedings, 283-293, Springer International Publishing, 2021. |
| Domenic Quirl. IDE-Ready parsing of compile-time dynamic languages,
2021. |
| Patrick Arens. Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs,
2021. |
| Marvin Jansen. Decidability and complexity of entailment checking in quantitative separation logic,
2021. |
| Niklas Kotowski. Accelerating symbolic simulation to analyze the effect of delays in train timetables,
70 S., 2021. |
| DOI | Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll. A Modular Approach to Non-deterministic Dynamic Fault Trees,
Computer safety, reliability, and security : 40th international conference, SAFECOMP 2021, york, UK, september 8–10, 2021, proceedings / edited by ibrahim habli, mark sujan, friedemann bitsch, 243-257, Springer International Publishing, 2021. |
| DOI | Alexander Hoppen, Thomas Noll. A Debugger for Probabilistic Programs,
Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, december 6–10, 2021, proceedings / edited by radu calinescu, corina S. Păsăreanu, 282-289, Springer, 2021. |
| Felix Tomski. Developing an on-the-fly vector clock exchange for distributed memory systems using the generic tool infrastructure,
89 S., 2021. |
| Fabian Gasser. Analysis of concurrent probabilistic programs with shared variables,
27 Seiten, 2021. |
| DOI | Christina Gehnen. Automata-based model checking of recursive systems,
1 Online-Ressource: Illustrationen, RWTH Aachen University, 2021. |
| 2020 |
|---|
| DOI | Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking,
135-161, Springer, 2020. |
| Thomas Vogt. Learning RFSA in Reverse,
2020. |
| DOI | Dan-Tuong Le. Quantitative Analysis of Counterexample Generation for Automata Learning,
2020. |
| DOI | Christopher Jan-Steffen Brix, Thomas Noll. Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs,
12 Seiten, 2020. |
| DOI | Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll. Synthesizing and optimizing FDIR recovery strategies from fault trees,
102478, Elsevier Science, 2020. |
| Alexander Hoppen. Design and implementation of an interactive exploration tool for probabilistic programs,
124 Seiten, 2020. |
| Christopher Brix. Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds,
2020. |
| DOI | Linus Heck. Gradient descent on parametric Markov Chains,
31 Seiten, 2020. |
| DOI | Mohamed Khalifa. Implementation of a Predicate-Guided Termination Analysis for Pointer Programs,
2020. |
| Adrian Gallus. RPrIC3: PrIC3 for expected rewards,
2020. |
| DOI | Daniel Basgöze. Dynamic fault tree analysis using binary decision diagrams,
76 Seiten, 2020. |
| Lars Beckers. A petri net semantics for boolean-logic driven markov processes,
55 Seiten, 2020. |
| Robin Drahovsky. Parameter synthesis in bayesian networks,
2020. |
| 2019 |
|---|
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs,
34, ACM, 2019. |
| DOI | Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees,
Formal techniques for safety-critical systems : 6th international workshop, FTSCS 2018, gold coast, australia, november 16, 2018 : revised selected papers / cyrille artho, peter csaba ölveczky, editors, 37-54, Springer, 2019. |
| DOI | Ira Justus Fesefeldt. Proving termination of pointer programs on top of symbolic execution,
118 S., 2019. |
| DOI | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0,
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, held as part of the european joint conferences on theory and practice of software, ETAPS 2019, prague, czech republic, april 6-11, 2019 : proceedings / tomáš vojnar, lijun zhang (eds.). - Part 1, 379-385, Springer Open, 2019. |
| 2018 |
|---|
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness,
Software engineering and formal methods : 16th international conference, SEFM 2018, held as part of STAF 2018, toulouse, france, june 27-29, 2018 : proceedings / einar broch johnsen, ina schaefer (eds.), 271-286, Springer, 2018. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs,
159 Seiten, 2018. |
| DOI | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph Be Your Witness! : An Attestor for Verifying Java Pointer Programs,
Computer aided verification : 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, oxford, UK, july 14-17, 2018, proceedings, part II / edited by hana chockler, georg weissenbacher, 3-11, Springer, 2018. |
| DOI | Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software,
Computer aided verification : 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, oxford, UK, july 14-17, 2018, proceedings, part II / edited by hana chockler, georg weissenbacher, 447-466, Springer, 2018. |
| DOI | Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3,
Model checking software : 25th international symposium, SPIN 2018, malaga, spain, june 20-22, 2018 : proceedings / maria del mar gallardo, pedro merino (eds.), 85-102, Springer, 2018. |
| DOI | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic,
LPAR-22 : 22nd international conference on logic for programming, artificial intelligence and reasoning / editors: Gilles barthe, geoff sutcliffe and margus veanes, 23-36, EasyChair, 2018. |
| DOI | Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees,
2018. |
| 2017 |
|---|
| DOI | Christina Jansen. Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic,
1 Online-Ressource (xi, 286 Seiten) : Diagramme, 2017. |
| DOI | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic,
Programming languages and systems : 26th european symposium on programming, ESOP 2017, held as part of the european joint conferences on theory and practice of software, ETAPS 2017, uppsala, sweden, april 22-29, 2017 : proceedings / hongseok yang (ed.), 611-638, Springer, 2017. |
| DOI | Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications,
[embeddedworld exibition & conference, 2017-03-14 - 2017-03-16, nuremberg, germany], 5 Seiten, Zenodo, 2017. |
| DOI | Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees,
AIAA space and astronautics forum and exposition 2017 : Orlando, florida, USA, 12-14 september 2017 / american institute of aeronautics and astronautics. - Volume 2, 1140-1149, Curran Associates, Inc., 2017. |
| Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset,
2 Seiten, 2017. |
| DOI | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems : Achievements and Challenges,
Cyber-physical system design from an architecture analysis viewpoint : Communications of NII shonan meetings / edited by shin nakajima, jean-pierre talpin, masumi toyoshima, huafeng yu, 133-159, Springer Singapore, 2017. |
| Marieke Huisman, Thomas Noll, Makoto Tatsuta. Analysis and Verification of Pointer Programs : October 2-5, 2017,
15 Seiten, National Institute of Informatics, 2017. |
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness,
44 Seiten, 2017. |
| 2016 |
|---|
| DOI | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic,
115 Seiten, 2016. |
| 2015 |
|---|
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying pointer programs using graph grammars,
157-162, Elsevier, 2015. |
| DOI | Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: using graph grammars for abstracting unbounded heap structures,
159-203, Springer Science + Business Media B.V, 2015. |
| DOI | Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation,
Formal aspects of component software : 11th international symposium, FACS 2014, bertinoro, italy, september 10 - 12, 2014 ; revised selected papers / ivan lanese; eric madelaine (eds.), 69-85, Springer International Publishing, 2015. |
| DOI | Christoph Matheja, Christina Jansen, Thomas Noll. Tree-Like Grammars and Separation Logic,
Programming languages and systems : 13th asian symposium, APLAS 2015, pohang, south korea, november 30 - december 2, 2015, proceedings / edited by xinyu feng, sungwoo park, 90-108, Springer International Publishing, 2015. |
| Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications,
[International workshop on MILS: Architecture and assurance for secure systems, 20.01.2015-20.01.2015, amsterdam, netherlands], 10 Seiten, 2015. |
| Tim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata,
Proceedings of the 15th conference on formal methods in computer-aided design (FMCAD 2015) : Austin, texas, USA , september 27 - 30, 2015 / edited by roope kaivola and thomas wahl, 97-104, FMCAD Inc, 2015. |
| Kevin Van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications,
25 Folien, 2015. |
| 2014 |
|---|
| DOI | Christina Jansen, Florian Göbe, Thomas Noll. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs,
Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, york, UK, july 22 - 24, 2014 ; proceedings / holger giese ... (eds.), 65-80, Springer, 2014. |
| DOI | 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,
20-35, Elsevier, 2014. |
| DOI | Christina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs,
Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, york, UK, july 22 - 24, 2014 ; proceedings / holger giese; barbara könig (eds.), 49-64, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers : a case study exploiting a new GSPN semantics,
Measurement, modelling, and evaluation of computing systems and dependability and fault-tolerance : 17th international GI/ITG conference, MMB DFT 2014, bamberg, germany, march 17 - 19, 2014 ; proceedings / kai fischbach; udo R. Krieger (eds.), 57-72, Springer, 2014. |
| DOI | Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems,
Formal techniques for safety-critical systems : Third international workshop, FTSCS 2014, luxembourg, november 6-7, 2014. Revised selected papers / edited by cyrille artho, peter csaba ölveczky, 17-31, Springer, 2014. |
| DOI | Dimitri Bohlender, Harold Yorick Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models,
Leveraging applications of formal methods, verification and validation : specialized techniques and applications ; 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014 ; proceedings, part II / Tiziana Margaria; Bernhard Steffen (eds.), 177-192, Springer, 2014. |
| Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering,
Modeling and simulation-based systems engineering handbook / ed. Daniele gianni ; andrea d'ambrogio ; andreas tolk, 340-375, Taylor,Francis, 2014. |
| 2013 |
|---|
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems,
2013 design, automation & test in europe conference & exhibition (DATE 2013) : Grenoble, france, 18 - 22 march 2013 / [sponsors: EDAA, european design and automation association ...], 761-766, IEEE, 2013. |
| DOI | Bernhard Ern, Viet Yen Nguyen, Thomas Noll. Characterization of Failure Effects on AADL Models,
Computer safety, reliability, and security : 32nd international conference, SAFECOMP 2013, toulouse, france, september 24-27, 2013 ; proceedings / friedemann bitsch ... (ed.), 241-252, Springer, 2013. |
| DOI | Markus Bals, Christina Jansen, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars,
Proceedings : 2013 international symposium on theoretical aspects of software engineering : 1-3 july 2013, birmingham, united kingdom, 165-168, IEEE Computer Society, 2013. |
| DOI | Tim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code,
Hardware and software: verification and testing : 9th international haifa verification conference, HVC 2013, haifa, israel, november 5-7, 2013 ; proceedings / valeria bertacco; axel legay (eds.), 44-60, Springer, 2013. |
| 2012 |
|---|
| DOI | Kamal Barakat, Stefan Kowalewski, Thomas Noll. A Native Approach to Modeling Timed Behavior in the Pi-Calculus,
IEEE sixth international symposium on theoretical aspects of software engineering : Beijing, china, 4 – 6 july 2012 ; proceedings / edited by tiziana margaria, zongyan qiu, and hongli yang, 253-256, IEEE, 2012. |
| DOI | Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems : The ESA COMPASS Project,
42, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2012. |
| 2011 |
|---|
| DOI | Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software,
Hardware and software: verification and testing : 5th international haifa verification conference, HCV 2009, haifa, israel, october 19-22, 2009 : revised selected papers / kedar namjoshi ... (eds.), Springer, 2011. |
| DOI | Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars,
Language and automata theory and applications : 5th international conference, LATA 2011, tarragona, spain, may 26-31, 2011 ; proceedings / adrian-horia dediu ... (eds.), 323-335, Springer, 2011. |
| Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems,
204-205, PS, PublicService.co.uk Ltd, 2011. |
| DOI | Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective,
Proceedings, fourth IEEE international conference on space mission challenges for information technology : SMC-IT 2011 : 2-4 august 2011, palo alto, california, USA, 18-25, IEEE CS Press, 2011. |
| 2010 |
|---|
| DOI | Jörg Brauer, Thomas Noll, Bastian Schlich. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software,
SCOPES '10 proceedings of the 13th international workshop on software & compilers for embedded systems : St. Goar, germany - june 29-30, 2010, ACM, 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL,
Computer aided verification : 22nd international conference, CAV 2010, edinburgh, UK, july 15-19, 2010 ; proceedings / tayssir touili; byron cook; paul jackson (eds.), 562-565, Springer, 2010. |
| Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll. Loop Refinement using Octagons and Satisfiability,
SSV'10 : Proceedings of the 5th international conference on Systems software verification, 9 S., ACM, 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models,
Univ. Press, 2010. |
| 2009 |
|---|
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems,
Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, hamburg, germany, september 15-18, 2009 ; proceedings / bettina buth ... (eds.), 173-186, Springer, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language,
Seventh ACM-IEEE international conference on formal methods and models for codesign (MEMOCODE 2009): Cambridge, massachusetts, july 13-15, 2009, 121-130, IEEE, 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems,
Workshop proceedings / ACES-MB 2009 : Proceedings of the 2nd international workshop on model based architecting and construction of embedded systems (ACES-MB 2009) ; held as part of the 2009 international conference on model driven engineering languages and systems (MoDELS'09) ; denver, colorado, USA, october 6, 2009 / ed. by stefan van baelen ..., 87-91, RWTH Aachen, 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration),
ESEC-FSE’09 : Proceedings of the joint 12th european software engineering conference and 17th ACM SIGSOFT symposium on the foundations of software engineering ; august 24–28, 2009, amsterdam, the netherlands / spons. by: ACM SIGSOFT, 285-286, ACM, 2009. |
| 2008 |
|---|
| DOI | Thomas Noll, Bastian Schlich. Delayed nondeterminism in model checking embedded systems assembly code,
Hardware and software: verification and testing : third international haifa verification conference, HVC 2007, haifa, israel, october 23 - 25, 2007 ; proceedings / karen yorav (ed.), 185-201, Springer, 2008. |
| DOI | Thomas Noll, Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads,
FM 2008: formal methods : 15th international symposium on formal methods, turku, finland, may 26-30, 2008 ; proceedings / jorge cuellar ... (eds.), 84-99, Springer, 2008. |
| DOI | Stefan Rieger, Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement,
Graph transformations : 4th international conference, ICGT 2008, leicester, united kingdom, september 7-13, 2008 ; proceedings / hartmut ehrig; reiko heckel; grzegorz rozenberg; gabriele taentzer (eds.), 69-83, Springer, 2008. |
| DOI | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll. Proving correctness of an efficient abstraction for interrupt handling,
133-150, Elsevier Science, 2008. |
| DOI | Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories,
139-154, Elsevier, 2008. |
| 2007 |
|---|
| DOI | Thomas Noll, Stefan Rieger. Composing Transformations to Optimize Linear Code,
Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, macao, china, september 26-28, 2007 ; proceedings / cliff B. Jones ... (eds.), 425-439, Springer, 2007. |
| Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking,
26 Bl. : graph. Darst., RWTH, Department of Computer Science, 2007. |
| Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying concurrent list-manipulating programs by LTL model checking,
HAV 2007 : Workshop on heap analysis and verification, march 25, 2007, braga, portugal ; [informal proceedings], 94-113, 2007. |
| DOI | Martin R. Neuhäußer, Thomas Noll. Abstraction and model checking of core Erlang programs in Maude,
147-163, Elsevier, 2007. |
| DOI | Holger Blume, Daniel Becker, L. Rotenberg, Martin Botteck, Jörg Brakensiek, Thomas Noll. Hybrid Functional and Instruction-Level Power Modeling for Embedded and Heterogeneous Processor Architectures,
689-702, Elsevier, 2007. |
| 2006 |
|---|
| DOI | Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation,
Proceedings of the ACM SIGPLAN workshop on generic programming 2006 : WGP 06, held 16 september 2006, portland oregon / ACM SIGPLAN, 38-50, ACM, 2006. |
| DOI | Klaus Indermark, Thomas Noll. Algebraic correctness proofs for compiling recursive function definitions with strictness information,
1-43, Springer, 2006. |
| Thomas Noll, Stefan Rieger. Optimization of straight-line code revisited,
GI, 2006. |
| 2005 |
|---|
| Thomas Noll, Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus,
Erlang 05 : proceedings of the ACM SIGPLAN 2005 erlang workshop ; september 25, 2005, tallin, estonia ; [co-located with the annual international conference in functional programming (ICFP)] / sponsored by the association for computing machinery, special interest group on programming languages (SIGPLAN) / erlang workshop ¡4, 2005, tallinn¿, 72-77, ACM Press, 2005. |
| Thomas Noll, Chanchal Kumar Roy. Towards automatic verification of Erlang programs by pi-calculus translation,
Erlang 05 : proceedings of the ACM SIGPLAN 2005 erlang workshop ; september 25, 2005, tallin, estonia ; [co-located with the annual international conference in functional programming (ICFP)] / sponsored by the association for computing machinery, special interest group on programming languages (SIGPLAN) / erlang workshop ¡4, 2005, tallinn¿, 38-50, ACM Press, 2005. |
| DOI | Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber. Functional programming languages for verification tools : a comparison of ML and Haskell,
184-194, Springer, 2005. |
| 2002 |
|---|
| DOI | Benedikt Bollig, Martin Leucker, Thomas Noll. Generalised regular MSC languages,
Foundations of software science and computation structures : 5th international conference ; proceedings / FOSSACS 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, grenoble, france, april 8 - 12, 2002. Mogens nielsen; uffe engberg (ed.), 52-66, Springer, 2002. |
| 2001 |
|---|
| . Kolloquium programmiersprachen und Grundlagen der Programmierung ; 11 (Simmerath-Rurberg) : 2001.10.07-11,
128 Bl.. : graph. Darst., RWTH, Department of Computer Science, 2001. |
| Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC languages,
RWTH, 2001. |
| Martin Leucker, Thomas Noll. Truth/SLC : a parallel verification platform for concurrent systems,
Computer aided verification : 13th international conference, CAV 2001, paris, france, july 18 - 22, 2001 ; proceedings / gérard berry ... (eds.), 255-259, Springer, 2001. |
| DOI | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll. Semi-automated verification of Erlang code,
Proceedings / 16th annual international conference on automated software engineering (ASE 2001) : 26 - 29 november 2001, loew's coronado bay resort, coronado island, san diego, california / sponsored by IEEE computer society techncial committee on software engineering; ACM sigsoft; ACM sigart, 319-323, IEEE Computer Society, 2001. |
| Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations,
Implementation of functional languages : 12th international workshop, aachen, germany, september 4 - 7, 2000 ; selected papers / IFL 2000. Markus mohnen; pieter koopman (ed.), 37-52, Springer, 2001. |
| Roland Büschkes, Thomas Noll, Mark Borning. Transaction-based anomaly detection in communication networks,
9th international conference on telecommunication systems - modeling and analysis, march, 15 - 18, 2001, dallas, texas, USA / sponsored by edwin L. Cox school of business, southern methodist university ... conference general chair: Bezalel gavish, 2001. |
| DOI | L.-A. Fredlund, D. Gurov, Thomas Noll. The Erlang verification tool,
Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings / TACAS 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, genova, italy, april 2 - 6, 2001. Tiziana margaria; wang yi (eds.), 582-585, Springer, 2001. |
| DOI | Thomas Noll. A rewriting logic implementation of Erlang,
206-224, Elsevier Science, 2001. |
| 2000 |
|---|
| Thomas Arts, Thomas Noll. Verifying generic Erlang client-server implementations,
26 Bl., RWTH, Fachgruppe Informatik, 2000. |
| Mads Dam, Thomas Noll. Context-representable processes,
Verification of infinite-state systems : 2.-7.4.2000 ; seminar 00141 / schloß dagstuhl internationales begegnungs- und forschungszentrum für informatik (IBFI) / bouajjani, a. ... Hrsg, 19-22, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2000. |
| Thomas Arts, Thomas Noll. Verifying generic Erlang Client-Server implementations,
Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, 4.-7.9.2000 / mohnen, M. [u.a.] hrsg, 387-402, RWTH, Fachgruppe Informatik, 2000. |
| M. Leucker, Thomas Noll. Truth - a real-world application in Haskell; Ed.: Markus Mohnen ...,
Proceedings of the 12. International workshop on implementation of functional languages : [IFL 2000] ; aachen, germany, september 4th-7th 2000, 363-380, RWTH Aachen, 2000. |
| DOI | Thomas Noll, H. Vogler. The universality of higher-order attributed tree transducers,
45-75, Springer, 2000. |
| 1999 |
|---|
| Thomas Noll, Heiko Vogler. On the universality of higher-order attributed tree transducers,
23 S. : graph. Darst., TU, Fak. Informatik, 1999. |
| Thomas Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme,
9. Theorietag der GI-fachgruppe 0.1.5 'automaten und formale sprachen' : Schauenburg-elmshagen bei kassel, 27.9.-29.9.1999 / otto, F. [u.a.] hrsg, 52-52, GhK, 1999. |
| Thomas Noll. On coherence properties in term rewriting models of concurrency,
CONCUR '99 - concurrency theory : 10. International conference, eindhoven, the netherlands, 24.8.-27.8.1999 ; proceedings / J. C. Baeten, 478-493, Springer, 1999. |
| Thomas Noll, H. Vogler. On the universality of higher-order attribute grammars,
International workshop grammers, automata, and logic on graphs and trees / vogler, H. Hrsg, Techn. Univ., Fakultät Informatik, 1999. |
| M. Lange, M. Leucker, Thomas Noll, S. Tobies. Truth - a verification platform for concurrent systems, tool support for system specification, development and verification,
Advances in computing science - ASIAN '99 : Proceedings / 5. Asian computing science conference, phuket, thailand, 10.12.-12.12.1999 / thiagarajan, P. S. [u.a.] hrsg, 150-159, Springer, 1999. |
| DOI | Martin Leucker, Thomas Noll. Rapid prototyping of specification language implementations,
Proceedings / IEEE international workshop on rapid systems prototyping : June 16 - 18, 1999, clearwater, florida, USA / sponsored by IEEE computer society technical committee on simulation ..., 60-65, IEEE Computer Soc., 1999. |
| 1998 |
|---|
| M. Lange, M. Leucker, Thomas Noll, S. Tobies. Truth. A verification,
Platform for concurrent systems. Proc. of tools '98, Christian-Albrechts-Universität, 1998. |
| Can Adam Albayrak, Thomas Noll. The WHILE hierarchy of program schemes is infinite,
Foundations of software science and computation structures : first international conference, FoSSaCS '98, held as part of the joint european conferences on theory and practice of software, ETAPS '98, lisbon, portugal, march 28 - april 4, 1998 ; proceedings / maurice nivat (ed.), 35-47, Springer, 1998. |
| 1996 |
|---|
| Thomas Noll, Stefan Rossmanith. Parallel evaluation of LR-attributed grammars,
Proceedings of the poster session of CC 96: Intern. Conf. on compiler construction, linköping, 22.-26.4.1996, 105-112, 1996. |
| 1995 |
|---|
| Thomas Noll. Klassen applikativer Programmschemata und ihre Berechnungsstärke; Als Ms. gedr.,
II, 154 S. : graph. Darst., Shaker, 1995. |
| 1993 |
|---|
| A. Kindler, Thomas Noll, B. Steffen. Hierarchical parallelization of imperative programs,
Proc. EuroMicro workshop on parallel and distributed process. 1993, 178-184, 1993. |
| Thomas Noll. On the first-order equivalence of call-by-name and call-by-value,
Workshop programmiersprachen u. Grundl. d. Programmier. Garmisch-partenkirchen 1993, 175-186, Univ. der Bundeswehr, 1993. |
| 1992 |
|---|
| Thomas Noll, H. Vogler. Top-down parsing with simultaneous evaluation of noncircular attribute grammars,
1992. |