Autor der Publikation

Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems.

, , und . ETFA, Seite 1-8. IEEE, (2014)

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

Automatic generation of test system instances for configurable cyber-physical systems., , , und . Softw. Qual. J., 25 (3): 1041-1083 (2017)Uncertainty-Aware Robustness Assessment of Industrial Elevator Systems., , , , und . ACM Trans. Softw. Eng. Methodol., 32 (4): 95:1-95:51 (Juli 2023)Metamorphic Runtime Monitoring of Autonomous Driving Systems., , , , , und . CoRR, (2023)Model-Based Testing in Practice: An Industrial Case Study using GraphWalker., , , , , und . ISEC, Seite 5:1-5:11. ACM, (2021)Using regression learners to predict performance problems on software updates: a case study on elevators dispatching algorithms., , , , und . SAC, Seite 135-144. ACM, (2021)Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?, und . SANER, Seite 549-553. IEEE, (2022)Automating Test Oracle Generation in DevOps for Industrial Elevators., , , , , und . SANER, Seite 284-288. IEEE, (2022)Spectrum-based feature localization for families of systems., , , , , , und . J. Syst. Softw., (2023)Are elevator software robust against uncertainties? results and experiences from an industrial case study., , , , und . ESEC/SIGSOFT FSE, Seite 1331-1342. ACM, (2022)QoS-aware Metamorphic Testing: An Elevation Case Study., , , , und . ISSRE, Seite 104-114. IEEE, (2020)