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