Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A User eXperience Evaluation Framework for Mobile Usability., , , und . International Journal of Software Engineering and Knowledge Engineering, 27 (2): 235-280 (2017)FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states., , und . Sci. Comput. Program., (2018)Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram., , , und . SAFECOMP, Volume 6351 von Lecture Notes in Computer Science, Seite 223-236. Springer, (2010)A runtime verification framework for dynamically adaptive multi-agent systems., , , , und . BigComp, Seite 509-512. IEEE Computer Society, (2016)Formal Modeling and Verification of Safety-Critical Software., , und . IEEE Software, 26 (3): 42-49 (2009)Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023)., , , , , , und . ACM SIGSOFT Softw. Eng. Notes, 48 (4): 41-45 (Oktober 2023)Means-ends and whole-part traceability analysis of safety requirements., , , und . J. Syst. Softw., 83 (9): 1612-1621 (2010)Cybersecurity Vulnerability Identification in System-of-Systems using Model-based Testing., , , und . SoSE, Seite 317-322. IEEE, (2022)Anomaly-Aware Adaptation Approach for Self-Adaptive Cyber-Physical System of Systems Using Reinforcement Learning., , , und . SoSE, Seite 7-12. IEEE, (2022)Slicing executable system-of-systems models for efficient statistical verification., , , , und . SESoS-WDES@ICSE, Seite 18-25. IEEE / ACM, (2019)