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

Safety Controller Synthesis for a Mobile Manufacturing Cobot., , , , und . SEFM, Volume 13550 von Lecture Notes in Computer Science, Seite 271-287. Springer, (2022)Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper).. SERENE, Volume 11732 von Lecture Notes in Computer Science, Seite 109-117. Springer, (2019)Towards Adaptive Planning of Assistive-care Robot Tasks., , , und . FMAS/ASYDE@SEFM, Volume 371 von EPTCS, Seite 175-183. (2022)Probabilistic Program Performance Analysis., , und . SEAA, Seite 148-157. IEEE, (2021)Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles., , , und . FASE, Volume 12076 von Lecture Notes in Computer Science, Seite 357-377. Springer, (2020)Analyzing and Debugging Normative Requirements via Satisfiability Checking., , , , , , , , , und 4 andere Autor(en). ICSE, Seite 214:1-214:12. ACM, (2024)Probabilistic program performance analysis with confidence intervals., , und . Inf. Softw. Technol., (April 2023)Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis., , und . MoDELS (Companion), Seite 249-253. IEEE, (2021)