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.
The PaVeS group is proud to announce that our member Marijana Lazić is part of the Program Committee of CAV’21.
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“.
We are very happy to welcome our newest PhD student Philipp Czerner to the PaVeS team.
The PaVeS group is proud to announce that our member Marijana Lazić organizes the FRIDA’20 workshop which is part of QONFEST’20.
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.
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!
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!
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.
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…
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.