Yvon Trinquet

According to our database, Yvon Trinquet authored at least 27 papers between 1991 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Overhead Control Heuristics in Boundary Fair Real-Time Multiprocessor Scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

2015

STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems.

Sylvain Cotard, Audrey Queudet, Jean-Luc Béchennec, Sébastien Faucou, Yvon Trinquet

ACM Trans. Embed. Comput. Syst., 2015

2014

Improving processor hardware compiled cycle accurate simulation using program abstraction.

Adrien Bullich, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet

Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

2013

Overhead Control in DP-Fair Work Conserving Real-Time Multiprocessor Scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of the Modeling Approaches and Algorithms for Advanced Computer Applications, 2013

2012

Harmless, a hardware architecture description language dedicated to real-time embedded system simulation.

Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Guillaume Savaton, Yvon Trinquet

J. Syst. Archit., 2012

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.

Sylvain Cotard, Sébastien Faucou, Jean-Luc Béchennec, Audrey Queudet, Yvon Trinquet

Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Overhead control in real-time global scheduling.

Muhammad Naeem Shehzad, Anne-Marie Déplanche, Yvon Trinquet, Richard Urunuela

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

2010

Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué.

Matthias Brun, Jérôme Delatour, Yvon Trinquet, Frédéric Thomas, Sébastien Gérard

Tech. Sci. Informatiques, 2010

STORM a simulation tool for real-time multiprocessor scheduling evaluation.

Richard Urunuela, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Temporal isolation for the cohabitation of applications in automotive embedded software.

Dominique Bertrand, Sébastien Faucou, Yvon Trinquet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Instruction set simulator generation using HARMLESS, a new hardware architecture description language.

Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

An Analysis of the AUTOSAR OS Timing Protection Mechanism.

Dominique Bertrand, Sébastien Faucou, Yvon Trinquet

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

Simulator generation using an automaton based pipeline model for timing analysis.

Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.

Matthias Brun, Jérôme Delatour, Yvon Trinquet

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

Adequacy between AUTOSAR OS specification and real-time scheduling theory.

Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2006

Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.

Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Designing Low Parametric Sensitivity FWL Realizations of LTI Controllers/Filters within the Implicit State-Space Framework.

Thibault Hilaire, Philippe Chevrel, Yvon Trinquet

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

An ADL Centric Approach for the Formal Design of Real-Time Systems.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the Architecture Description Languages, 2004

EAST-ADL - An Architecture Description Language - Validation and Verification Aspects.

Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet

Proceedings of the Architecture Description Languages, 2004

Decomposition and Learning for a Hard Real Time Task Allocation Problem.

Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien, Yvon Trinquet

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Response time calculations for non-preemptive tasks with variable execution time.

Imad Alzeer, Pierre Molinaro, Yvon Trinquet

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

Timing fault detection for safety-critical real-time embedded systems.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001

Operative architecture design and modelling for the validation of real-time applications.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1999

Implementing a Semi-Active Replication Strategy in CHORUS/ClassiX, A Distributed Real-Time Executive.

Anne-Marie Déplanche, Pierre-Yves Théaudière, Yvon Trinquet

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

1994

The SCEPTRE2 Communication Service In A Fault Tolerance Context.

Soraya Bestaoui, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1991

Execution Environment for ELECTRE Applications.

Denis Creusot, Philippe Lemoine, Olivier F. Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales

Proceedings of the ESEC '91, 1991