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

Safe & Robust Reachability Analysis of Hybrid Systems., , , and . CoRR, (2017)Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , and . HPCC/CSS/ICESS, page 1093-1096. IEEE, (2015)Flipping a first course on cyber-physical systems: an experience report., , , , , , , and . WESE, page 8:1-8:8. ACM, (2016)Enclosing the behavior of a hybrid system up to and beyond a Zeno point., , , , and . CPSNA, page 120-125. IEEE Computer Society, (2013)Safe & robust reachability analysis of hybrid systems., , , and . Theor. Comput. Sci., (2018)Proteus: Language and Runtime Support for Self-Adaptive Software Development., , , , , , , , , and 9 other author(s). IEEE Software, 36 (2): 73-82 (2019)GOAL: Supporting General and Dynamic Adaptation in Computing Systems., , , , , , , , , and . Onward!, page 16-32. ACM, (2022)Language Support for Adaptation: Intent-Driven Programming in FAST., , , , , , , , , and . CoRR, (2019)A Semantic Account of Rigorous Simulation., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 223-239. Springer, (2018)Acumen: An Open-Source Testbed for Cyber-Physical Systems Research., , , , , , , , , and 14 other author(s). IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 118-130. (2015)