A Denotational Theory of Synchronous Reactive Systems - Albert Benveniste; Paul Le Guernic; Yves Sorel; Michel Sorine (Inf. Comput., 1992)

Performance Optimization of Multiprocessor Real-Time Applications by Graphs Transformations. - Christophe Lavarenne; Yves Sorel (PARCO, 1993)

A Real Time Multiprocessor Application Development Environment Design And Implementation. - Nacer-Eddine Zergainoh; Thierry Maurin; Yves Sorel; Christophe Lavarenne (PDP, 1994)

Real-time embedded image processing applications using the A3 methodology. - Yves Sorel (ICIP (2), 1996)

Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors. - Thierry Grandpierre; Christophe Lavarenne; Yves Sorel (CODES, 1999)

PROMPT: a mapping environment for telecom applications on "system-on-a-chip". - Michel Barreteau; Juliette Mattioli; Thierry Grandpierre; Christophe Lavarenne; Yves Sorel; Philippe Bonnot 001; Philippe Kajfasz (CASES, 2000)

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. - Alain Girault; Christophe Lavarenne; Yves Sorel; Mihaela Sighireanu (ICDCS, 2001)

Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. - Alain Girault; Christophe Lavarenne; Mihaela Sighireanu; Yves Sorel (IPDPS, 2001)

Off-Line Real-Time Fault-Tolerant Scheduling. - Catalin Dima; Alain Girault; Christophe Lavarenne; Yves Sorel (PDP, 2001)

Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing. - Nicolas Pernet; Yves Sorel (CAINE, 2003)

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. - Alain Girault; Hamoudi Kalla; Mihaela Sighireanu; Yves Sorel (DSN, 2003)

A Methodology to Implement Real-Time Applications on Reconfigurable Circuits. - Linda Kaouane; Mohamed Akil; Thierry Grandpierre; Yves Sorel (Engineering of Reconfigurable Systems and Algorithms, 2003)

From Algorithm Graph Specification to Automatic Synthesis of FPGA Circuit: A Seamless Flow of Graphs Transformations. - Linda Kaouane; Mohamed Akil; Yves Sorel; Thierry Grandpierre (FPL, 2003)

From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations. - Thierry Grandpierre; Yves Sorel (MEMOCODE, 2003)

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. - Catalin Dima; Alain Girault; Yves Sorel (FORMATS/FTRTFT, 2004)

AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable Circuits. - Pierre Niang; Thierry Grandpierre; Mohamed Akil; Yves Sorel (FPL, 2004)

An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. - Alain Girault; Hamoudi Kalla; Yves Sorel (DIPES, 2004)

A Methodology to Implement Real-Time Applications onto Reconfigurable Circuits. - Linda Kaouane; Mohamed Akil; Thierry Grandpierre; Yves Sorel (J. Supercomput., 2004)

P2I: An Innovative MDA Methodology for Embedded Real-Time System. - Arnaud Cuccuru; Robert de Simone; Thierry Saunier; Günther Siegel; Yves Sorel (DSD, 2005)

Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems. - Tolga Ayav; Yves Sorel (RTCSA, 2005)

Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constraints. - Patrick Meumeu Yomsi; Yves Sorel (ETFA, 2006)

Transient Processor/Bus Fault Tolerance for Embedded Systems. - Alain Girault; Hamoudi Kalla; Yves Sorel (DIPES, 2006)

Rapid Prototyping for Heterogeneous Multicomponent Systems: An MPEG-4 Stream over a UMTS Communication Link. - Mickaël Raulet; Fabrice Urban; Jean-François Nezan; Christophe Moy; Olivier Déforges; Yves Sorel (EURASIP J. Adv. Signal Process., 2006)

A rapid heuristic for scheduling non-preemptive dependent periodic tasks onto multiprocessor. - Omar Kermia; Yves Sorel (PDCS, 2007)

Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems. - Patrick Meumeu Yomsi; Yves Sorel (ECRTS, 2007)

Necessary and sufficient conditions for deterministic desynchronization. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel (EMSOFT, 2007)

A methodology for improving software design lifecycle in embedded control systems. - Mohamed El Mongi Ben Gaid; Rémy Kocik; Yves Sorel; Rédha Hamouche (DATE, 2008)

Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems. - Omar Kermia; Yves Sorel (ICPP Workshops, 2008)

Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints. - Omar Kermia; Yves Sorel (RTCSA, 2008)

Periodic real-time scheduling: from deadline-based model to latency-based model. - Liliana Cucu; Nicolas Pernet; Yves Sorel (Ann. Oper. Res., 2008)

Clock-driven distributed real-time implementation of endochronous synchronous programs. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel; Jean-Pierre Talpin (EMSOFT, 2009)

Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP. - Patrick Meumeu Yomsi; Yves Sorel; Daniel de Rauglaudre; Laurent George 001 (ICONS, 2009)

From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations. - Dumitru Potop-Butucaru; Robert de Simone; Yves Sorel (Synthesis of Embedded Software, 2010)

Scheduling non-preemptive hard real-time tasks with strict periods. - Mohamed Marouf; Yves Sorel (ETFA, 2011)

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. - Dumitru Potop-Butucaru; Yves Sorel; Robert de Simone; Jean-Pierre Talpin (Fundam. Informaticae, 2011)

Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling. - Laurent George 001; Pierre Courbin; Yves Sorel (J. Syst. Archit., 2011)

Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks. - Mohamed Marouf; Laurent George 001; Yves Sorel (ETFA, 2012)

Guest editorial - RTNS 2010. - Sanjoy K. Baruah; Yves Sorel (Real Time Syst., 2012)

Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems. - Falou Ndoye; Yves Sorel (CSE, 2013)

Exploring system architectures in AADL via Polychrony and SynDEx. - Huafeng Yu; Yue Ma 004; Thierry Gautier; Loïc Besnard; Jean-Pierre Talpin; Paul Le Guernic; Yves Sorel (Frontiers Comput. Sci., 2013)

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. - Thomas Carle; Dumitru Potop-Butucaru; Yves Sorel; David Lesens (Leibniz Trans. Embed. Syst., 2015)

Automatic parallelization of multi-rate FMI-based co-simulation on multi-core. - Salah Eddine Saidi; Nicolas Pernet; Yves Sorel (SpringSim (TMS), 2017)

Latency analysis for data chains of real-time periodic tasks. - Tomasz Kloda; Antoine Bertout; Yves Sorel (ETFA, 2018)

Scheduling Real-Time HiL Co-Simulation of Cyber-Physical Systems on Multi-Core Architectures. - Salah Eddine Saidi; Nicolas Pernet; Yves Sorel (RTCSA, 2018)

Probabilistic Schedulability Analysis for Precedence Constrained Tasks on Partitioned Multi-core. - Slim Ben-Amor; Liliana Cucu-Grosjean; Mehdi Mezouak; Yves Sorel (ETFA, 2020)

Probabilistic Schedulability Analysis for Real-time Tasks with Precedence Constraints on Partitioned Multi-core. - Slim Ben-Amor; Liliana Cucu-Grosjean; Mehdi Mezouak; Yves Sorel (ISORC, 2020)

Latency upper bound for data chains of real-time periodic tasks. - Tomasz Kloda; Antoine Bertout; Yves Sorel (J. Syst. Archit., 2020)

Work-in-Progress Abstract: The impact of the period variation on execution time distributions of programs. - Liliana Cucu-Grosjean; Avner Bar-Hen; Yves Sorel; Hadrien Clarke (RTCSA, 2021)

Work-in-Progress Abstract: WKS, a local unsupervised statistical algorithm for the detection of transitions in timing analysis. - Marwan Wehaiba el Khazen; Liliana Cucu-Grosjean; Adriana Gogonel; Hadrien Clarke; Yves Sorel (RTCSA, 2021)

Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators. - Marwan Wehaiba el Khazen; Kevin Zagalo; Hadrien Clarke; Mehdi Mezouak; Yasmina Abdeddaïm; Avner Bar-Hen; Slim Ben-Amor; Rihab Bennour; Adriana Gogonel; Kossivi Kougblenou; Yves Sorel; Liliana Cucu-Grosjean (RTAS, 2022)