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

Storm runner-up in RWTH Innovation Award 2020
March 5, 2021
The Storm model checker received the second place at the RWTH Innovation Award 2020. An official announcement can be found here whereas a youtube video of the three winners is …
Paper in JCSS Journal
March 2, 2021
The paper entitled “The Complexity of Reachability in Parametric Markov Decision Processes” by Sebastian Junges, Joost-Pieter Katoen, Guillermo Perez, and Tobias Winkler is accepted for publication in Journal of Computer …
Paper at NFM2021
February 25, 2021
The paper “Scalable Reliability Analysis by Lazy Verification” by Shahid Khan, Joost-Pieter Katoen, Matthias Volk and Marc Bouissou has been accepted for the 13th NASA Formal Methods (NFM) Symposium. The …