Weitere Zugehörigkeit an der Universität Münster
Preise
- Best paper award – Conference Program Committee of the European Alliance for Innovation (EAI)
Lehre
Vorlesung
- V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [102090]
(zusammen mit Jonas Stübbe und Pauline Blohm)- [ – | Mo., – | | M B 5 (M 5)]
- [ – | Do., – | | M B 5 (M 5)]
Seminare
- Projektseminar: Batterieverhalten verstehen und vorhersagen: Modellierung und Simulation auf Basis von analytischen Batteriemodellen [102091]
(zusammen mit Dr. Carina da Silva)- [ – | Einzeltermin | SRZ 114]
- [ – | Mo. – Fr., – | Blockveranstaltung | SRZ 114a]
- [ – | Do., – | | SRZ 202]
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102092]
- []
Übung
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102118]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun und Prof. Dr. Ralph-Günther Holz)
Kolloquium
- Kolloquium: Informatik-Kolloquium [102117]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm und Prof. Dr. Jan Vahrenhold)- [ – | Mi., – | | M B 4 (M 4)]
Vorlesungen
- Vorlesung: Diskrete Strukturen [100087]
(zusammen mit Jonas Stübbe)- [ – | Di., – | | M B 2 (M 2)]
- [ – | Einzeltermin | M B 2 (M 2)]
- V/Ü: Einführung in das Quantitative Model Checking [100089]
(zusammen mit Pauline Blohm)- [ – | Di., – | | SRZ 202]
- [ – | Do., – | | M B 6 (M 6)]
- [ – | Einzeltermin | M B 6 (M 6)]
Seminare
- Projektseminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
(zusammen mit Prof. Dr. Paula Herber, Julius Adelt und Pauline Blohm)- [ – | Di., – | | SRZ 202]
- [ – | Einzeltermin | SRZ 203]
- [ – | Einzeltermin | SRZ 203]
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [100090]
- []
Übungen
- Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100088]
(zusammen mit Jonas Stübbe)- [ – | Fr., – | | SRZ 202]
- [ – | Do., – | | M A 114 (SR 1D)]
- [ – | Do., – | | SRZ 205]
- [ – | Einzeltermin | M A 503 (SR 5)]
- [ – | Einzeltermin | SRZ 202]
- [ – | Fr., – | | M A 111 (SR 1C)]
- [ – | Mi., – | | M A 503 (SR 5)]
- [ – | Einzeltermin | SRZ 5]
- [ – | Einzeltermin | M A 503 (SR 5)]
- [ – | Einzeltermin | SRZ 5]
- [ – | Einzeltermin | SRZ 5]
- [ – | Einzeltermin | M B 6 (M 6)]
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [100120]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Dr. Vladimir Molchanov, Jun.-Prof. Tanya Braun und Prof. Dr. Ralph-Günther Holz)
Kolloquium
- Kolloquium: Informatik-Kolloquium [100119]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm und Prof. Dr. Jan Vahrenhold)- [ – | Mi., – | | M B 4 (M 4)]
Vorlesung
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Joanna Delicaris, Jonas Stübbe und Pauline Blohm)
Seminar
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [108091]
Übungen
- Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Joanna Delicaris, Jonas Stübbe und Pauline Blohm)- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108119]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun und Prof. Dr. Ralph-Günther Holz) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108119]
Kolloquium
- Kolloquium: Informatik-Kolloquium [108118]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm und Prof. Dr. Jan Vahrenhold)
Vorlesungen
- Vorlesung: Diskrete Strukturen [106127]
(zusammen mit Jonas Stübbe und Pauline Blohm)- V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [106130]
(zusammen mit Mathis Niehage) - V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [106130]
Seminar
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [106129]
Übungen
- Übung: Übungen zur Vorlesung "Diskrete Strukturen" [106128]
(zusammen mit Jonas Stübbe und Pauline Blohm)- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106114]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun und Prof. Dr. Ralph-Günther Holz) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106114]
Kolloquium
- Kolloquium: Informatik-Kolloquium [106115]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm und Prof. Dr. Jan Vahrenhold)
Seminar
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen"
Übung
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104560]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun und Prof. Dr. Ralph-Günther Holz)
Kolloquium
- Kolloquium: Informatik-Kolloquium [104561]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm und Prof. Dr. Jan Vahrenhold)
- V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [102090]
Projekt
- Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" – ROCKS ()
Wissenschaftliche Veranstaltung: | Teilnahmebeiträge/Tagungsgebühren
- Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" – ROCKS ()
Publikationen
- Ghasemieh, H., Remke, A., und Haverkort, B. . „Survivability analysis of a sewage treatment facility using hybrid Petri nets.“ Performance Evaluation 97 (null): 36–56. doi: 10.1016/j.peva.2015.11.004.
- Chromik, J., Remke, A., und Haverkort, B. . „What's under the hood? Improving SCADA security with process awareness.“ In Bd. null aus IEEE Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids Wiley-IEEE Press. doi: 10.1109/CPSRSG.2016.7684100.
- Remke, A., und Haverkort, B. . „Measurement, modelling and evaluation of dependable computer and communication systems: 18th international GI/ITG conference, MMB & DFT 2016 münster, Germany, april 4-6, 2016 proceedings.“ In Bd. 9629 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-31559-1.
- Gribaudo, M., und Remke, A. . „Hybrid Petri nets with general one-shot transitions.“ Performance Evaluation 105 (null): 22–50. doi: 10.1016/j.peva.2016.09.002.
- Huels, J., und Remke, A. . „Energy storage in smart homes: Grid-convenience versus self-use and survivability.“ In Bd. null aus IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Wiley-IEEE Press. doi: 10.1109/MASCOTS.2016.33.
- Jongerden, M., Hüls, J., Remke, A., und Haverkort, B. . „Does your domestic photovoltaic energy system survive grid outages?“ Energies 9 (9). doi: 10.3390/en9090736.
- Jongerden, M., Huls, J., Haverkort, B., und Remke, A. . „Assessing the cost of energy independence.“ In Bd. null aus IEEE International Energy Conference Wiley-IEEE Press. doi: 10.1109/ENERGYCON.2016.7514139.
- Biech, M., Bigdon, T., Dielitz, C., Fromme, G., und Remke, A. . „A smart neighbourhood simulation tool for shared energy storage and exchange.“ In Bd. 9845 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-43904-4_6.
- Ghasemieh, H., Remke, A., und Haverkort, B. . „Hybrid Petri nets with multiple stochastic transition firings.“ EAI Endorsed Transactions on Self-Adaptive Systems 1(3):e1.
- Remke, A, und Stoelinga, M, Hrsg. . Lecture Notes in Computer Science, Bd. 8453, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, {ROCKS} 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures Springer VDI Verlag. doi: 10.1007/978-3-662-45489-3.
Betreute Promotionen
da Silva, Carina Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Ghasemieh, Hamed Analysis of Hybrid Petri Nets with Random Discrete Events Kolesnischenko, Anna Model-checking Mean-field Models: Algorithms and Applications
Professor Dr. Anne Remke
Einsteinstr. 62
48149 Münster