Yvon Trinquet

27 papers A 1B 2C 5Misc 1Journal 3Unranked 14
YearRankTypeTitle / Venue / Authors
2017 — conf
Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor Scheduling.
CSE/EUC (2)
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2015 J jnl
STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Sylvain Cotard, Audrey Queudet, Jean-Luc Béchennec, Sébastien Faucou, Yvon Trinquet
2014 — conf
Improving processor hardware compiled cycle accurate simulation using program abstraction.
SimuTools
Adrien Bullich, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet
2013 — ch.
Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor Scheduling.
Modeling Approaches and Algorithms for Advanced Computer Applications
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2012 — conf
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.
HPCC-ICESS
Sylvain Cotard, Sébastien Faucou, Jean-Luc Béchennec, Audrey Queudet, Yvon Trinquet
2012 C conf
Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling.
ETFA
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2012 J jnl
Harmless, a hardware architecture description language dedicated to real-time embedded system simulation.
J. Syst. Archit.
Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Guillaume Savaton, Yvon Trinquet
2011 Misc conf
Overhead control in real-time global scheduling.
RTNS
Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela
2010 C conf
STORM a simulation tool for real-time multiprocessor scheduling evaluation.
ETFA
Richard Urunuela, Anne-Marie Déplanche, Yvon Trinquet
2010 — conf
Temporal isolation for the cohabitation of applications in automotive embedded software.
EDCC-CARS
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
2010 J jnl
Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué.
Tech. Sci. Informatiques
Matthias Brun, Jérôme Delatour, Yvon Trinquet, Frédéric Thomas, Sébastien Gérard
2009 C conf
An Analysis of the AUTOSAR OS Timing Protection Mechanism.
ETFA
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
2009 — conf
Instruction set simulator generation using HARMLESS, a new hardware architecture description language.
SimuTools
Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton
2008 B conf
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.
ICECCS
Matthias Brun, Jérôme Delatour, Yvon Trinquet
2008 — conf
Simulator generation using an automaton based pipeline model for timing analysis.
IMCSIT
Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton
2007 — conf
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
SIES
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet
2006 C conf
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.
ETFA
Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet
2005 — conf
Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework.
CDC/ECC
Thibault Hilaire, Philippe Chevrel, Yvon Trinquet
2004 — conf
An ADL Centric Approach for the Formal Design of Real-Time Systems.
IFIP-WADL
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
2004 A conf
Decomposition and Learning for a Hard Real Time Task Allocation Problem.
CP
Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet
2004 — conf
EAST-ADL - An Architecture Description Language - Validation and Verification Aspects.
IFIP-WADL
Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet
2003 — conf
Response time calculations for non-preemptive tasks with variable execution time.
ETFA (1)
Imad Alzeer, Pierre Molinaro, Yvon Trinquet
2002 — conf
Timing fault detection for safety-critical real-time embedded systems.
ACM SIGOPS European Workshop
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
2001 — conf
Operative architecture design and modelling for the validation of real-time applications.
ETFA (2)
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
1999 B conf
Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive.
SRDS
Anne-Marie Déplanche, Pierre-Yves Théaudière, Yvon Trinquet
1994 C conf
The SCEPTRE2 Communication Service In A Fault Tolerance Context.
PDP
Soraya Bestaoui, Anne-Marie Déplanche, Yvon Trinquet
1991 — conf
Execution Environment for ELECTRE Applications.
ESEC
Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales