Author of the publication

System Modes - Digestible System (Re-)Configuration for Robotics.

, , and . RoSE@ICSE, page 19-24. IEEE, (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

Towards Integrating Ontologies into Verification for Autonomous Driving., , and . ISWC (Satellites), volume 2456 of CEUR Workshop Proceedings, page 319-320. CEUR-WS.org, (2019)FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems., , , , and . Domain-Specific Languages in Practice, Springer, (2021)A user study for evaluation of formal verification results and their explanation at Bosch., , , and . Empir. Softw. Eng., 28 (5): 125 (October 2023)Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees., , , , , , , and . CoRR, (2021)A systematic literature review on counterexample explanation - Summary., , , and . Software Engineering, volume P-332 of LNI, page 71-72. Gesellschaft für Informatik e.V., (2023)Counterexample Interpretation for Contract-Based Design., , , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 99-114. Springer, (2020)Oncilla Robot: A Versatile Open-Source Quadruped Research Robot With Compliant Pantograph Legs., , , , , , , , , and 2 other author(s). Frontiers Robotics AI, (2018)A systematic literature review on counterexample explanation., , , and . Inf. Softw. Technol., (2022)System Modes - Digestible System (Re-)Configuration for Robotics., , and . RoSE@ICSE, page 19-24. IEEE, (2021)A Domain Specific Language to Support HAZOP Studies of SysML Models., , , , and . IMBSA, volume 11842 of Lecture Notes in Computer Science, page 47-62. Springer, (2019)