• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »People
  • »Helen Bolke-Hermanns
  • »Volunteer Activities by Helen Bolke-Hermanns

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

 

  • Förderverein der Freunde Anne-Frank-Gymnasium
  • Stadtbekannt & Co Aachen

  • 100 Reisen zu Lieblingsorten in Deutschland (81/100)
  • 100 Reisen zu schönsten Orten in Europa (30/100)

 

  • Alumni

Latest News

  • 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 …

Links

  • RWTH Aachen
  • Fachgruppe Informatik