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

Fault tolerance evaluation and schedulability analysis., and . SAC, page 729-734. ACM, (2011)Supporting Model Based Design., , , and . MEDI, volume 6918 of Lecture Notes in Computer Science, page 237-248. Springer, (2011)Skill-based design of dependable robotic architectures., , , , , and . Robotics Auton. Syst., (February 2023)SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems., , , , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 120-138. (2022)Schedulability analysis for mixed critical cyber physical systems., , , , , and . ICPS, page 297-303. IEEE, (2018)Source Code Analysis with a Temporal Extension of First-Order Logic., , and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 20-38. Springer, (2018)Formalization of Robot Skills with Descriptive and Operational Models., , and . IROS, page 7227-7232. IEEE, (2020)Exploring iGPU Memory Interference Response to L2 Cache Locking., , , , and . WCET, volume 114 of OASIcs, page 3:1-3:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification., , , and . ICRA, page 597-603. IEEE, (2019)MAUVE Runtime: A Component-Based Middleware to Reconfigure Software Architectures in Real-Time., , and . IRC, page 208-211. IEEE Computer Society, (2017)