November 9, 2017
On November 10 the official kick-off meeting of the Research Training Group UnRAVeL (Uncertainty and Randomness in Algorithms, Verification and Logic) will take place in room 9222, E3 Building. The program includes invited talks by the renowned researchers Prof. Marta Kwiatkowska (University of Oxford) and Prof. Rolf Möhring (TU Berlin), two-minutes talks by the UnRAVeL doctorate students, and piano as well as saxophone music.
November 7, 2017
Thursday October 19, Christina Jansen successfully defended her PhD dissertation, entitled “Static Analysis of Pointer Programs: Linking Graph Grammars and Separation Logic” for a jury consisting of Marieke Huisman (University of Twente, NL), Gerhard Woeginger, Horst Lichter, Thomas Noll, and Joost-Pieter Katoen (all Aachen). Christina’s dissertation is concerned with establishing a connection between data structure grammars and separation logic, and extending the hyperedge-replacement grammar…
Read more about Christina Jansen defended her PhD dissertationNovember 7, 2017
Sebastian Junges today received the Young Research Award, a prize for excellent young researchers (students and Ph.D. students) in the ICT field, awarded by the ICT Profile Area of RWTH Aachen University. The prize comes with a financial support for Sebastian’s career.
September 27, 2017
The German Research Foundation (DFG) has approved to extend the funding period of the ATTESTOR project for another two-year period. The aim of the follow-up project is to develop novel techniques and tools to support formal reasoning on relational shape properties of (concurrent) pointer programs, allowing e.g. to reason about balanced tree data structures. The overarching goal is to signicantly improve the expressivity, automation, and efficiency of symbolic analysis and verication of such…
Read more about DFG Grant for ATTESTOR ProjectSeptember 26, 2017
The paper entitled “A new proof rule for almost-sure termination” by Annabelle McIver, Carroll Morgan, Benjamin Kaminski, and Joost-Pieter Katoen has been accepted for POPL 2018. The paper presents a proof rule to verify whether a probabilistic program (possibly including non-determinacy) almost surely terminates. The new proof rule enables to capture a larger class of programs than could be captured so far with existing techniques.
September 14, 2017
The MOVES group is co-organising a seminar on Analysis and Verification of Pointer Programs, which will be held from October 2 to 5, 2017, as an NII Shonan Meeting at Shonan Village Center in Japan. This meeting will be a scientific event bringing together both theoreticians and practitioners working on different techniques for heap abstraction and pointer program analysis. It aims to provide a broad understanding of the various techniques to support the exploitation of their commonalities such…
Read more about NII Shonan SeminarSeptember 7, 2017
The paper entitled “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” by Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen and Arne Storjohann has been selected as Prof. C.V. Ramamoorthy Best Paper Award at the 36th IEEE Int. Symposium on Reliable Distributed Systems in Hongkong. The paper presents automated techniques to find the probability distribution that achieves minimum average recovery time for randomized distributed self-stabilizing algorithms.
September 7, 2017
The paper “Conditioning in Probabilistic Programming” by Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin L. Kaminski, Joost-Pieter Katoen and Annabelle McIver has been accepted for the journal ACM Transactions on Programming Languages and Systems. The paper treats the semantic intricacies of introducing conditioning in a probabilistic programming language, its interference with non-determinacy, and divergence.
September 2, 2017
In honour of the 60th birthday of Ed Brinksma, we co-organize the symposium “ModelEd, TestEd, TrustEd” on 18 October 2017, in the Amphitheatre (Vrijhof), University of Twente, the Netherlands. The symposium will be a scientific event hosting a number of renowned speakers with whom Ed Brinksma has cooperated in the past. The day will culminate in the presentation of a FestSchrift to the guest of honour. For the programme, further information and registration, please see…
Read more about Symposium ModelEd, TestEd, TrustEdJuly 13, 2017
The paper entitled “Motion Planning under Partial Observability using Game-Based Abstraction” by Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bernd Becker has been accepted for publication at CDC 2017 in Melbourne, Australia. The paper applies model-checking to synthesise motion plans for robots under partial observability, and makes this feasible by utilising game-based abstraction techniques.
June 26, 2017
The paper entitled “Model-Based Safety Analysis of Vehicle Guidance Systems” by Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk, has been accepted at SafeComp 2017. The paper emerged from a co-operation with BMW and presents a model-based approach towards the safety analysis of vehicle guidance systems by comparing different mappings from functional blocks onto different hardware platforms.
June 26, 2017
The paper entitled “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” by Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen and Arne Storjohann has been accepted at SRDS 2017 in Hongkong. The paper presents automated techniques to find the probability distribution that achieves minimum average recovery time for randomized distributed self-stabilizing algorithms.
June 14, 2017
We are looking for enthusiastic and highly qualified doctoral researchers. 12 positions are available within the Research Training Group (RTG) UnRAVeL. The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research program and a structured training strategy. UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core…
Read more about 12 vacant Ph.D. positionsMay 24, 2017
The MOVES group proudly announces that Professor Joost-Pieter Katoen has received the “FAMOS für Familie” price by RWTH Aachen University. Based on nominations by employees, it is yearly awarded to management personnel at our university. Its aim is to acknowledge particular effort for family-friendly working conditions, sustainable team leadership, and creative solutions to staff management. The seven winners of the present year were selected by a jury made up of representatives from the…
Read more about Prof. Joost-Pieter Katoen receives the “FAMOS für Familie” price by RWTH University.May 17, 2017
The paper “Fast Dynamic Fault Tree Analysis by Model Checking Techniques” by Matthias Volk, Sebastian Junges, and Joost-Pieter Katoen has been accepted to IEEE Transactions on Industrial Informatics. The paper presents a novel state-space generation technique for DFTs and combines this with a simple, though very effective, abstraction.