Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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