default search action
Yves Sorel
Person information
- affiliation: INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c40]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:
Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators. RTAS 2022: 309-312 - 2021
- [c39]Marwan Wehaiba el Khazen, Liliana Cucu-Grosjean, Adriana Gogonel, Hadrien Clarke, Yves Sorel:
Work-in-Progress Abstract: WKS, a local unsupervised statistical algorithm for the detection of transitions in timing analysis. RTCSA 2021: 201-203 - [c38]Liliana Cucu-Grosjean, Avner Bar-Hen, Yves Sorel, Hadrien Clarke:
Work-in-Progress Abstract: The impact of the period variation on execution time distributions of programs. RTCSA 2021: 204-206 - 2020
- [j10]Tomasz Kloda, Antoine Bertout, Yves Sorel:
Latency upper bound for data chains of real-time periodic tasks. J. Syst. Archit. 109: 101824 (2020) - [c37]Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel:
Probabilistic Schedulability Analysis for Precedence Constrained Tasks on Partitioned Multi-core. ETFA 2020: 345-352 - [c36]Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel:
Probabilistic Schedulability Analysis for Real-time Tasks with Precedence Constraints on Partitioned Multi-core. ISORC 2020: 142-143
2010 – 2019
- 2018
- [c35]Tomasz Kloda, Antoine Bertout, Yves Sorel:
Latency analysis for data chains of real-time periodic tasks. ETFA 2018: 360-367 - [c34]Salah Eddine Saidi, Nicolas Pernet, Yves Sorel:
Scheduling Real-Time HiL Co-Simulation of Cyber-Physical Systems on Multi-Core Architectures. RTCSA 2018: 192-202 - 2017
- [c33]Salah Eddine Saidi, Nicolas Pernet, Yves Sorel:
Automatic parallelization of multi-rate FMI-based co-simulation on multi-core. SpringSim (TMS) 2017: 5:1-5:12 - 2015
- [j9]Thomas Carle
, Dumitru Potop-Butucaru, Yves Sorel, David Lesens:
From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation. Leibniz Trans. Embed. Syst. 2(2): 01:1-01:30 (2015) - 2013
- [j8]Huafeng Yu
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7(5): 627-649 (2013) - [c32]Falou Ndoye, Yves Sorel:
Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems. CSE 2013: 714-721 - 2012
- [j7]Sanjoy K. Baruah, Yves Sorel:
Guest editorial - RTNS 2010. Real Time Syst. 48(1): 1-2 (2012) - [c31]Mohamed Marouf, Laurent George, Yves Sorel:
Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks. ETFA 2012: 1-8 - 2011
- [j6]Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin:
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. Fundam. Informaticae 108(1-2): 91-118 (2011) - [j5]Laurent George
Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling. J. Syst. Archit. 57(5): 518-535 (2011) - [c30]Mohamed Marouf, Yves Sorel:
Scheduling non-preemptive hard real-time tasks with strict periods. ETFA 2011: 1-8 - 2010
- [p1]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations. Synthesis of Embedded Software 2010: 229-262
2000 – 2009
- 2009
- [c29]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. ACSD 2009: 42-51 - [c28]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin:
Clock-driven distributed real-time implementation of endochronous synchronous programs. EMSOFT 2009: 147-156 - [c27]Patrick Meumeu Yomsi
Improving the Sensitivity of Deadlines with a Specific Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP. ICONS 2009: 29-37 - 2008
- [j4]Liliana Cucu, Nicolas Pernet, Yves Sorel:
Periodic real-time scheduling: from deadline-based model to latency-based model. Ann. Oper. Res. 159(1): 41-51 (2008) - [c26]Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves Sorel, Rédha Hamouche:
A methodology for improving software design lifecycle in embedded control systems. DATE 2008: 533-536 - [c25]Omar Kermia, Yves Sorel:
Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems. ICPP Workshops 2008: 39-46 - [c24]Omar Kermia, Yves Sorel:
Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints. RTCSA 2008: 25-32 - 2007
- [c23]Omar Kermia, Yves Sorel:
A rapid heuristic for scheduling non-preemptive dependent periodic tasks onto multiprocessor. PDCS 2007: 1-6 - [c22]Patrick Meumeu Yomsi
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems. ECRTS 2007: 280-290 - [c21]Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel:
Necessary and sufficient conditions for deterministic desynchronization. EMSOFT 2007: 124-133 - 2006
- [j3]Mickaël Raulet, Fabrice Urban, Jean-François Nezan, Christophe Moy
Rapid Prototyping for Heterogeneous Multicomponent Systems: An MPEG-4 Stream over a UMTS Communication Link. EURASIP J. Adv. Signal Process. 2006 (2006) - [c20]Patrick Meumeu Yomsi
Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constraints. ETFA 2006 - [c19]Alain Girault, Hamoudi Kalla, Yves Sorel:
Transient Processor/Bus Fault Tolerance for Embedded Systems. DIPES 2006: 135-144 - 2005
- [c18]Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Günther Siegel, Yves Sorel:
P2I: An Innovative MDA Methodology for Embedded Real-Time System. DSD 2005: 26-33 - [c17]Tolga Ayav
Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems. RTCSA 2005: 173-176 - 2004
- [j2]Linda Kaouane, Mohamed Akil
A Methodology to Implement Real-Time Applications onto Reconfigurable Circuits. J. Supercomput. 30(3): 283-301 (2004) - [c16]Catalin Dima, Alain Girault, Yves Sorel:
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT 2004: 215-230 - [c15]Pierre Niang, Thierry Grandpierre, Mohamed Akil
AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable Circuits. FPL 2004: 1119-1123 - [c14]Alain Girault, Hamoudi Kalla, Yves Sorel:
An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. DIPES 2004: 83-92 - 2003
- [c13]Nicolas Pernet, Yves Sorel:
Optimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing. CAINE 2003: 216-220 - [c12]Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel:
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN 2003: 159-168 - [c11]Linda Kaouane, Mohamed Akil, Thierry Grandpierre, Yves Sorel:
A Methodology to Implement Real-Time Applications on Reconfigurable Circuits. Engineering of Reconfigurable Systems and Algorithms 2003: 188-200 - [c10]Linda Kaouane, Mohamed Akil
From Algorithm Graph Specification to Automatic Synthesis of FPGA Circuit: A Seamless Flow of Graphs Transformations. FPL 2003: 934-943 - [c9]Thierry Grandpierre, Yves Sorel:
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations. MEMOCODE 2003: 123- - 2001
- [c8]Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu:
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. ICDCS 2001: 695-698 - [c7]Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel:
Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. IPDPS 2001: 125 - [c6]Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel:
Off-Line Real-Time Fault-Tolerant Scheduling. PDP 2001: 410-417 - 2000
- [c5]Michel Barreteau, Juliette Mattioli, Thierry Grandpierre, Christophe Lavarenne, Yves Sorel, Philippe Bonnot, Philippe Kajfasz:
PROMPT: a mapping environment for telecom applications on "system-on-a-chip". CASES 2000: 41-47
1990 – 1999
- 1999
- [c4]Thierry Grandpierre, Christophe Lavarenne, Yves Sorel:
Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors. CODES 1999: 74-78 - 1996
- [c3]Yves Sorel:
Real-time embedded image processing applications using the A3 methodology. ICIP (2) 1996: 145-148 - 1994
- [c2]Nacer-Eddine Zergainoh, Thierry Maurin, Yves Sorel, Christophe Lavarenne:
A Real Time Multiprocessor Application Development Environment Design And Implementation. PDP 1994: 544-550 - 1993
- [c1]Christophe Lavarenne, Yves Sorel:
Performance Optimization of Multiprocessor Real-Time Applications by Graphs Transformations. PARCO 1993: 445-452 - 1992
- [j1]Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine:
A Denotational Theory of Synchronous Reactive Systems. Inf. Comput. 99(2): 192-230 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: