Volunteer Activities by Helen Bolke-Hermanns

FOLKS e.V. Verein zur Förderung von Forschung und Lehre im Bereich Kommunikation und verteilte Systeme an der RWTH Aachen
Gesellschaft für Informatik & RIA – Regionalgruppe Aachen der GI
REGINA e.V

Paper at ATVA 2019
June 17, 2019
The paper “Are Parametric Markov Chains Monotonic?” by Jip Spel, Sebastian Junges and Joost-Pieter Katoen has been accepted at ATVA 2019. The paper presents a simple algorithm to check whether …
Paper at CONCUR 2019
June 14, 2019
The paper “On the Complexity of Reachability in Parametric Markov Decision Processes” by Tobias Winkler, Sebastian Junges, Guillermo A. Pérez and Joost-Pieter Katoen has been accepted at CONCUR 2019. The …
Paper in FM 2019
June 12, 2019
The paper “Counterexample-Driven Synthesis for Probabilistic Program Sketches” by Milan Ceska, Christian Dehnert, Sebastian Junges and Joost-Pieter Katoen has been accepted for the FM 2019 World Congress. The paper presents …