Author of the publication

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment.

, , , , , and . HPCC/CSS/ICESS, page 1093-1096. IEEE, (2015)

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

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment., , , , , and . HPCC/CSS/ICESS, page 1093-1096. IEEE, (2015)Fixed points of a destabilized Kuramoto-Sivashinsky equation., and . Appl. Math. Comput., (2015)Language Support for Adaptation: Intent-Driven Programming in FAST., , , , , , , , , and . CoRR, (2019)Compile-Time Extensions to Hybrid ODEs., , and . SNR@ETAPS, volume 247 of EPTCS, page 52-70. (2017)Dynamics of an SIRWS model with waning of immunity and varying immune boosting period., , , and . CoRR, (2022)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)Bifurcation analysis of waning-boosting epidemiological models with repeat infections and varying immunity periods., , , and . Math. Comput. Simul., (April 2024)Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation., , , , , , , , , and . CyPhy/WESE, volume 11971 of Lecture Notes in Computer Science, page 108-126. Springer, (2019)Optimizing Symptom Based Testing Strategies for Pandemic Mitigation., , , , and . IEEE Access, (2022)Bifurcation analysis of waning-boosting epidemiological models with repeat infections and varying immunity periods., , , and . CoRR, (2023)