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

A simulation environment for designing distributed reactive/deliberative time-constrained applications., , and . Annual Simulation Symposium, page 186-195. IEEE Computer Society, (1995)Identification of Multi-Core Interference., , and . HASE, page 98-106. IEEE, (2019)COOK Access Control on an embedded Volta GPU., , and . CoRR, (2024)Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters., , , and . WCET, volume 121 of OASIcs, page 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Un langage de contexte de preuve pour la validation formelle de modèles logiciels., , , , and . CAL, volume RNTI-L-2 of Revue des Nouvelles Technologies de l'Information, page 173-189. Cépaduès-Éditions, (2008)Verification of embbeded systems with preemption: a negative result., and . ISoLA, volume RNTI-SM-1 of Revue des Nouvelles Technologies de l'Information, page 99-110. Cépaduès-Éditions, (2007)Analyse de robustesse de systèmes avioniques., , , and . JFLA, page 111-124. INRIA, (2003)Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language., and . PODC, page 387. ACM, (1994)Trois approches pour la modélisation et la vérification de systèmes embarqués., , and . Technique et Science Informatiques, 22 (5): 539-569 (2003)Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems., , , and . SIES, page 197-200. IEEE, (2010)