da Silva, Carina
Show 1 to 10 of 19 results
Show 1 to 10 of 19 results
Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (eds.), NASA Formal Methods, 254-274. Cham: . Research article in edited proceedings (conference) | Peer reviewed | Published |
da Silva, Carina; Schupp, Stefan; Remke, Anne (2023) In: ACM Transactions on Modeling and Computer Simulation, 33(4), 1-27. doi:10.1145/3607197 Research article (journal) | Peer reviewed | Published |
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 (eds.), Ausgezeichnete Informatikdissertationen 2021, 11-20. Bonn: . Research article (book contribution) | Published |
Pilch, Carina (2021) Münster: . Thesis (doctoral or post-doctoral) | Published |
Pilch Carina, Schupp Stefan, Remke Anne (2021) In: Abate, Alessandro; Marin, Andrea (eds.), Quantitative Evaluation of Systems. QEST 2021, 435-456. Cham: Research article in edited proceedings (conference) | Peer reviewed | Published |
In: , -. | Peer reviewed |
In: (eds.), , -. | Peer reviewed |
In: (eds.), , -. | Peer reviewed |
In: (eds.), , -. | Peer reviewed |
In: (eds.), , -. | 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
Research article (journal)
| Published
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:
Research article in edited proceedings (conference)
| Published
Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika
(2020)
Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia
NASA Formal Methods
381
400
Cham:
Research article in edited proceedings (conference)
| Published
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:
Research article in edited proceedings (conference)
| Published
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:
Research article in edited proceedings (conference)
| Published
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
