Conference
Marijana Lazić in the Program Committee of CAV’21
The PaVeS group is proud to announce that our member Marijana Lazić is part of the Program Committee of CAV’21.
General
Heinz Schwärtzel award for Dr. Salomon Sickert
The PaVeS group is very proud to announce that Dr. Salomon Sickert will receive the Heinz Schwärtzel Award for his PhD thesis “A Unified Translation of Linear Temporal Logic to ω-Automata“.
Team
New PaVeS team member: Philipp Czerner
We are very happy to welcome our newest PhD student Philipp Czerner to the PaVeS team.
Conference
Marijana Lazić organizes FRIDA workshop
The PaVeS group is proud to announce that our member Marijana Lazić organizes the FRIDA’20 workshop which is part of QONFEST’20.
General
Successful Master’s thesis and Christmas workshop
Philip Offtermatt successfully defended his Master’s thesis “Approaching Safety for Parameterized Systems via View Abstraction”. Furthermore, we want to announce the first PaVeS Christmas workshop. It is planned for the 16th December.
Team
New PhD Students
This month two PhD students join the PaVeS team. Martin Helfrich was already party of PaVeS as a student assistant. Now he started his PhD. Furthermore, we welcome A. R. Balasubramanian as our newest team member!
General
Erfolg auch in Kaffeepausen
Today, as for the last several Tuesdays, the chairs i2 and i7 celebrated a joint coffee break. This time Chana took this picture of the cake present which we are proud to present!
Conference
Best Paper Award Petri Nets
Chana Weil-Kennedy presented the article “Parameterized Analysis of Immediate Observation Petri Nets”, a joint work with Javier Esparza and Mikhail Raskin, at Petri Nets’19 where it received the Best Paper Award.
General
Arrival of Marijana Lazić
The PaVeS people are very pleased to announce the arrival of a new member, Marijana Lazić! Marijana describes her research interests in her own words as follows: “I am interested in parameterized model checking and synthesis of fault-tolerant distributed algorithms (FTDAs). During my PhD studies I was focusing on a Read more…
Paper
Visit of Ahmed Bouajjani and Paper Publication
The PaVeS-group is excited to host Ahmed Bouajjani for his research visit at the TUM. Additionally, Philipp Meyer, Javier Esparza and Philip Offtermatt published the pre-print of their contribution to TACAS’19.