( en | de | ru )

 

Disambiguierung von "Boniol, Frédéric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Schedulability analysis for mixed critical cyber physical systems.

, , , , , und . ICPS, Seite 297-303. IEEE, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Frédéric Ruckert

Frédéric Robin

Frédéric Roux

Frédéric Leroux

Frédéric Ziebarth

 

Weitere Publikationen von Autoren mit dem selben Namen

Identification of Multi-Core Interference., , und . HASE, Seite 98-106. IEEE, (2019)A simulation environment for designing distributed reactive/deliberative time-constrained applications., , und . Annual Simulation Symposium, Seite 186-195. IEEE Computer Society, (1995)COOK Access Control on an embedded Volta GPU., , und . CoRR, (2024)Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters., , , und . WCET, Volume 121 von OASIcs, Seite 3:1-3:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources., und . Theory and Practice of Timed Systems @ ETAPS, Volume 65 von Electronic Notes in Theoretical Computer Science, Seite 68-85. Elsevier, (2002)Heterogeneous multicore SDRAM interference analysis., , , , und . RTNS, Seite 12-23. ACM, (2021)Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems., , , und . SIES, Seite 197-200. IEEE, (2010)Analyse de robustesse de systèmes avioniques., , , und . JFLA, Seite 111-124. INRIA, (2003)Trois approches pour la modélisation et la vérification de systèmes embarqués., , und . Technique et Science Informatiques, 22 (5): 539-569 (2003)Verification of embbeded systems with preemption: a negative result., und . ISoLA, Volume RNTI-SM-1 von Revue des Nouvelles Technologies de l'Information, Seite 99-110. Cépaduès-Éditions, (2007)