The paper “Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling” by Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera and Philipp J. Meyer is now published in the proceedings of CAV’20.
The PaVeS group is proud to announce that our member Marijana Lazić organizes the FRIDA’20 workshop which is part of QONFEST’20.
The PaVeS project contributes to CONCUR’20 with three articles: “Flatness and Complexity of Immediate Observation Petri Nets” by Chana Weil-Kennedy, Javier Esparza and Mikhail Raskin, “A Classification of Weak Asynchronous Models of Distributed Computing” by Read more…
The PaVeS project is represented at ATVA’20 with two contributions: Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs by Javier Esparza, Martin Helfrich, Stefan Jaax, and Philipp J. Meyer Complexity of Verification and Read more…