Organisation:
Zeige 1 bis 10 von 61 Ergebnissen
Zeige 1 bis 10 von 61 Ergebnissen
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, 26-47. Crete: . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Research article (journal) | Peer reviewed | Published | |
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 | |
Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (eds.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: . Research article in edited proceedings (conference) | Peer reviewed | Published | |
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, 61-81. Cham: . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), Performance Evaluation Methodologies and Tools, 170-182. 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 | |
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, 94-118. Cham: . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne (2023) In: David, Cristina; Sun, Meng (eds.), Theoretical Aspects of Software Engineering, 164-182. Cham: . Research article in edited proceedings (conference) | Peer reviewed | Published |