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.
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.
General
Alpine Verification Meeting
Javier Esparza attended the 13th Alpine Verification Meeting from September 9th – September 11th and gave an invited talk at September 10th with the title “Population protocols: A Case Study in Parameterized Verification of Liveness Properties of Probabilistic Distributed Algorithms”.
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.
Conference
Paper at CONCUR’19
Michael Blondin, Javier Esparza and Stefan Jaax are presenting an article titled “Expressive Power of Broadcast Consensus Protocols” at CONCUR’19. The abstract reads: Abstract: Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have Read more…
Conference
Philipp Meyer’s talk at TACAS
Philipp Meyer held his talk at TACAS’19 about “Computing the expected execution time of probabilistic Workflow-Nets”. The slides can be found here.
General
PhDopen Bordeaux
Javier Esparza gave a talk at the PhDopen-talks of the University of Bordeaux about Verification of Distributed Algorithms.
Talk
Talks by Blaise Genest
The PaVeS-Group is happy to announce two talks by Blaise Genest: the first one is held today (22nd November 2018) at 16:00 in the room 00.09.038 and bears the title Controlling a Population. The second one is held at the 26th November 2018 at 14:00 in the room 00.12.019 and Read more…
Talk
Talk by Joël Ouaknine on Program Invariants at TUM
29 October 2018, 2 PM
TUM MI 00.12.019
Program Invariants
(more…)
Talk
Talk by Prof. Javier Esparza in Brno on Population Protocols
10 October 2018, 4 PM
Mendel Museum in Brno
Black Ninjas in the Dark: Analyzing Population Protocols
(more…)