Research
Research visit of Ahmed Bouajjani in June and July
The PaVeS people are excited to host Ahmed Bouajjani on a research visit to the Chair of theoretical computer science of the Technical University of Munich.
Conference
PaVeS @ FoSSaCS’22
The PaVeS group contributed to FoSSaCS’22 with two papers: “Separators in Continuous Petri Nets” by Miachel Blondin and Javier Esparza “Parameterized Analysis of Reconfigurable Broadcast Networks” by A. R. Balasubramanian, Lucie Guillou and Chana Weil-Kennedy
Conference
Submission & Best Paper Award for PaVeS @ SAND’22
Philipp Czerner, Roland Guttenberg, Martin Helfrich, and Javier Esparza contribute to SAND’21 with their paper “Fast and Succinct Population Protocols for Presburger Arithmetic” (preprint). There contribution is recognized with SAND’s Best Paper Award.
Conference
Aggregated publications & talks of 2021 and beginning of 2022
A long time passed since the last news. This is, however, not due to a lack of activity but a lack of reporting. Thus, we use this post to report various publications from last year and the beginning of this year: “Back to the Future: A Fresh Look at Linear Read more…
Conference
PaVeS at GandALF’21
The PaVeS group contributed with two accepted papers to GandALF’21: “Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent” by A. R. Balasubramanian and Chana Weil-Kennedy and “Abduction of trap invariants in parameterized systems” by Javier Esparza, Mikhail Raskin and Christoph Welzel.
Conference
Best Paper Award Petri Nets
Christoph Welzel presented the article “Computing Parameterized Invariants of Parameterized Petri Nets”, a joint work with Javier Esparza and Mikhail Raskin, at Petri Nets’21 where it received the Best Paper Award.
Conference
PaVeS at PODC
The PaVeS group contributed with two accepted papers to PODC’21: “Lower Bounds on the State Complexity of Population Protocols” by Philipp Czerner and Javier Esparza, and “Decision Power of Weak Asynchronous Models of Distributed Computing” by Philipp Czerner, Roland Guttenberg, Martin Helfrich, and Javier Esparza. Additionally, Roland Guttenberg presented this Read more…
Conference
Accepted paper at Petri nets’21
The paper “Computing Parameterized Invariants of Parameterized Petri Nets” by Javier Esparza, Mikhail Raskin and Christoph Welzel was accepted at Petri nets’21.
Conference
Test-of-time award @ CONCUR’21
In this year’s test-of-time awards of CONCUR the paper “Reachability Analysis of Pushdown Automata: Application to Model-checking” of Ahmed Bouajjani, Javier Esparza, and Oded Maler is recognized as “a breakthrough paper that opened the way for the analysis of pushdown automata via model-checking techniques”.
General
Karp Distinguished Lectures
At March, 31st 2021 Javier Esparza held a Richard M. Karp Distinguished Lecture titled Back to the Future: A Fresh Look at Linear Temporal Logic.