Safety-critical Systems

Welcome to the group of safety-critical systems (Prof. Dr. Anne Remke) which is part of the institute of Computer Science at the Westfälischen Wilhelms-Universität Münster.

BAföG

 Prof. Remke is happy to help you regarding your BAföG requests during her Consultation Hours.

Please provide the

  • BAföG form 5
  • as well as your transcript of regards or a live view of your qispos portal

VALUETOOLS 2017

Group travel to Venice :-)

© Carina Pilch

From the 4th to 7th December, our group will travel to Venice to present two new publications at this year's VALUETOOLS conference.

VALUETOOLS 2017

Fakultätentagspreis

Carina Pilch is awarded with the prize of the Fakultätentag Informatik

© INFORMATIK 2017

Our employee Carina Pilch has been awarded for her Master thesis on  the "Development of an event-based simulator for model checking hybrid Petri nets with random variables" with this year's prize of the Fakultätentag Informatik. The award ceremony took place on the INFORMATIK 2017 congress in Chemnitz.

INFORMATIK 2017

Projectseminar 2016/2017

Preparation in progress

© AGRemke

We plan to implement a Scada Testbed in the Projectseminar 2016/2017. The hardware just arrived and we are able to start the preparation. 

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Smarthome
© Marijn Jongerden

We were able to publicate a Journal Paper into MDPI Energies in cooperation with the Working goup DACS from the University of Twente.

MDPI

MMB&DFT 2016

Conference

Mmb

The 18th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance” took place in Muenster.

MMB 2016