Paper
Accepted Paper at CONCUR 2019
The paper Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries of Marijana Lazic, Nathalie Bertrand, Igor Konnov and Josef Widder was accepted at CONCUR’19.
Paper
Accepted Paper at GandALF 2019
The paper “A Stay-in-a-Set Game without a Stationary Equilibrium” of Michael Raskin and Kristoffer Arnsfelt Hansen was accepted at GandALF’19.
Conference
TACAS’19 proceedings published
The paper “Computing the Expected Execution Time of Probabilistic Workflow Nets” by Philipp Meyer, Javier Esparza and Philip Offtermatt is now published in the proceedings of TACAS’19.
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.
Conference
Accepted Paper at Petri Nets 2019
The PaVeS-group is very happy to announce the acceptance of the paper “Parameterized Analysis of Immediate Observation Petri Nets” at Petri Nets’19. The main contribution of the paper is to prove PSPACE-completeness for the parameterized reachability, coverability and liveness property in Immediate Observation Petri Nets a certain class of Petri Read more…
Paper
Accepted Paper at TACAS’19
We are very happy to announce the acceptance of the paper “Computing the Expected Execution Time of Probabilistic Workflow Nets” by Philipp Meyer, Philip Offtermatt and Javier Esparza at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’19) of the European Joint Conferences on Read more…