Author of the publication

Skill-Based Verification of Cyber-Physical Systems.

, , , , , and . Software Engineering, volume P-310 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2021)

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

A Knowledge-based Approach for the Automatic Construction of Skill Graphs for Online Monitoring., , , and . IV, page 142-149. IEEE, (2021)A Knowledge-based Approach for the Automatic Construction of Skill Graphs for Online Monitoring., , and . CoRR, (2021)Compensating for the Absence of a Required Accompanying Person: A Draft of a Functional System Architecture for an Automated Vehicle., , , , , and . ITSC, page 2264-2271. IEEE, (2021)Controlling Concurrent Change: Managing In-Field Change in Critical Embedded Systems., , , , , , , and . EWME, page 107-112. IEEE, (2018)Compensating for the Absence of a Required Accompanying Person: A Draft of a Functional System Architecture for an Automated Vehicle., , , , , and . CoRR, (2022)Skill-Based Verification of Cyber-Physical Systems., , , , , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 203-223. Springer, (2020)Towards a Skill- And Ability-Based Development Process for Self-Aware Automated Road Vehicles., , , , , and . CoRR, (2017)Taxonomy to Unify Fault Tolerance Regimes for Automotive Systems: Defining Fail-Operational, Fail-Degraded, and Fail-Safe., , , , , , and . IEEE Trans. Intell. Veh., 7 (2): 251-262 (2022)Skill-Based Verification of Cyber-Physical Systems., , , , , and . Software Engineering, volume P-310 of LNI, page 67-68. Gesellschaft für Informatik e.V., (2021)Vehicle pose estimation in cluttered urban environments using multilayer adaptive Monte Carlo localization., , , and . FUSION, page 1774-1779. IEEE, (2016)