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

The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS.. Des. Autom. Embed. Syst., 6 (3): 277-294 (2002)Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards., , , , , , and . SAFECOMP Workshops, volume 7613 of Lecture Notes in Computer Science, page 64-78. Springer, (2012)Real-time operating systems for embedded computing., , , and . ICCAD, page 2. ACM / IEEE Computer Society, (1998)ARRL: A Criterion for Composable Safety and Systems Engineering., , , and . SASSUR@SAFECOMP, HAL, (2013)Transparent Programming of Many/Multi Cores with OpenComRTOS: Comparing Intel 48-core SCC and TI 8-core TMS320C6678., , and . MARC Symposium, page 52-58. ONERA, The French Aerospace Lab, (2012)Coordination of Tasks on a Real-Time OS., , , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 250-266. Springer, (2019)Hubs for VirtuosoNext: Online verification of real-time coordinators., , , and . Sci. Comput. Program., (2021)Specifying a framework for evaluating requirements Engineering Technology: Challenges and lessons learned., , and . EmpiRE, page 1-8. IEEE Computer Society, (2013)An Unified Meta-model for Trustworthy Systems Engineering., and . SAFECOMP Workshops, volume 7613 of Lecture Notes in Computer Science, page 92-105. Springer, (2012)Beyond the Von Neumann Machine.. Networks on Chip, Kluwer / Springer, (2003)