da Silva, Carina
Zeige 1 bis 10 von 19 Ergebnissen
Zeige 1 bis 10 von 19 Ergebnissen
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 |
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4), 1-27. doi:10.1145/3607197 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht |
da Silva, Carina (2022) In: Steffen Hölldobler, Steffen; Reischuk, Rüdiger; Apel, Sven; Bernstein, Abraham; Freiling, Felix C.; Lenhof, Hans-Peter; Neumann, Gustaf; Römer, Kay Uwe; Scheuermann, Björn; Schweikardt, Nicole; Wehrle, Klaus (Hrsg.), Ausgezeichnete Informatikdissertationen 2021, 11-20. Bonn: . Forschungsartikel (Buchbeitrag) | Veröffentlicht |
Pilch, Carina (2021) Münster: . Qualifikationsschrift (Dissertation, Habilitationsschrift) | Veröffentlicht |
Pilch Carina, Schupp Stefan, Remke Anne (2021) In: Abate, Alessandro; Marin, Andrea (Hrsg.), Quantitative Evaluation of Systems. QEST 2021, 435-456. Cham: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |
In: , -. | Peer reviewed |
In: (Hrsg.), , -. | Peer reviewed |
In: (Hrsg.), , -. | Peer reviewed |
In: (Hrsg.), , -. | Peer reviewed |
In: (Hrsg.), , -. | Peer reviewed |
Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne
(2021)
ACM Transactions on Modeling and Computer Simulation
, 31
(3)
1
37
doi:10.1145/3449353
Forschungsartikel (Zeitschrift)
| Veröffentlicht
Niehage, Mathis; Pilch, Carina; Remke, Anne
(2020)
ACM
Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools
88
95
New York, NY, USA:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika
(2020)
Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia
NASA Formal Methods
381
400
Cham:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Pilch, Carina; Hartmanns, Arnd; Remke, Anne
(2020)
ACM
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
1
11
New York, NY, USA:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, Paolo
(2020)
Frehse, Goran; Althoff, Matthias
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
76
106
online:
Forschungsartikel in Sammelband (Konferenz)
| Veröffentlicht
Springer
doi:10.1007/978-3-031-93706-4_15
Köllen
Universität Münster
Springer
doi:10.1007/978-3-030-85172-9_23
ACM Press. doi:10.1145/3388831.3388842
Springer. doi:10.1007/978-3-030-55754-6_23
ACM Press. doi:10.1145/3365365.3382198
EasyChair. doi:10.29007/mqzc
