From post

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.

 

Другие публикации лиц с тем же именем

GOAL: Supporting General and Dynamic Adaptation in Computing Systems., , , , , , , , , и . Onward!, стр. 16-32. ACM, (2022)Safe & Robust Reachability Analysis of Hybrid Systems., , , и . CoRR, (2017)Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , и . HPCC/CSS/ICESS, стр. 1093-1096. IEEE, (2015)A Semantic Account of Rigorous Simulation., , , и . Principles of Modeling, том 10760 из Lecture Notes in Computer Science, стр. 223-239. Springer, (2018)Acumen: An Open-Source Testbed for Cyber-Physical Systems Research., , , , , , , , , и 14 other автор(ы). IoT 360 (1), том 169 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 118-130. (2015)Flipping a first course on cyber-physical systems: an experience report., , , , , , , и . WESE, стр. 8:1-8:8. ACM, (2016)Enclosing the behavior of a hybrid system up to and beyond a Zeno point., , , , и . CPSNA, стр. 120-125. IEEE Computer Society, (2013)Developing a first course on cyber-physical systems., , , , , , , и . SIGBED Review, 14 (1): 44-52 (2016)Rigorous Simulation: Its Theory and Applications.. Halmstad University, Sweden, (2016)Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation., , , , , , , , , и . CyPhy/WESE, том 11971 из Lecture Notes in Computer Science, стр. 108-126. Springer, (2019)