Person:

Zeige:

Publications

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: . Type of Publication: Research article in edited proceedings (conference)
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024. Manchester: . Type of Publication: Research article in edited proceedings (conference)
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449) Type of Publication: Research article (journal)
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability Niehage, Mathis; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings. Cham: . Type of Publication: Research article in edited proceedings (conference)
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), Performance Evaluation Methodologies and Tools. Cham: . Type of Publication: Research article in edited proceedings (conference)
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4) Type of Publication: Research article (journal)
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. (2023) In: Steffen, Bernhard (eds.), Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Cham: . Type of Publication: Research article in edited proceedings (conference)
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne (2023) In: David, Cristina; Sun, Meng (eds.), Theoretical Aspects of Software Engineering. Cham: . Type of Publication: Research article in edited proceedings (conference)
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne (2022) In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022,…. Rhodes, Greece: . Type of Publication: Research article in edited proceedings (conference)
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty Niehage, Mathis; Remke, Anne (2022) In: Bogomolov, Sergiy; Parker, David (eds.), Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Warsaw, Poland: . Type of Publication: Research article in edited proceedings (conference)