I agree that this site is using cookies. You can find further informations here.
X
Remke, Anne
132  results:
Search for persons X
?
1

The Best of Both Worlds: Analytically-Guided Simulation of ..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Performance Evaluation Methodologies and Tools,
Niehage, Mathis ; Remke, Anne - p. 61-81 , 2024
Link: https://doi.org/10.1007/..
 
?
2

RealySt: A C++ Tool for Optimizing Reachability Probabiliti..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Performance Evaluation Methodologies and Tools,
Delicaris, Joanna ; Stübbe, Jonas ; Schupp, Stefan. - p. 170-182 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Monte-Carlo Integration on a Union of Polytopes:

, In: AIRO Springer Series; Graphs and Combinatorial Optimization: from Theory to Applications,
Stübbe, Jonas ; Remke, Anne - p. 147-160 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Evaluating a Process-Aware IDS for Smart Grids on Distribut..:

, In: 2023 IEEE International Conference on Cyber Security and Resilience (CSR),
Menzel, Verena ; GroBhanten, Kai Oliver ; Remke, Anne - p. 418-425 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Maximizing Reachability Probabilities in Rectangular Automa..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Delicaris, Joanna ; Schupp, Stefan ; Ábrahám, Erika. - p. 164-182 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Securing Smart Grids Locally using a Power Flow-based Intru..:

, In: 2023 IEEE Belgrade PowerTech,
Menzel, Verena ; Arias, Nataly Banol ; Hurink, Johann L.. - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Shielded Learning for Resilience and Performance Based on S..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Adelt, Julius ; Bruch, Sebastian ; Herber, Paula.. - p. 94-118 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Optimizing Reachability Probabilities for a Restricted Clas..:

Da Silva, Carina ; Schupp, Stefan ; Remke, Anne
ACM Transactions on Modeling and Computer Simulation.  33 (2023)  4 - p. 1-27 , 2023
Link: https://doi.org/10.1145/..
 
?
9

SMT: Something You Must Try:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Ábrahám, Erika ; Kovács, József ; Remke, Anne - p. 3-18 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Comparing Two Approaches to Include Stochasticity in Hybrid..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Willemsen, Lisa ; Remke, Anne ; Ábrahám, Erika - p. 238-254 , 2023
Link: https://doi.org/10.1007/..
 
?
11

Optimisation and analysis of railway timetables under consi..:

Haehn, Rebecca , 2022
Link: https://nbn-resolving.de..
 
?
12

Towards Safe and Resilient Hybrid Systems in the Presence o..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Adelt, Julius ; Herber, Paula ; Niehage, Mathis. - p. 299-319 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Learning that Grid-Convenience Does Not Hurt Resilience in ..:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,
Niehage, Mathis ; Remke, Anne - p. 298-306 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Learning optimal decisions for stochastic hybrid systems:

, In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Niehage, Mathis ; Hartmanns, Arnd ; Remke, Anne - p. 44-55 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Optimizing Reachability Probabilities for a Restricted Clas..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Pilch, Carina ; Schupp, Stefan ; Remke, Anne - p. 435-456 , 2021
Link: https://doi.org/10.1007/..
 
1-15