Publications

2019
	Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic. Proceedings of the ACM on Programming Languages 3(POPL), pages 34:1-34:29, 2019.
	Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees. FTSCS 2018, Volume 1008 of CCIS, pages 37–54, Springer, 2019.
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS 2019, Volume 11427 of LNCS, pages 379–385, Springer, 2019.
2018
	Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic. Technical report at arxiv number 1802.10467, 2018.
	Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs. Proc. CAV 2018, Part II, Volume 10982 of LNCS, pages 3–11, Springer, 2018.
	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software. Proc. CAV 2018, Part II, Volume 10982 of LNCS, pages 447–466, Springer, 2018.
	Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness. Proc. 16th Int. Conf. on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, pages 271–286, Springer, 2018.
	Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3. SPIN 2018, Volume 10869 of LNCS, pages 85–102, Springer, 2018.
	Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic. 13th International Workshop on the Implementation of Logics (IWIL 2018), Volume 9 of Kalpa Publications in Computing, pages 23–36, , 2018.
	Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees. Journal of Aerospace Information Systems, 2018.
2017
	Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Heap Abstraction Beyond Context-Freeness. Technical report at arxiv number 1705.03754, 2017.
	Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. Proc. ESOP 2017, Volume 10201 of LNCS, pages 611–638, Springer, 2017.
	Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. Proc. Int. Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2017.
	Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees. 2017 AIAA SPACE Forum, Volume AIAA 2017-5163, American Institute of Aeronautics and Astronautics, 2017.
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset (short paper). Proc. 5th Int. Symp. on Model-Based Safety and Assessment (IMBSA 2017), , 2017.
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems: Achievements and Challenges. In Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu editors, Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, Springer Singapore, 2017.
	Marieke Huisman, Thomas Noll, Makoto Tatsuta. Analysis and Verification of Pointer Programs. Technical report at National Institute of Informatics number 2017-14, 2017.
2016
	Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. Technical report at arXiv number 1610.07041, 2016.
2015
	Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Juggrnaut: Using Graph Grammars for Abstracting Unbounded Heap Structures. Formal Methods in System Design 47(2), pages 159–203, 2015.
	Christoph Matheja, Christina Jansen, Thomas Noll. Tree-Like Grammars and Separation Logic. Technical report at RWTH Aachen University number AIB-2015-12, 2015.
	Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll. Verifying Pointer Programs using Graph Grammars. Science of Computer Programming 97, pages 157–162, 2015.
	Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation. Proceedings Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, pages 68–85, Springer, 2015.
	Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems. Proc. 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Volume 476 of CCIS, pages 17–31, Springer, 2015.
	Kevin van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications. International Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2015.
	Tim Lange, Martin R. Neuhäußer, Thomas Noll. IC3 Software Model Checking on Control Flow Automata. Formal Methods in Computer-Aided Design (FMCAD 2015), pages 97–104, IEEE, 2015.
	Christoph Matheja, Christina Jansen, Thomas Noll. Tree-Like Grammars and Separation Logic. Programming Languages and Systems (APLAS 2015), Volume 9458 of LNCS, pages 90–108, Springer, 2015.
2014
	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. Reliability Engineering and System Safety 132, pages 20–35, 2014.
	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. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Volume 8803 of LNCS, pages 177–192, Springer, 2014.
	Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs, Talk at 7th Int. Conf. on Graph Transformation (ICGT 2014), York, United Kingdom, 2014.
	Christina Jansen, Florian Göbe, Thomas Noll. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. Technical report at RWTH Aachen University number AIB-2014-08, 2014.
	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 (MMB & DFT 2014), Volume 8376 of LNCS, pages 57–72, Springer, 2014.
	Christina Jansen, Thomas Noll. Generating Abstract Graph-Based Procedure Summaries for Pointer Programs. Proc. 7th Int. Conf. on Graph Transformation (ICGT 2014), Volume 8571 of LNCS, pages 49–64, Springer, 2014.
	Christina Jansen, Florian Göbe, Thomas Noll. Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs. Proc. 7th Int. Conf. on Graph Transformation (ICGT 2014), Volume 8571 of LNCS, pages 65–80, Springer, 2014.
	Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems. Preliminary proceedings of 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), pages 2–5, , 2014.
	Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering. In Daniele Gianni, Andrea D'Ambrogio, Andreas Tolk editors, Modeling and Simulation-Based Systems Engineering Handbook, pages 339–375, 2014.
2013
	Tim Lange, Martin R. Neuhäußer, Thomas Noll. Speeding Up the Safety Verification of Programmable Logic Controller Code. Proc. 9th Haifa Verification Conf. (HVC 2013), Volume 8244 of LNCS, pages 44–60, Springer, 2013.
	Bernhard Ern, Viet Yen Nguyen, Thomas Noll. Characterization of Failure Effects on AADL Models. Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Volume 8153 of LNCS, pages 241–252, Springer, 2013.
	Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers using Stochastic Petri Nets and Markov Automata. Technical report at RWTH Aachen University number AIB-2013-10, 2013.
	Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Model-Based Energy Optimization of Automotive Control Systems. Proc. 16th Conf. on Design, Automation & Test in Europe (DATE 2013), pages 761–766, EDA Consortium, 2013.
	Markus Bals, Christina Jansen, Thomas Noll. Incremental Construction of Greibach Normal Form for Context-Free Grammars. Proc. Int. Symp. on Theoretical Aspects of Software Engineering (TASE 2013), pages 165–168, IEEE Computer Society, 2013.
2012
	Kamal Barakat, Stefan Kowalewski, Thomas Noll. A Native Approach to Modeling Timed Behavior in the Pi-Calculus (short paper). Proc. of 6th IEEE Int. Symp. on Theoretical Aspects of Software Engineering (TASE 2012), pages 253–256, IEEE, 2012.
	Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project (Abstract). Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272), Volume 2 of Dagstuhl Reports, pages 42, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2012.
2011
	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. 4th IEEE Int. Conf. on Space Mission Challenges in Information Technology (SMC-IT 2011), pages 18–25, IEEE CS Press, 2011.
	Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars. 5th Int. Conf. on Language and Automata Theory and Applications (LATA 2011), Volume 6638 of LNCS, pages 323–335, Springer-Verlag, 2011.
	Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems. Public Service Review: European Science and Technology 11, pages 204–205, 2011.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal 54(5), pages 754–775, 2011.
	Christina Jansen, Jonathan Heinen, Joost-Pieter Katoen, Thomas Noll. A Local Greibach Normal Form for Hyperedge Replacement Grammars. Technical report at RWTH Aachen University, Germany number AIB 2011-04, 2011.
	Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software. Proc. of 5th Int. Haifa Verification Conference (HVC 2009), Volume 6405 of LNCS, pages 5–20, Springer, 2011.
	Thomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars. Pre-Proceedings 8th Int. Symp. on Formal Aspects of Component Software (FACS), Oslo University, 2011.
2010
	Maximilian R. Odenbrett, Viet Yen Nguyen, Thomas Noll. Slicing AADL Specifications for Model Checking. Proc. of the 2nd NASA Formal Methods Symp. (NFM 2010), Volume of NASA Conference Proceedings, pages 217–221, , 2010.
	Jonathan Heinen, Thomas Noll, Stefan Rieger. Juggrnaut: Graph Grammar Abstraction for Unbounded Heap Structures. Proc. 3rd Int. Workshop on Harnessing Theories for Tool Support in Software (TTSS 2009), Volume 266 of ENTCS, pages 93–107, Elsevier, 2010.
	Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive. Formal Verification and Validation of AADL Models. Proc. of Embedded Real Time Software and Systems Conf. (ERTS$^2$ 2010), , 2010.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL. Proc. of 22nd Int. Conf. on Computer Aided Verification (CAV 2010), Volume 6174 of LNCS, pages 562–565, Springer, 2010.
	Jörg Brauer, Thomas Noll, Bastian Schlich. Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software. Proc. 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010), Volume of Digital Library, ACM, 2010.
	Jörg Brauer, Volker Kamin, Stefan Kowalewski, Thomas Noll. Loop Refinement Using Octagons and Satisfiability. Proc. of 5th International Workshop on Systems Software Verification (SSV 2010), , 2010.
2009
	Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009), pages 121–130, IEEE CS Press, 2009.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009), Volume 5775 of LNCS, pages 173–186, Springer, 2009.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). Proc. 7th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009), pages 285–286, ACM Press, 2009.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems. Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), Volume 507 of CEUR Workshop Proceedings, pages 87–91, , 2009.
2008
	Thomas Noll, Bastian Schlich. Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. Hardware and Software: Verification and Testing (Haifa Verification Conference, HVC 2007), Volume 4899 of LNCS, pages 185–201, Springer, 2008.
	Gerlind Herberich, Thomas Noll, Bastian Schlich, Carsten Weise. Proving Correctness of an Efficient Abstraction for Interrupt Handling. Proceedings 3rd International Workshop on Systems Software Verification (SSV 2008), Volume 217 of ENTCS, pages 133–150, Elsevier, 2008.
	Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories. Proc. of 7th Int. Workshop on Rewriting Logic and its Applications (WRLA 2008), Volume 238 of ENTCS, pages 139–154, Elsevier, 2008.
	Thomas Noll, Stefan Rieger. Verifying Dynamic Pointer-Manipulating Threads. Proceedings 15th International Symposium on Formal Methods (FM 2008), Volume 5014 of LNCS, pages 84–99, Springer, 2008.
	Stefan Rieger, Thomas Noll. Abstracting Complex Data Structures by Hyperedge Replacement. 4th Int. Conference on Graph Transformations (ICGT 2008), Volume 5214 of LNCS, pages 69–83, Springer, 2008.
2007
	Thomas Noll, Stefan Rieger. Composing Transformations to Optimize Linear Code. Proc. 4th Int. Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Volume 4711 of LNCS, pages 425–439, , 2007.
	Martin R. Neuhäußer, Thomas Noll. Abstraction and Model Checking of Core Erlang Programs in Maude. Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, Volume 176 of ENTCS, pages 147–163, Elsevier, 2007.
	Joost-Pieter Katoen, Thomas Noll, Stefan Rieger. Verifying Concurrent List-Manipulating Programs by LTL Model Checking. Workshop on Heap Analysis and Verification (HAV 2007), pages 94–113, , 2007.
2006
	Thomas Noll, Stefan Rieger. Optimization of Straight-Line Code Revisited. Softwaretechnik-Trends 26(2), 2006.
	Klaus Indermark, Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Informatica 43(1), pages 1–43, 2006.
	Chanchal Kumar Roy, Thomas Noll, Banani Roy, James R. Cordy. Towards Automatic Verification of Erlang Programs by pi-Calculus Translation. Proceedings of the ACM SIGPLAN 2006 Erlang Workshop, pages 38–50, ACM Press, 2006.
2005
	Thomas Noll. Equational Abstractions for Model Checking Erlang Programs. Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), Volume 118 of ENTCS, pages 145–162, Elsevier, 2005.
	Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber. Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell. Software Tools for Technology Transfer 7(2), pages 184–194, 2005.
	Thomas Noll, Chanchal Kumar Roy. Modeling Erlang in the pi-Calculus. Proceedings of the ACM SIGPLAN 2005 Erlang Workshop, pages 72–77, ACM Press, 2005.
2004
	Klaus Indermark, Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Technical report at RWTH Aachen University number 2004-08, 2004.
2003
	Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov. A Verification Tool for Erlang. Software Tools for Technology Transfer 4(4), pages 405–420, 2003.
	Thomas Noll. Term Rewriting Models of Concurrency: Foundations and Applications. Habilitation Thesis. RWTH Aachen University, 2003.
2002
	Benedikt Bollig, Martin Leucker, Thomas Noll. Generalized Regular MSC Languages. Proceedings 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), pages 52–66, Springer-Verlag, 2002.
2001
	Lars-Åke Fredlund, Dilian Gurov, Thomas Noll. Semi-Automated Verification of Erlang Code. Proc. 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pages 319–323, IEEE Computer Society Press, 2001.
	Thomas Noll, Klaus Indermark editors. Kolloquium Programmiersprachen und Grundlagen der Programmierung. , 2001.
	Martin Leucker, Thomas Noll. Truth/SLC – A Parallel Verification Platform for Concurrent Systems (tool description). Proceedings 13th Conference on Computer Aided Verification (CAV 2001), pages 255–259, Springer-Verlag, 2001.
	Thomas Noll. A Rewriting Logic Implementation of Erlang. Proceedings of First Workshop on Language Descriptions, Tools and Applications (ETAPS/LDTA 2001), Elsevier Science Publishers, 2001.
	Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC Languages. Technical report at RWTH Aachen University number 01-05, 2001.
	Thomas Noll, Lars-Åke Fredlund, Dilian Gurov. The Erlang Verification Tool (tool description). Proceedings 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Volume 2031 of Lecture Notes in Computer Science, pages 582–585, , 2001.
	Thomas Arts, Thomas Noll. Verifying Generic Erlang Client–Server Implementations. Selected Papers of the 12th International Workshop on the Implementation of Functional Languages (IFL 2000), pages 37–52, , 2001.
	Martin Leucker, Thomas Noll. Rewriting Logic as a Framework for Generic Verification Tools. Proceedings of Third International Workshop on Rewriting Logic and Its Applications (WRLA 2000), Elsevier, 2001.
2000
	Thomas Noll, Heiko Vogler. The Universality of Higher-Order Attributed Tree Transducers. Theory of Computing Systems 34, pages 45–75, 2000.
	Thomas Arts, Thomas Noll. Verifying Generic Erlang Client-Server Implementations. Technical report at RWTH Aachen University number 2000-08, 2000.
	Thomas Arts, Thomas Noll. Verifying Generic Erlang Client-Server Implementations. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), pages 387–402, RWTH Aachen University, 2000.
	Martin Leucker, Thomas Noll. Truth – A Real-World Application in Haskell. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), pages 363–380, RWTH Aachen University, 2000.
1999
	Thomas Noll. Kohärenzeigenschaften in termersetzungsbasierten Modellen für verteilte Systeme (Abstract). 9. Theorietag der GI-Fachgruppe 0.1.5 ``Automaten und Formale Sprachen'', pages 52, University of Kassel, 1999.
	Thomas Noll. On Coherence Properties in Term Rewriting Models of Concurrency. Proceedings of the 10th International Conference on Concurrency Theory (CONCUR 1999), pages 478–493, Springer-Verlag, 1999.
	Thomas Noll, Heiko Vogler. On the Universality of Higher-Order Attributed Tree Transducers. Technical report at Dresden University of Technology number TUD-FI 99/05, 1999.
	Martin Leucker, Thomas Noll. Rapid Prototyping of Specification Language Implementations. Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (RSP 1999), pages 60–65, IEEE Computer Society Press, 1999.
	Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies. Truth – A Verification Platform for Concurrent Systems. In Rudolf Berghammer, Yassine Lakhnech editors, Tool Support for System Specification, Development, and Verification, pages 150–159, 1999.
1998
	Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies. Truth – A Verification Platform for Concurrent Systems (extended abstract). Proceedings of Tools 1998, pages 21–26, Christian-Albrechts University of Kiel, 1998.
	Can Adam Albayrak, Thomas Noll. The WHILE Hierarchy of Program Schemes is Infinite. Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS 1998), pages 35–47, Springer-Verlag, 1998.
1996
	Thomas Noll, Stefan Roßmanith. Parallel Evaluation of LR-Attributed Grammars. Proceedings of the Poster Session of CC 1996, pages 105–112, Linköping University, 1996.
1994
	Thomas Noll. On the First-Order Equivalence of Call-by-Name and Call-by-Value. Proceedings of CAAP 1994, pages 246–260, Springer-Verlag, 1994.
	Thomas Noll, Heiko Vogler. Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundamenta Informaticae 20, pages 285–332, 1994.
1993
	Andrea Kindler, Thomas Noll, Bernhard Steffen. Hierarchical Parallelization of Imperative Programs. Proceedings of Euromicro Workshop on Parallel and Distributed Processing, pages 178–184, IEEE Computer Society Press, 1993.
1992
	Thomas Noll, Heiko Vogler. Top-Down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Technical report at RWTH Aachen University number 1992-14, 1992.

BSc/MSc/Diploma Topics
Teaching WS 2012/13
Hybrid Systems Group

We are looking for a HiWi for the Compiler Construction course. If you are interested, please contact Thomas Noll.

Joost-Pieter Katoen has been appointed as a member of the renowned Academia Europaea (Academy of Europe), a European, non-governmental association acting as an Academy whose members are scientists and scholars who collectively aim to promote learning, education and research.

Vacancies for postdoctoral researchers in "Automated Analysis of Probabilistic Programs". Application deadline: August 15, 2013.

Joost-Pieter Katoen has been awarded a Distinguished Professorship from the RWTH Aachen University.

The Hybrid Systems: Computation and Control (HSCC'13) conference in Philadelphia has been very successful: Hongfei Fu received the best student paper award for his paper "Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata". Besides, the paper by Ilya Tkachev, Alexandru Mereacre, Alessandro Abate and Joost-Pieter Katoen was ranked second in the overall best paper award selection.

Joost-Pieter Katoen has been elected as Steering Committee Chair of ETAPS (www.etaps.org), the largest conference on theory and practice of software in Europe. He is the first non-UK ETAPS SC chair since the conference was initiated in 1998. More information here.

The Alumni-Magazine of RWTH Aachen University contains an interview with our former PhD student and postdoctoral researcher, Dr. Tingting Han.

HiWi's wanted to work in a new European Space Agency project for enhancing state-of-the-art design and analysis tools (COMPASS) for the next generation European rockets. Need programming and model checking affinity. See here for details and contact.

We offer openings for several PhD candidates in the area of
"Model-Based Design and Analysis for Dependable Software Systems". Deadline for application: September 14, 2012. For further information click here.

The Theory of Hybrid Systems Group offers two jobs as student assistants within the CEBug project. For more information, look here.

Dino Distefano received the prestigious Roger Needham Award for his work on software verification. This award is for a distinguished research contribution in computer science by a UK based researcher who has completed up to 10 years of post-doctoral research. Dr. Distefano was the first PhD student supervised by Joost-Pieter Katoen.

Marijn Jongerden received the German MMB (Messung, Modellierung und Bewertung von Rechensystemen) Award 2012 of the GI/ITG-Committee for Measurement, Modelling and Evaluation of Computing Systems for his PhD-thesis on "Model-based energy analysis of battery powered systems". His work was supervised by Boudewijn Haverkort (Twente) and Joost-Pieter Katoen.

Our paper "Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite" has been accepted to ICSE 2012 in the track SE in Practice (18% acceptance rate). The paper treats a new satellite from the European Space Agency that was modeled and analyzed with modern tools during the actual satellite design.

Joost-Pieter Katoen will act as DJ in the "Nacht der Professoren" in the Apollo bar and cinema.