On the occasion of Joost-Pieter Katoen’s 60th birthday, a Colloquium on Principles of Verification was organised on November 7, 2024. It attracted more than 100 participants from all over the world and was opened by welcoming speeches by representatives of both the University of Twente (NL) and RWTH Aachen University. Moreover, it featured eleven scientific […]

MOVES has successfully organised the 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2023). KPS is a traditional, bi-annual series of workshops for computer scientists from Germany, Austria and Switzerland working on the foundations, design, implementation, and usage of programming languages. This year’s edition featured 41 participants and a scientific programme with 31 presentations.

Our group has to offer two PhD positions in Interdisciplinary Doctoral Program in Quantum Systems Integration at RWTH Aachen University. The first is about formal methods for supporting the development of zero-defect quantum programs, while the second aims to provide a systematic framework for compiling quantum software to computing architectures featuring qubit shuttling. For details, […]

The paper entitled “Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining” by Th. Noll, J. Berger (both MOVES), W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), S. Schotten, Th. Büker (both quattron management consulting GmbH), and M. Fietze (German Centre for Rail Traffic Research) has been accepted for presentation at the […]

The paper entitled “Identification of bottlenecks in rail infrastructure” by W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), S. Schotten, Th. Büker (both quattron management consulting GmbH), Th. Noll, J. Berger (both MOVES) and M. Fietze (German Centre for Rail Traffic Research) has been accepted for presentation at the 5th International Conference […]

The tool paper entitled “A Debugger for Probabilistic Programs” by Alexander Hoppen and Thomas Noll has been accepted for presentation at the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021). The paper presents both a theoretical foundation and a prototype implementation of a recording-based debugger for imperative probabilistic programs supporting randomised choice, […]

The paper “A Modular Approach To Non-Deterministic Dynamic Fault Trees” by Sascha Müller, Adeline Jordon, Andreas Gerndt (all German Aerospace Center DLR, Braunschweig) and Thomas Noll has been accepted at the 40th International Conference on Computer Safety, Reliability and Security (SafeComp 2021). It presents a modular approach for synthesising recovery strategies from non-deterministic dynamic fault […]

The paper “Automated Detection and Completion of Confluence for Graph Grammars” by Ira Fesefeldt, Christoph Matheja, Thomas Noll, and Johannes Schulte has been accepted as a tool paper at the International Conference on Graph Transformation (ICGT 2021). It presents an approach to check for a given context-free graph grammar whether the corresponding backward graph reduction […]

We are seeking two talented student assistants to support the digitalisation of online bridging courses in Theoretical Computer Science. More concretely, the following tasks need to be performed: the development and implementation of generators for exercise tasks and Moodle plugins and the creation of new and the preparation of existing learning material in Moodle. More […]

During the virtual Tag der Informatik, two students of our group have been awarded for their final theses. Florian Keßler received the CS Department Award for his bachelor’s thesis On the Decidability of Entailment Checking in Quantitative Separation Logics, while Jan Svejda received the DSA Industrial Award for his master’s thesis entitled Interpretation-Based Violation Witness Validator. Congratulations!