Suche

Organisation:

Zeige:

Publikationen

Zeige 1 bis 10 von 61 Ergebnissen

Footer

Betrieben von

Universität Münster
Abteilung 6.4: Forschungsinformationen & Forschungsberichterstattung
Domplatz 6-7 | 48143 Münster
cris@uni-muenster.de

Top-Links

Über die Universität Münster
Forschungsprofil der Universität Münster
CRIS-Login

wissen.leben

Impressum | Datenschutz | Barrierefreiheit

Suche

Professur für Praktische…

Zeige 1 bis 10 von 61 Ergebnissen

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 (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods, 254-274. Cham: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (Hrsg.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability In: (Hrsg.), , -. \| Peer reviewed
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems In: (Hrsg.), , -. \| Peer reviewed
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction In: , -. \| Peer reviewed
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink In: (Hrsg.), , -. \| Peer reviewed
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks In: (Hrsg.), , -. \| Peer reviewed

Niehage, Mathis; Remke, Anne

(2024)

Kalyvianaki, Evangelia; Paolieri, Marco

Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings

Cham:

Forschungsartikel in Sammelband (Konferenz)

| Veröffentlicht

Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne

(2024)

Kalyvianaki, Evangelia; Paolieri, Marco

Performance Evaluation Methodologies and Tools

170

182

Cham:

Forschungsartikel in Sammelband (Konferenz)

| Veröffentlicht

da Silva, Carina; Schupp, Stefan; Remke, Anne

(2023)

ACM Transactions on Modeling and Computer Simulation

, 33

(4)

doi:10.1145/3607197

Forschungsartikel (Zeitschrift)

| Veröffentlicht

Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A.

(2023)

Steffen, Bernhard

Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

118

Cham:

Forschungsartikel in Sammelband (Konferenz)

| Veröffentlicht

Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne

(2023)

David, Cristina; Sun, Meng

Theoretical Aspects of Software Engineering

164

182

Cham:

Forschungsartikel in Sammelband (Konferenz)

| Veröffentlicht

Springer

doi:10.1007/978-3-031-75380-0_3

Springer Nature

doi:10.1007/978-3-031-76554-4_10

Springer

doi:10.1007/978-3-031-93706-4_15

Springer Nature. doi:10.1007/978-3-032-05792-1_21

Springer. doi:10.1007/978-3-031-48885-6_5

Springer. doi:10.1007/978-3-031-48885-6_11

Springer. doi:10.1007/978-3-031-46002-9_6

Springer. doi:10.1007/978-3-031-35257-7_10

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 (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (Hrsg.), NASA Formal Methods, 254-274. Cham: . Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (Hrsg.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability In: (Hrsg.), , -. \| Peer reviewed
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems In: (Hrsg.), , -. \| Peer reviewed
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction In: , -. \| Peer reviewed
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink In: (Hrsg.), , -. \| Peer reviewed
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks In: (Hrsg.), , -. \| Peer reviewed