Yves Sorel

Affiliations:
  • INRIA, France


According to our database1, Yves Sorel authored at least 50 papers between 1992 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators.
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

2021
Work-in-Progress Abstract: WKS, a local unsupervised statistical algorithm for the detection of transitions in timing analysis.
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

Work-in-Progress Abstract: The impact of the period variation on execution time distributions of programs.
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2020
Latency upper bound for data chains of real-time periodic tasks.
J. Syst. Archit., 2020

Probabilistic Schedulability Analysis for Real-time Tasks with Precedence Constraints on Partitioned Multi-core.
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

Probabilistic Schedulability Analysis for Precedence Constrained Tasks on Partitioned Multi-core.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2018
Scheduling Real-Time HiL Co-Simulation of Cyber-Physical Systems on Multi-Core Architectures.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Latency analysis for data chains of real-time periodic tasks.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Automatic parallelization of multi-rate FMI-based co-simulation on multi-core.
Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

2015
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation.
Leibniz Trans. Embed. Syst., 2015

2013
Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci., 2013

Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2012
Guest editorial - RTNS 2010.
Real Time Syst., 2012

Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling.
J. Syst. Archit., 2011

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
Fundam. Informaticae, 2011

Scheduling non-preemptive hard real-time tasks with strict periods.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations.
Proceedings of the Synthesis of Embedded Software, 2010

2009
Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP.
Proceedings of the Fourth International Conference on Systems, 2009

Clock-driven distributed real-time implementation of endochronous synchronous programs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008
Periodic real-time scheduling: from deadline-based model to latency-based model.
Ann. Oper. Res., 2008

Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems.
Proceedings of the 37th International Conference on Parallel Processing, 2008

A methodology for improving software design lifecycle in embedded control systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Necessary and sufficient conditions for deterministic desynchronization.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

A rapid heuristic for scheduling non-preemptive dependent periodic tasks onto multiprocessor.
Proceedings of the ISCA 20th International Conference on Parallel and Distributed Computing Systems, 2007

2006
Rapid Prototyping for Heterogeneous Multicomponent Systems: An MPEG-4 Stream over a UMTS Communication Link.
EURASIP J. Adv. Signal Process., 2006

Transient Processor/Bus Fault Tolerance for Embedded Systems.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constraints.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

P2I: An Innovative MDA Methodology for Embedded Real-Time System.
Proceedings of the Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August, 2005

2004
A Methodology to Implement Real-Time Applications onto Reconfigurable Circuits.
J. Supercomput., 2004

An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable Circuits.
Proceedings of the Field Programmable Logic and Application, 2004

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.
Proceedings of the Formal Techniques, 2004

2003
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

From Algorithm Graph Specification to Automatic Synthesis of FPGA Circuit: A Seamless Flow of Graphs Transformations.
Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

A Methodology to Implement Real-Time Applications on Reconfigurable Circuits.
Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, June 23, 2003

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing.
Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

2001
Off-Line Real-Time Fault-Tolerant Scheduling.
Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
PROMPT: a mapping environment for telecom applications on "system-on-a-chip".
Proceedings of the 2000 International Conference on Compilers, 2000

1999
Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors.
Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1996
Real-time embedded image processing applications using the A<sup>3 </sup> methodology.
Proceedings of the Proceedings 1996 International Conference on Image Processing, 1996

1994
A Real Time Multiprocessor Application Development Environment Design And Implementation.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993
Performance Optimization of Multiprocessor Real-Time Applications by Graphs Transformations.
Proceedings of the Parallel Computing: Trends and Applications, 1993

1992
A Denotational Theory of Synchronous Reactive Systems
Inf. Comput., August, 1992


  Loading...