@inproceedings{jrwrtc23,
author = {Hawila, Ismail and Cucu-Grosjean, Liliana and Ben Amor, Slim and Sorel, Yves},
title = {Towards a new task model for merging control theory and real-time scheduling problems},
booktitle = {Proceedings of 16th Junior Researcher Workshop on Real-Time Computing, JRWRTC'23, in conjunction with the 31st International conference on Real-Time and Network Systems, RTNS'23},
address = {Dortmund, Germany},
month = jun,
year = {2023},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jrwrtc23/jrwrtc23.pdf}
}
@inproceedings{rtas22,
author = {Khazen, Marwan Wehaiba El and Zagalo, Kevin and Clarke, Hadrien and Mezouak, Mehdi and Abdeddaïm, Yasmina and Bar-Hen, Avner and Amor, Slim Ben and Bennour, Rihab and Gogonel, Adriana and Kougblenou, Kossivi and Sorel, Yves and Cucu-Grosjean, Liliana},
booktitle = {2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS)},
title = {Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimators},
year = {2022},
pages = {309-312},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtas22/rtas22.pdf}
}
@inproceedings{rtcsa21-2,
title = {{Work-in-Progress Abstract: The impact of the period variation on execution time distributions of programs}},
author = {Cucu-Grosjean, Liliana and Bar-Hen, Avner and Sorel, Yves and Clarke, Hadrien},
booktitle = {{Proceedings of the IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'21}},
address = {Online, France},
pages = {204-206},
year = {2021},
month = aug,
doi = {10.1109/RTCSA52859.2021.00033},
hal_id = {hal-03537567},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtcsa21/rtcsa21-2.pdf}
}
@inproceedings{rtcsa21-1,
title = {{Work-in-Progress Abstract: WKS, a local unsupervised statistical algorithm for the detection of transitions in timing analysis}},
author = {Cucu-Grosjean, Liliana and Khazen, Marwan Wehaiba El and Gogonel, Adriana and Clarke, Hadrien and Sorel, Yves},
booktitle = {{Proceedings of the IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'21}},
address = {Online, France},
pages = {201-203},
year = {2021},
month = aug,
doi = {10.1109/RTCSA52859.2021.00032},
hal_id = {hal-03537554},
hal_version = {v1},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtcsa21/rtcsa21-1.pdf}
}
@article{klodaJsa20,
title = {Latency upper bound for data chains of real-time periodic tasks},
journal = {Journal of Systems Architecture},
pages = {101824},
year = {2020},
issn = {1383-7621},
doi = {https://doi.org/10.1016/j.sysarc.2020.101824},
author = {Tomasz Kloda and Antoine Bertout and Yves Sorel},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jsa20/jsa20.pdf}
}
@techreport{sorel:hal-02425501,
title = {{Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost}},
author = {Sorel, Yves and Ndoye, Falou and Talaboulma, Walid and mezouak, mehdi and Cucu-Grosjean, Liliana},
url = {https://hal.inria.fr/hal-02425501},
type = {Research Report},
number = {RR-9318},
institution = {{Inria Paris}},
year = {2019},
month = dec,
pdf = {https://hal.inria.fr/hal-02425501/file/RR-9318.pdf},
hal_id = {hal-02425501},
hal_version = {v1}
}
@article{saidi:hal-02141707,
title = {{A method for parallel scheduling of multi-rate co-simulation on multi-core platforms}},
author = {Saidi, Salah Eddine and Pernet, Nicolas and Sorel, Yves},
url = {https://hal-ifp.archives-ouvertes.fr/hal-02141707},
journal = {{Oil \& Gas Science and Technology - Revue d'IFP Energies nouvelles}},
publisher = {{Institut Fran{\c c}ais du P{\'e}trole}},
volume = {74},
pages = {49},
year = {2019},
doi = {10.2516/ogst/2019009},
pdf = {https://hal-ifp.archives-ouvertes.fr/hal-02141707/file/ogst180065.pdf},
hal_id = {hal-02141707},
hal_version = {v1}
}
@inproceedings{etfa18,
author = {T. Kloda and A. Bertout and Y. Sorel},
title = {Latency analysis for data chains of real-time periodic tasks},
booktitle = {Proceedings of the 23rd {IEEE} International Conference on Emerging Technologies and Factory Automation, ETFA'18},
year = {2018},
month = {September},
address = {Torino, Italy},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/etfa18/etfa18.pdf}
}
@inproceedings{saidi:2018,
author = {S. E. Saidi and N. Pernet and Y. Sorel},
title = {Scheduling Real-time HiL Co-simulation of Cyber-Physical Systems on Multi-core Architectures},
booktitle = {Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications},
year = {2018},
month = {August},
address = {Hakodate, Japan},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtcsa18/rtcsa18.pdf}
}
@phdthesis{THSES,
author = {S. E. Saidi},
title = {Approches de Parall\'elisation Automatique et d'Ordonnancement pour la Co-simulation de Mod\`eles Num\'eriques sur Processeurs Multi-c\oe{u}rs},
school = {Universit\'e Sorbonne},
address = {Sp\'ecialit\'e Informatique},
year = {18/04/2018},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THSES.pdf}
}
@inproceedings{saidi:2017,
author = {S. E. Saidi and N. Pernet and Y. Sorel},
title = {Automatic Parallelization of Multi-Rate FMI-based Co-Simulation On Multi-core},
booktitle = {Proceedings of the Symposium on Theory of Modeling \& Simulation: DEVS Integrative M\&S Symposium},
year = {2017},
month = {April},
address = {Virginia Beach, USA},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/tms-devs17/tms-devs17.pdf}
}
@inproceedings{saidi:2016,
author = {S. E. Saidi and N. Pernet and Y. Sorel and A. Ben Khaled},
title = {Acceleration of FMU Co-Simulation On Multi-core Architectures},
booktitle = {Proceedings of first Japanese Modelica Conference},
year = {2016},
month = {May},
address = {Tokyo, Japan},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/modelica16/modelica16.pdf}
}
@article{carle:hal-01263994,
title = {{From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation}},
author = {T. Carle and D. Potop-Butucaru and Y. Sorel and D. Lesens},
url = {https://hal.inria.fr/hal-01263994},
journal = {{Leibniz Transactions on Embedded Systems}},
publisher = {{European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik GmbH, Dagstuhl Publishing.}},
year = {2015},
month = nov,
doi = {10.4230/LITES-v002-i002-a001},
pdf = {https://hal.inria.fr/hal-01263994/file/43-225-1-PB.pdf},
hal_id = {hal-01263994},
hal_version = {v1}
}
@inproceedings{gorcitz:hal-01264687,
title = {{Automatic implementation of TTEthernet-based time-triggered avionics applications}},
author = {R. A. Gorcitz and T. Carle and D. Lesens and D. Monchaux and D. Potop-Butucaru and Y. Sorel},
url = {https://hal.inria.fr/hal-01264687},
booktitle = {{DASIA 2015}},
address = {Barcelone, Spain},
organization = {{Eurospace}},
year = {2015},
month = may,
pdf = {https://hal.inria.fr/hal-01264687/file/dasia2015.pdf},
hal_id = {hal-01264687},
hal_version = {v1}
}
@misc{walid:hal-01245359,
title = {{Estimation of probabilistic worst case execution time while accounting OS costs}},
author = {W. Talaboulma and M. Cristian and A. G. Gogonel and Y. Sorel and L. Cucu-Grosjean},
url = {https://hal.inria.fr/hal-01245359},
note = {Poster},
howpublished = {{Work in Progress of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2015)}},
year = {2015},
month = apr,
hal_id = {hal-01245359},
hal_version = {v1}
}
@incollection{livre-rtss14,
author = {D. Potop-Butucaru and Y. Sorel},
title = {Synchronous Approach and Scheduling},
booktitle = {Real-time Systems Scheduling 2},
editor = {M. Chetto},
publisher = {ISTE editions},
pages = {97-145},
year = {2014}
}
@incollection{livre-ost14,
author = {D. Potop-Butucaru and Y. Sorel},
title = {Approche synchrone et ordonnancement},
booktitle = {Ordonnancement dans les syst\`emes temps r\'eel},
editor = {M. Chetto},
publisher = {ISTE editions},
pages = {325-360},
year = {2014}
}
@phdthesis{THFN,
author = {F. Ndoye},
title = {Ordonnancement temps r\'eel pr\'eemptif multiprocesseur avec prise en compte du co\^ut du syst\`eme d'exploitation},
school = {Universit\'e de Paris Sud},
address = {Sp\'ecialit\'e G\'enie Informatique},
year = {03/04/2014},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THFN.pdf}
}
@inproceedings{cse13,
author = {F. Ndoye and Y. Sorel},
title = {Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems},
booktitle = {Proceedings of 16th IEEE International Conference on Computational Science and Engieering, CSE'13},
address = {Sydney, Australia},
month = {December},
year = {2013},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/cse13/cse13.pdf}
}
@article{ijecce13,
author = {O. Feki and T. Grandpierre and N. Masmoudi and M. Akil and Y. Sorel},
title = {Optimization of Real Time Application on Mixed Architecture Using AAA Methodology Extension},
journal = {International Journal of Electronics Communication and Computer Engineering },
volume = {4},
number = {5},
pages = {1455-1466},
year = {2013},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ijecce13/ijecce13.pdf}
}
@article{jfcs13,
author = {H. Yu and Y. Ma and T. Gautier and L. Besnard and J.P. Talpin and P. Le Guernic and Y. Sorel},
title = {Exploring system architectures in AADL via Polychrony and SynDEx},
journal = {Frontiers of Computer Science Journal},
volume = {7},
number = {5},
pages = {627-649},
year = {2013},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jfcs13/jfcs13.pdf}
}
@article{jicons13,
author = {F. Ndoye and Y. Sorel},
title = {Sustainable Multiprocessor Real-Time Scheduling with Exact Preemption Cost},
journal = {International Journal on Advances in Systems and Measurements},
year = {2013},
volume = {vol. 6},
number = {3,4},
pages = {353-363},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jicons13/jicons13.pdf}
}
@inproceedings{icons13,
author = {F. Ndoye and Y. Sorel},
title = {Safety Critical Multiprocessor Real-Time Scheduling with Exact Preemption Cost},
booktitle = {Proceedings of 8th International Conference on Systems, ICONS'13},
address = {Seville, Spain},
month = {January},
year = {2013},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/icons13/icons13.pdf}
}
@inproceedings{etfa12,
author = {M. Marouf, L. George and Y. Sorel},
title = {Schedulability analysis for a combination of non-preemptive strict periodic tasks and preemptive sporadic tasks},
booktitle = {Proceedings of 17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'12},
address = {Krak\'ow, Poland},
month = sep,
year = {2012},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/etfa12/etfa12.pdf}
}
@phdthesis{THMM,
author = {M. Marouf},
title = {Ordonnancement temps r\'eel dur multiprocesseur tol\'erant aux fautes appliqu\'e \`a la robotique mobile},
school = {Ecole des Mines de Paris},
address = {Sp\'ecialit\'e Informatique temps r\'eel, robotique et automatique},
year = {01/06/2012},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THMM.pdf}
}
@inproceedings{jfla12,
author = {D. de Rauglaudre},
title = {V\'erification formelle de conditions d'ordonnan\c{c}abilit\'e de
t\^aches temps-r\'eel p\'eriodiques scrictes},
booktitle = {Actes des 23e Journ\'ees Francophones des Langages Applicatifs, JFLA,12},
address = {Carnac, France},
month = feb,
year = {2012},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jfla12/jfla12.pdf}
}
@inproceedings{jrwrtc11,
author = {F. Ndoye and Y. Sorel},
title = {Preemptive Multiprocessor Real-Time Scheduling with Exact Preemption Cost},
booktitle = {Proceedings of 5th Junior Researcher Workshop on Real-Time Computing, JRWRTC'11, in conjunction with the 18th International conference on Real-Time and Network Systems, RTNS'11},
address = {Nantes, France},
month = sep,
year = {2011},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jrwrtc11/jrwrtc11.pdf}
}
@inproceedings{etfa11,
author = {M. Marouf and Y. Sorel},
title = {Scheduling non-preemptive hard real-time tasks with strict periods},
booktitle = {Proceedings of 16th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'11},
address = {Toulouse, France},
month = sep,
year = {2011},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/etfa11/etfa11.pdf}
}
@techreport{RR7702,
author = {P. Meumeu Yomsi and Y. Sorel},
title = {An Algebraic Approach for Fixed-Priority Scheduling of Hard Real-time Systems with Exact Preemption Cost},
institution = {INRIA},
year = {2011},
month = aug,
type = {Research Report},
number = {RR-7702},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR7702/RR7702.pdf}
}
@techreport{RR7577,
author = {V. Papailiopoulou and D. Potop-Butucaru and Y. Sorel and R. De Simone and L. Besnard and J.-P. Talpin},
title = {From concurrent multi-clock programs to concurrent multi-threaded implementations},
institution = {INRIA},
year = {2011},
month = jul,
type = {Research Report},
number = {RR-7577},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR7577/RR7577.pdf}
}
@inproceedings{mapsp11,
author = {M. Marouf and L. George and Y. Sorel},
title = {Schedulability analysis for a combination of preemptive strict periodic tasks and sporadic tasks},
booktitle = {Proceedings of the 10th Workshop on Models and Algorithms for Planning and Scheduling Problems, MAPSP'11},
address = {Nymburk, Czech Republic},
month = jun,
year = {2011},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/mapsp11/mapsp11.pdf}
}
@article{jsa11,
author = {L. George and P. Courbin and Y. Sorel},
title = {Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling},
journal = {Journal of Systems Architecture},
volume = {57},
number = {5},
pages = {518 - 535},
year = {2011},
x-international-audience = {yes},
x-editorial-board = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jsa11/jsa11.pdf}
}
@article{fi11,
author = {D. Potop-Butucaru and Y. Sorel and R. de Simone and J.-P. Talpin},
title = {From concurrent multi-clock programs to deterministic asynchronous implementations},
journal = {Fundamenta Informaticae},
volume = 108,
number = {1-2},
pages = {91-118},
year = {2011},
x-editorial-board = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/fi11/fi11.pdf}
}
@incollection{livre-ses10,
author = {D. Potop-Butucaru and R. de Simone and Y. Sorel},
title = {From Synchronous Specifications to Statically Scheduled
Hard Real-Time Implementations},
booktitle = {Synthesis of Embedded Software},
editor = {S. K. Shukla and J.-P. Talpin},
publisher = {Springer},
pages = {229-262},
year = {2010}
}
@inproceedings{rtns10-2,
author = {R. Davis and L. George and P. Courbin},
title = {Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling},
booktitle = {Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10},
address = {Toulouse, France},
month = nov,
year = {2010},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtns10/rtns10-2.pdf}
}
@inproceedings{rtns10,
author = {M. Marouf and Y. Sorel},
title = {Schedulability conditions for non-preemptive hard real-time tasks with strict period},
booktitle = {Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10},
address = {Toulouse, France},
month = nov,
year = {2010},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtns10/rtns10.pdf}
}
@inproceedings{emsoft10,
author = {D. Potop-Butucaru and A. Azim and S. Fischmeister},
title = {Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures},
booktitle = {Proceedings of the eighth ACM international conference on Embedded software, EMSOFT'10},
month = oct,
year = {2010},
address = {Scottsdale, AZ, USA},
x-international-audience = {yes},
x-editorial-board = {yes},
x-proceedings = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/emsoft10/emsoft10.pdf}
}
@inproceedings{emsoft09,
author = {D. Potop-Butucaru and R. de Simone and Y. Sorel and J.-P. Talpin},
title = {Clock-driven distributed real-time implementation of endochronous synchronous programs},
booktitle = {Proceedings of the seventh ACM international conference on Embedded software, EMSOFT'09},
address = {Grenoble, France},
month = oct,
year = {2009},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/emsoft09/emsoft09.pdf}
}
@article{ijasm09,
author = {P. Meumeu Yomsi and L. George and Y. Sorel and D. de Rauglaudre},
title = {Improving the Quality of Control of Periodic Tasks Scheduled by FP with an Asynchronous Approach},
journal = {International Journal on Advances in Systems and Measurements},
volume = 2,
number = 2,
year = {2009},
x-editorial-board = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ijasm09/ijasm09.pdf}
}
@inproceedings{rtns09,
author = {P. Meumeu Yomsi and Y. Sorel},
title = {A New Model for Hard Real-Time Systems},
booktitle = {Proceedings of the 3rd Junior Researcher Workshop on
Real-Time Computing, JRWRTC'09, in conjunction with the 17th International conference on Real-Time and Network Systems, RTNS'09},
address = {Paris, France},
month = oct,
year = {2009},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtns09/rtns09.pdf}
}
@inproceedings{mista09,
author = {P. Meumeu Yomsi and Y. Sorel},
title = {Schedulability Analysis for non Necessarily Harmonic Real-Time Systems with Precedence and Strict Periodicity Constraints using the Exact Number of
Preemptions and no Idle Time},
booktitle = {Proceedings of the 4th Multidisciplinary International Scheduling Conference, MISTA'09},
address = {Dublin, Ireland},
month = aug,
year = {2009},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/mista09/mista09.pdf}
}
@inproceedings{acsd09,
author = {D. Potop-Butucaru and R. de Simone and Y. Sorel and J.-P. Talpin},
title = {From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations},
booktitle = {Proceedings of the 9th Application of Concurrency to System Design Conference, ACSD'09},
address = {Augsburg, Germany},
month = jul,
year = {2009},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/acsd09/acsd09.pdf}
}
@inproceedings{mapsp09,
author = {L. Cucu-Grosjean and Y. Sorel},
title = {A schedulability test for real-time dependant periodic task
systems with latency constraints},
booktitle = {Proceedings of conference Models and Algorithms for Planning and Scheduling Problems, MAPSP'09},
address = {Abbey Rolduc, The Netherlands},
month = jul,
year = {2009},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/mapsp09/mapsp09.pdf}
}
@phdthesis{THPM,
author = {P. Meumeu Yomsi},
title = {Prise en compte du co\^ut exact de la pr\'eemption dans l'ordonnancement temps r\'eel monoprocesseur avec contraintes multiples},
school = {Universit\'e de Paris Sud},
address = {Sp\'ecialit\'e Physique},
year = {02/04/2009},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THPM.pdf}
}
@phdthesis{THOK,
author = {O. Kermia},
title = {Ordonnancement temps r\'eel multiprocesseur de t\^aches non
pr\'eemptives avec contraintes de pr\'ec\'edence, de
p\'eriodicit\'e stricte et de latence},
school = {Universit\'e de Paris Sud},
address = {Sp\'ecialit\'e Physique},
year = {19/03/2009},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THOK.pdf}
}
@inproceedings{icons09,
author = {P. Meumeu Yomsi and L. George and Y. Sorel and D. de Rauglaudre},
title = {Improving the Sensitivity of Deadlines with a Specific
Asynchronous Scenario for Harmonic Periodic Tasks scheduled by FP},
booktitle = {Proceedings of the 4th International Conference on Systems, ICONS'09},
address = {Cancun, Mexico},
month = mar,
year = {2009},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/icons09/icons09.pdf}
}
@inproceedings{aces08,
author = {M.-A. Peraldi-Frati and Y. Sorel},
title = {From High-Level Modelling of Time in MARTE to Real-Time Scheduling Analysis},
booktitle = {Proceedings of MODELS'08 Workshop on Architecting and Construction of Embedded Systems-Model Based, ACES-MB'08},
year = {2008},
address = {Toulouse, France},
month = sep,
ee = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/aces08/aces08.pdf}
}
@inproceedings{rtcsa08,
author = {O. Kermia and Y. Sorel},
title = {Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints},
booktitle = {Proceedings of 14th International Conference on Real-Time Computing Systems and Applications, RTCSA'08},
month = aug,
year = {2008},
address = {Kaohsiung, Taiwan},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtcsa08/rtcsa08.pdf}
}
@inproceedings{srmpds08,
author = {O. Kermia and Y. Sorel},
title = {Load Balancing and Efficient Memory Usage for Homogeneous Distributed
Real-Time Embedded Systems},
booktitle = {Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08},
month = sep,
year = {2008},
address = {Portland, Oregon, USA},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/srmpds08/srmpds08.pdf}
}
@inproceedings{erts08,
author = {A. Albinet and S. Begoc and J.-L. Boulanger and O. Casse and I. Dal and H. Dubois and F. Lakhal and D. Louar and M.-A. Peraldi-Frati and Y. Sorel and Q.-D. Van.A},
title = {The MeMVaTEx methodology: from requirements to models in automotive application design},
booktitle = {Proceedings of 4th European Congress on Embedded Real-Time Software, ERTS'08},
address = {Toulouse, France},
month = feb,
year = {2008},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/erts08/erts08.pdf}
}
@techreport{RR6656,
author = {D. Potop-Butucaru and R. De Simone and Y. Sorel},
title = {Deterministic execution of synchronous programs in an asynchronous environment},
institution = {INRIA},
month = oct,
year = {2008},
type = {Research Report},
number = {RR-6656},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR6656/RR6656.pdf}
}
@techreport{RR6655,
author = {D. Potop-Butucaru and R. De Simone and Y. Sorel},
title = {Optimized static real-time scheduling of communications on a broadcast bus},
institution = {INRIA},
year = {2008},
month = sep,
type = {Research Report},
number = {RR-6655},
x-editorial-board = {no},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR6655/RR6655.pdf}
}
@inproceedings{emsoft07,
author = {D. Potop-Butucaru and Y. Sorel and R. de Simone},
title = {Necessary and Sufficient Conditions for Deterministic Desynchronization},
booktitle = {Proceedings of Conference on Embedded Systems Software, EMSOFT'07},
year = {2007},
address = {Salzburg, Austria},
month = oct,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/emsoft07/emsoft07.pdf}
}
@inproceedings{pdcs07,
author = {O. Kermia and Y. Sorel},
title = {A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor},
booktitle = {Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07},
address = {Las Vegas, Nevada, USA},
month = sep,
year = {2007},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/pdcs07/pdcs07.pdf}
}
@inproceedings{ecrts07,
author = {P. Meumeu Yomsi and Y. Sorel},
title = {Extending Rate Monotonic Analysis with Exact Cost of Preemptions for
Hard Real-Time Systems},
booktitle = {Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07},
address = {Pisa, Italy},
month = jul,
year = {2007},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ecrts07/ecrts07.pdf}
}
@inproceedings{ecmda07,
author = {A. Albinet and J-L. Boulanger and H. Dubois and M-A. Peraldi-Frati and Y. Sorel and Q-D. Van},
title = {Model-Based Methodology for Requirements Traceability in Embedded Systems},
booktitle = {Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07},
address = {Haifa, Israel},
month = jun,
year = {2007},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ecmda07/ecmda07.pdf}
}
@inproceedings{rtns07,
author = {P. Meumeu Yomsi and Y. Sorel},
title = {Schedulability Analysis with Exact Number of Preemptions and No Idle
Time for Real-Time Systems with Precedence and Strict Periodicity Constraints},
booktitle = {Proceedings of 15th International Conference on Real-Time and
Network Systems, RTNS'07},
address = {Nancy, France},
month = mar,
year = {2007},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtns07/rtns07.pdf}
}
@article{aor07,
author = {L. Cucu and N. Pernet and Y. Sorel},
title = {Periodic real-time scheduling: from deadline-based model to latency-based model},
journal = {Annals of Operations Research},
year = {2007},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/aor07/aor07.pdf}
}
@techreport{RR06,
author = {D. Potop-Butucaru and R. de Simone and Y. Sorel},
title = {From multi-clock constraints to multi-rate GALS executives},
institution = {INRIA},
year = {2006},
month = nov,
type = {Research Report},
number = {RR-6021},
address = {Rocquencourt, France},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR06/RR06.pdf}
}
@inproceedings{etfa06,
author = {P. Meumeu Yomsi and Y. Sorel},
title = {Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constraints},
booktitle = {Proceedings of 11th IEEE International Conference on Emerging technologies and Factory Automation, ETFA'06, WIP},
address = {Prague, Czech Republic},
month = sep,
year = {2006},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/etfa06/etfa06.pdf}
}
@phdthesis{THNP,
author = {N. Pernet},
title = {Implantation distribu\'ee temps r\'eel de programmes conditionn\'es \`a l'aide d'ordonnancements mixtes hors-ligne en-ligne de t\^aches p\'eriodiques avec contraintes de latence et acceptation de t\^aches ap\'eriodiques},
school = {Universit\'e de Paris 6},
address = {Sp\'ecialit\'e Informatique},
year = {07/07/2006},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THNP.pdf}
}
@phdthesis{THMR,
author = {M. Raulet},
title = {Optimisation m\'emoire dans la m\'ethodologie AAA pour code embarqu\'e sur architectures parall\`eles},
school = {Institut des Sciences Appliqu\'ees de Rennes},
address = {Sp\'ecialit\'e Electronique et Traitement du Signal},
year = {18/05/2006},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THMR.pdf}
}
@inproceedings{pms06,
author = {O. Kermia and L. Cucu and Y. Sorel},
title = {Non-preemptive multiprocessor static scheduling for systems with precedence and strict periodicity constraints},
booktitle = {Proceedings of the 10th International Workshop On Project Management and Scheduling, PMS'06},
address = {Posnan, Poland},
month = apr,
year = {2006},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/pms06/pms06.pdf}
}
@inproceedings{sosse05,
author = {Y. Sorel},
title = {From modeling/simulation with Scilab/Scicos to optimized distributed embedded real-time implementation with SynDEx},
booktitle = {Proceedings of the International Workshop On Scilab and Open Source Software Engineering, SOSSE'05},
address = {Wuhan, China},
month = oct,
year = {2005},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/sosse05/sosse05.pdf}
}
@article{eurasip05,
author = {M. Raulet and F. Urban and J.-F. Nezan and C. Moy and O. D{\'e}forges and Y. Sorel},
title = {{Rapid Prototyping For Heterogeneous Multicomponent Systems: An MPEG-4 Stream Over An UMTS Communication Link}},
journal = {Journal of Applied Signal Processing (JASP)},
year = {2005},
booktitle = {Design Methods for DSP Systems Special Issue},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/eurasip05/eurasip05.pdf}
}
@inproceedings{msr05,
author = {N. Pernet and Y. Sorel},
title = {Transformations de sp\'ecifications incluant du contr\^ole en sp\'ecification flot de donn\'ees pour implantation distribu\'ee},
booktitle = {Actes de la Conf\'erence Mod\'elisation des Syst\`emes R\'eactifs, MSR'05},
address = {Grenoble, France},
month = oct,
year = {2005},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/msr05/msr05.pdf}
}
@inproceedings{etfa05,
author = {N. Pernet and Y. Sorel},
title = {A design method for implementing specifications including control in distributed embedded systems},
booktitle = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'05},
address = {Catania, Italy},
month = sep,
year = 2005,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/etfa05/etfa05.pdf}
}
@inproceedings{rtcsa05,
author = {T. Ayav and Y. Sorel},
title = {Feedback Control Static Scheduling for Real-Time
Distributed Embedded Systems},
booktitle = {Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'05},
address = {Hong Kong, China},
month = aug,
year = 2005,
optpages = {173-176},
optmonth = {17-19 August},
optorganization = {Dept. of Computer Science, Hong Kong Baptist
University},
optpublisher = {IEEE Computer Society},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rtcsa05/rtcsa05.pdf}
}
@inproceedings{mista05,
author = {L. Cucu and Y. Sorel},
title = {Periodic real-time scheduling: from latency-based model to deadline-based model},
booktitle = {Proceedings of the Multidisciplinary International Conference on Scheduling: Theory and Applications, MISTA'05},
address = {New-York, USA},
month = jul,
year = {2005},
optpages = {344 - 352},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/mista05/mista05.pdf}
}
@inproceedings{roadef05,
author = {L. Cucu and Y. Sorel},
title = {Condition d'ordonnançabilit\'e pour syst\`emes temps r\'eel non-pr\'eemptif \`a contraintes de pr\'ec\'edences, de p\'eriodicit\'es et de latences},
booktitle = {Actes du 6\`eme congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide à la D\'ecision, ROADEF'05},
address = {Tours, France},
month = feb,
year = {2005},
optpages = {137 - 139},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/roadef05/roadef05.pdf}
}
@inproceedings{aaa05,
author = {N. Pernet and Y. Sorel},
title = {Sp\'ecification et implantation des syst\`emes distribu\'es
temps r\'eel de contr\^ole et traitement de donn\'ees},
booktitle = {Actes des Journ\'ees Francophones sur l'Ad\'equation Algorithme Architecture},
address = {Dijon, France},
month = jan,
year = 2005,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/aaa05/aaa05.pdf}
}
@phdthesis{THHK,
author = {H. Kalla},
title = {G\'en\'eration automatique de distributions/ordonnancements temps r\'eel fiables et tol\'erant les fautes},
school = {Institut National Polytechnique de Grenoble},
address = {Sp\'ecialit\'e Syst\`emes et Logiciel},
year = {17/12/2004},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THHK.pdf}
}
@phdthesis{THLK,
author = {L. Kaouane},
title = {Formalisation et optimisation d'applications s'ex\'ecutant sur architecture reconfigurable},
school = {Universit\'e de Marne-La-Vall\'ee},
address = {Sp\'ecialit\'e Informatique},
year = {17/12/2004},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THLK.pdf}
}
@inproceedings{plansig04,
author = {L. Cucu and Y. Sorel},
title = {Non-preemptive multiprocessor scheduling for strict periodic
systems with precedence constraints},
booktitle = {Proceedings of 23rd Annual Workshop of the UK Planning and Scheduling Special Interest Group, PLANSIG'04},
address = {Cork, Ireland},
month = dec,
year = 2004,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/plansig04/plansig04.pdf}
}
@article{jsc04,
author = {L. Kaouane and M. Akil and T. Grandpierre and Y. Sorel},
title = {A methodology to implement real-time applications onto reconfigurable circuits},
journal = {Journal of Supercomputing},
volume = 30,
number = 3,
pages = {362-376},
month = dec,
year = 2004,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jsc04/jsc04.pdf}
}
@article{ercim04,
author = {Y. Sorel},
title = {SynDEx: System-Level CAD Software for Optimizing Distributed Real-Time Embedded Systems},
journal = {Journal ERCIM News},
volume = 59,
pages = {68-69},
month = oct,
year = 2004,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ercim04/ercim04.pdf}
}
@inproceedings{esm04,
author = {R. Kocik and Y. Sorel},
title = {A methodology to reduce the design lifecycle of real-time embedded control systems},
booktitle = {Proceedings of European Simulation and Modelling Conference, ESM'04},
address = {Paris, France},
month = oct,
year = 2004,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/esm04/esm04.pdf}
}
@techreport{RR04,
author = {L. Cucu and Y. Sorel},
title = {Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints},
institution = {INRIA},
year = {2004},
type = {Research Report},
number = {RR-5403},
address = {Rocquencourt, France},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR04/RR04.pdf}
}
@inproceedings{francoro04,
author = {L. Cucu and Y. Sorel},
title = {Ordonnancement non-pr\'eemptif pour syst\`emes temps r\'eel \`a contraintes de pr\'ec\'edences et de latences},
booktitle = {Actes de la Conf\'erence internationale en Recherche Op\'erationnelle, FRANCORO'04},
address = {Fribourg, Suisse},
month = aug,
year = 2004,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/francoro04/francoro04.pdf}
}
@inproceedings{format04,
author = {C. Dima and A. Girault and Y. Sorel},
title = {Static fault-tolerant real-time scheduling with ``pseudo-topological'' orders},
booktitle = {Proceedings of Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System, FORMATS-FTRTFT'04},
year = 2004,
volume = {3253},
series = {LNCS},
address = {Grenoble, France},
month = sep,
publisher = {Springer-Verlag},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/format04/format04.pdf},
opturl = {http://www.inrialpes.fr/pop-art/people/girault/Publications/Ftrtft04},
opturl = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftrtft04/main.pdf.gz},
opturl = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ftrtft04/main.ps.gz}
}
@inproceedings{dipes04,
author = {A. Girault and H. Kalla and Y. Sorel},
title = {An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems},
booktitle = {Proceedings of IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'04},
year = 2004,
address = {Toulouse, France},
month = aug,
publisher = {Kluwer Academic},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/dipes04/dipes04.pdf}
}
@article{ijpr04,
author = {A. Girault and H. Kalla and Y. Sorel},
title = {A Scheduling Heuristics for Distributed Real-Time Embedded Systems Tolerant to Processor and Communication Media Failures},
key = {myft},
journal = {International Journal of Production Research},
year = 2004,
volume = 42,
number = 14,
pages = {2877--2898},
month = jul,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ijpr04/ijpr04.pdf},
opturl = {http://www.inrialpes.fr/pop-art/people/girault/Publications/Ijpr04},
opturl = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ijpr04/main.pdf.gz},
opturl = {ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Ijpr04/main.ps.gz}
}
@phdthesis{THLC,
author = {L. Cucu},
title = {Ordonnancement non pr\'eemptif et condition d'ordonnan\c{c}abilit\'e pour syst\`eme embarqu\'es \`a contraintes temps r\'eel},
school = {Universit\'e de Paris Sud},
address = {Sp\'ecialit\'e \'Electronique},
year = {28/05/2004},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THLC.pdf}
}
@inproceedings{caine03,
author = {Pernet, Nicolas and Sorel, Yves},
title = {From Specification to Optimized Implementation of Distributed
Real-Time Embedded Systems Mixing Control and Data Processing},
booktitle = {Proceedings of ISCA 16th International Conference: Computer Applications in Industry and Engineering, CAINE'03},
address = {Las Vegas Nv, USA},
month = {November},
year = {2003},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/caine03/caine03.pdf}
}
@inproceedings{msr03,
author = {A. Girault and H. Kalla and Y. Sorel},
title = {Une heuristique d'ordonnancement et de distribution tol\'erante aux pannes pour syst\`emes temps-r\'eel embarqu\'es},
booktitle = {Actes de la conf\'erence Mod\'{e}lisation des Syst\`{e}mes R\'{e}actifs, MSR'03},
pages = {145--160},
year = 2003,
address = {Metz, France},
month = oct,
publisher = {Hermes},
annote = {French version of~\cite{tolere5-dsn}.},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/msr03/msr03.pdf}
}
@inproceedings{fpl03,
author = {L. Kaouane and M. Akil and Y. Sorel and T. Grandpierre},
title = {From algorithm graph specification to automatic synthesis of FPGA circuit: a seamless flow of graph transformations},
booktitle = {Proceedings of 13$^{th}$ international conference on
Field-Programmable Logic and Applications, FPL'03},
month = {September},
year = {2003},
address = {Lisbon, Portugal},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/fpl03/fpl03.pdf}
}
@inproceedings{gretsi03,
author = {L. Kaouane and M. Akil and Y. Sorel and T. Grandpierre},
title = {Implantation optimis\'ee sur circuit d\'edi\'e d'algorithmes sp\'ecifi\'es sous la forme d'un Graphe Factoris\'e de D\'ependances de Donn\'ees: application aux traitements d'images},
booktitle = {Proceedings of 19$^{th}$ Synposium on Signal and Image Processing, GRETSI'03},
month = {September},
year = {2003},
address = {Paris, France},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/gretsi03/gretsi03.pdf}
}
@inproceedings{sips03,
author = {M. Raulet and M. Babel and J.-F. Nezan and O. D{\'e}forges and Y. Sorel},
title = {Automatic coarse-grain partitioning and automatic code generation for heterogeneous architectures},
booktitle = {Proceedings of IEEE Workshop on Signal Processing Systems, SiPS'03},
address = {Seoul, Korea},
year = {2003},
month = {August},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/sips03/sips03.pdf}
}
@inproceedings{ersa03,
author = {L. Kaouane and M. Akil and Y. Sorel and T. Grandpierre},
title = {A methodology to implement real-time applications on reconfigurable circuits},
booktitle = {Proceedings of International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA'03},
month = {June},
year = {2003},
address = {Las Vegas, USA},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ersa03/ersa03.pdf}
}
@inproceedings{dsn03,
author = {A. Girault and H. Kalla and M. Sighireanu and Y. Sorel},
title = {An Algorithm for Automatically Obtaining Distributed
and Fault-Tolerant Static Schedules},
booktitle = {Proceedings of International Conference on Dependable Systems and Networks, DSN'03},
year = {2003},
address = {San Francisco, California, USA},
month = {June},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/dsn03/dsn03.pdf}
}
@inproceedings{memocode03,
author = {T. Grandpierre and Y. Sorel},
title = {From Algorithm and Architecture Specification to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations},
booktitle = {Proceedings of First ACM and IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'03},
address = {Mont Saint-Michel, France},
month = {June},
year = {2003},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/memocode03/memocode03.pdf}
}
@inproceedings{rts03,
author = {L. Cucu and Y. Sorel},
title = {Schedulability condition for systems with precedence and periodicity constraints without preemption},
booktitle = {Proceedings of 11th Real-Time Systems Conference, RTS'03},
year = {2003},
month = {March},
address = {Paris},
abs = {Condition d'ordonnancabilite' pour des systemes d'operations avec contraintes de precedence et de periodicite sans preemption},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rts03/rts03.pdf}
}
@techreport{signalSyndex03,
author = {Q. Pan and T. Gautier and L. Besnard and Y. Sorel},
title = {SIGNAL to SynDEx: Translation between Synchronous Formalisms. Internal report, 2003.},
institution = {INRIA},
year = {2003},
type = {Internal Report},
address = {Rocquencourt, France},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/signalSyndex03/signalSyndex03.pdf}
}
@inproceedings{jfaaa2002,
author = {T. Grandpierre and Y. Sorel},
title = {Un nouveau mod\`ele g\'en\'erique d'architecture h\'et\'etog\`ene pour la m\'ethodologie AAA},
booktitle = {Actes des Journ\'ees Francophones sur l'Ad\'equation Algorithme Architecture, JFAAA'02},
year = 2002,
month = dec,
address = {Monastir, Tunisia},
abs = {Nouveau modele d'architecture de AAA/SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/jfaaa02/jfaaa02.pdf}
}
@inproceedings{rts02,
author = {L. Cucu and R. Kocik and Y. Sorel},
title = {Real-time scheduling for systems with precedence, periodicity and latency constraints},
booktitle = {Proceedings of 10th Real-Time Systems Conference, RTS'02},
year = 2002,
month = mar,
address = {Paris, France},
abs = {Modele pour l'ordonnancement de systeme TR avec contraintes de
precedence, de periodicite' et de latence, et algo d'ordonnancement},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rts02/rts02.pdf}
}
@inbook{ic201,
author = {E. Belhaire and E. Bourennane and G. Bouvier and D. Demigny and P. Garda and L. Kessal and L. Lacassagne and F. Lohier and M. Paindavoine and Y. Sorel and L. Torres and S. Weber},
title = {M\'ethodes et architectures pour le traitement du signal et des images en temps r\'eel},
chapter = {5: Y. Sorel, M\'ethodologie AAA et logiciel SynDEx},
pages = {79-108},
publisher = {Hermes},
series = {IC2},
year = {2001},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ic201/ic201.pdf}
}
@techreport{RR01,
author = {R. Djenidi and R. Nikoukhah and S. Steer and Y. Sorel},
title = {Interface Scicos-SynDEx},
institution = {INRIA},
year = {2001},
month = {septembre},
type = {Rapport de recherche},
number = {4250},
abs = {Interface Scicos/SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR01/RR01.pdf}
}
@phdthesis{THRD,
author = {R. Djenidi},
title = {Formalisme de mod\'elisation des syst\`emes dynamiques hybrides},
school = {Universit\'e de Paris 12 Val de Marne},
address = {Sp\'ecialit\'e G\'enie informatique, automatique et traitement du signal},
year = {02/07/2001}
}
@inproceedings{ftpsd01,
author = {A. Girault and C. Lavarenne and M. Sighireanu and Y. Sorel},
title = {Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links},
booktitle = {Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems},
year = {2001},
address = {San Francisco, USA},
month = {April},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ftpds01/ftpds01.pdf}
}
@inproceedings{icdcs01,
author = {Girault, Alain and C. Lavarenne and M. Sighireanu and Sorel, Yves},
title = {Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems},
booktitle = {Proceedings of 21st International Conference on Distributed Computing Systems, ICDCS'01},
year = {2001},
address = {Phoenix, USA},
month = {April},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/icdcs01/icdcs01.pdf}
}
@inproceedings{euromicro01,
author = {Dima, Catalin and A. Girault and C. Lavarenne and Y. Sorel},
title = {Off-Line Real-Time Fault-Tolerant Scheduling},
booktitle = {Proceedings of Euromicro Workshop on Parallel and Distributed Processing},
year = {2001},
address = {Mantova, Italy},
month = {February},
pages = {410--417},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/euromicro01/euromicro01.pdf}
}
@phdthesis{THTG,
author = {T. Grandpierre},
title = {Mod\'elisation d'architectures parall\`eles h\'et\'erog\`enes pour la g\'en\'eration automatique d'ex\'ecutifs distribu\'es temps r\'eel optimis\'es},
school = {Universit\'e de Paris Sud},
address = {Sp\'ecialit\'e \'electronique},
year = {30/11/2000},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THTG.pdf}
}
@inproceedings{case00,
author = {M. Barreteau and P. Bonnot and T. Grandpierre and P. Kajfasz and C. Lavarenne and J. Mattioli and Y. Sorel},
title = {PROMPT : A Mapping Environment for Telecom Applications on ``System on
a Chip''},
booktitle = {Proceedings of International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASE'00, },
year = 2000,
month = nov,
address = {San Jose, Cal. USA},
abs = {presentation du projet RNTL PROMPT en anglais avec algo appli telecom},
optnote = {% http://www.capsl.udel.edu/conferences/cases2000},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/case00/case00.pdf}
}
@techreport{RR00,
author = {A. Girault and C. Lavarenne and M. Sighireanu and Y. Sorel},
title = {Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems},
institution = {INRIA},
year = {2000},
month = {septembre},
type = {Rapport de recherche},
number = {4006},
abs = {SynDEx tolerant aux pannes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR00/RR00.pdf}
}
@phdthesis{THAD,
author = {A. Ailton},
title = {Contribution \`a l'implantation optimis\'ee d'algorithmes bas niveau
de traitement du signal et des images sur des architectures mono-FPGA \`a l'aided'une m\'ethodologie d'ad\'equation algorithme-architecture},
school = {Universit\'e de Paris Sud},
address = {Sp\'ecialit\'e informatique},
year = {12/07/2000},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THAD.pdf}
}
@phdthesis{THRK,
author = {R. Kocik},
title = {Sur l'optimisation des syst\`emes distribu\'es temps r\'eel embarqu\'es : application au prototypage rapide d'un v\'ehicule \'electrique semi-autonome},
school = {Universit\'e de Rouen},
address = {Sp\'ecialit\'e informatique industrielle},
year = {22/03/2000},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THRK.pdf}
}
@inproceedings{rts00,
author = {R. Kocik and Y. Sorel},
title = {De la mod\'elisation \`a la r\'ealisation : r\'eduction du cycle de d\'eveloppement des applications temps r\'eel distribu\'ees},
booktitle = {Proceedings of 8th Real-Time Systems Conference, RTS'00},
year = 2000,
month = mar,
address = {Paris, France},
abs = {Reduction du cycle de developpement avec Scicos et SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rts00/rts00.pdf}
}
@inproceedings{aaa100,
author = {Ancourt, Christine and Barreteau, Michel and Dion, Bernard and
T. Grandpierre and Fran\c{c}ois, Irigoin and Jourdan, Jean and Kajfasz,
Philippe and C. Lavarenne and Y. Sorel},
title = {PROMPT : Placement rapide optimis\'e sur machines parall\`eles pour
applications de t\'el\'ecommunications},
booktitle = {Actes du 5\`eme Worshop sur l'Ad\'equation Algorithme
Architecture},
year = 2000,
month = jan,
address = {Paris, France},
abs = {presentation du projet RNTL PROMPT},
optnote = {% http://www-rocq.inria.fr/AAA2000},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/aaa100/aaa100.pdf}
}
@inproceedings{aaa200,
author = {M. Akil and A. Dias and C. Lavarenne and Sorel,
Yves},
title = {Vers la synth\`ese automatique de circuits \`a partir de graphes
algorithmiques factoris\'es},
booktitle = {Actes du 5\`eme Workshop sur l'Ad\'equation Algorithme
Architecture},
year = 2000,
month = jan,
address = {Paris, France},
abs = {SynDEx pour la synthese de circuits},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/aaa200/aaa200.pdf}
}
@inproceedings{ess99,
author = {Djenidi, Rachid and C. Lavarenne and Nikoukhah, Ramine and Y. Sorel and S. Steer},
title = {From Hybrid System Simulation to Real-Time Implementation},
booktitle = {Proceedings of 11th European Simulation Symposium and Exhibition, ESS'99},
year = 1999,
month = oct,
address = {Erlangen-Nuremberg, Germany},
abs = {complementary between Scicos and SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ess99/ess99.pdf}
}
@phdthesis{THAV,
author = {A. Vicard},
title = {Formalisation et optimisation des syst\`emes informatiques distribu\'es temps r\'eel embarqu\'es},
school = {Universit\'e de Paris Nord},
address = {Sp\'ecialit\'e informatique},
year = {5/07/1999},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/theses/THAV.pdf}
}
@inproceedings{codes99,
author = {T. Grandpierre and C. Lavarenne and Y. Sorel},
title = {Optimized Rapid Prototyping For Real-Time Embedded Heterogeneous
multiprocessors},
booktitle = {Proceedings of 7th International Workshop on Hardware/Software Co-Design, CODES'99 },
year = 1999,
month = may,
address = {Rome, Italy},
abs = {heuristique heterogene, routage parallele et diffusant},
optnote = {http://www.cs.ucr.edu/~codes99,
% sponsors={ACM SIGDA and SIGSOFT, IEEE Computer Society},},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/codes99/codes99.pdf}
}
@techreport{RR98,
author = {T. Grandpierre and C. Lavarenne and Y. Sorel},
title = {Mod\`ele d'ex\'ecutif distribu\'e temps r\'eel pour {SynDEx}},
institution = {INRIA},
type = {Rapport de Recherche},
number = 3476,
year = 1998,
month = aug,
abs = {specif executifs SynDEx v4},
optnote = {% http://www-rocq.inria.fr/syndex/pub/execv4/execv4.html},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR98/RR98.pdf}
}
@inproceedings{dapsys98,
author = {A. Vicard and Y. Sorel},
title = {Formalization and Static Optimization for parallel implementations},
booktitle = {Proceedings of Workshop on Distributed and Parallel Systems, DAPSYS'98 },
address = {Budapest, Hungary},
year = 1998,
month = sep,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/dapsys98/dapsys98.pdf}
}
@inproceedings{francoro98,
author = {A. Vicard and Y. Sorel},
title = {Formalisation et Optimisation statique d'implantations parall\`eles},
booktitle = {Actes des Deuxi\`emes Journ\'ees francophones de recherche op\'erationnelle, FRANCORO'98},
year = 1998,
month = apr,
address = {Sousse, Tunisie},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/francoro98/francoro98.pdf}
}
@inproceedings{cesa98,
author = {R. Kocik and Y. Sorel},
title = {A Methodology to Design and Prototype Optimized Embedded Robotic Systems},
booktitle = {Proceedings of 2nd IMACS International Multiconference, CESA'98},
address = {Hammamet, Tunisia},
year = 1998,
month = apr,
abs = {Exemple d'utilisation de SynDEx pour la conception et la r\'ealisation de v\'ehicule \'electrique semi-autonome},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/cesa98/cesa98.pdf}
}
@inproceedings{icsp98,
author = {A. Dias and C. Lavarenne and M. Akil and Y. Sorel},
title = {Optimized Implementation of Real-Time Image Processing Algorithms on
Field Programmable Gate Arrays},
booktitle = {Proceedings of Fourth International Conference on Signal Processing, ICSP'98},
address = {Beijing, China},
year = 1998,
month = oct,
abs = {version anglaise de aaa98},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/icsp98/icsp98.pdf}
}
@inproceedings{aaa98,
author = {A. Dias and C. Lavarenne and M. Akil and Y. Sorel},
title = {Ad\'equation Algorithme Architecture appliqu\'ee aux circuits reconfigurables},
booktitle = {Actes des Quatri\`emes Journ\'ees AAA en Traitement du Signal et des Images},
address = {Saclay, France},
year = 1998,
month = jan,
abs = {principes d'optimisation pour l'implantation d'algorithmes, d\'ecrits par
des graphes de d\'ependances r\'ep\'etitifs factoris\'es, sur des circuits
reconfigurables},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/aaa98/aaa98.pdf}
}
@article{ts97,
author = {C. Lavarenne and Y. Sorel},
title = {Mod\`ele unifi\'e pour la conception conjointe logiciel-mat\'eriel},
journal = {Traitement du Signal},
year = 1997,
volume = 14,
number = 6,
abs = {mod\`ele de graphes de d\'ependances factoris\'es, permettant de d\'ecrire aussi bien les algorithmes que leur implantations (apr\`es transformations de leur factorisation), soit sous forme de circuits sp\'ecialis\'es, soit sous forme d'ex\'ecutif sp\'ecialis\'e distribu\'e sur des processeurs},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ts97/ts97.pdf}
}
@inbook{ofta97,
author = {Collectif},
title = {Ordinateurs et calcul parall\`eles},
chapter = {XII: Y. Sorel, Ad\'equation Algorithme-Architecture en traitement du signal et des images},
pages = {209-228},
publisher = {OFTA, Lavoisier TEC et DOC},
series = {ARAGO 19},
month = apr,
year = {1997},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ofta97/ofta97.pdf}
}
@inproceedings{icip96,
author = {Y. Sorel},
title = {Real-Time Embedded Image Processing Applications using the algorithm architecture adequation Methodology},
booktitle = {Proceedings of IEEE International Conference on Image Processing, ICIP'96},
address = {Lausanne, Switzerland},
year = 1996,
month = sep,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/icip96/icip96.pdf}
}
@techreport{RR96,
author = {C. Aiglon and C. Lavarenne and Y. Sorel
and A. Vicard},
title = {Utilisation de {SynDEx} pour le traitement d'images temps-r\'eel},
institution = {INRIA},
type = {Rapport de Recherche},
number = 2968,
year = 1996,
month = sep,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR96/RR96.pdf}
}
@inproceedings{mpcs94,
author = {Y. Sorel},
title = {Massively Parallel Systems with Real Time Constraints, the Algorithm Architecture Adequation Methodology},
booktitle = {Proceedings of Conference on Massively Parallel Computing Systems, MPCS'94},
address = {Ischia, Italy},
year = 1994,
month = may,
abs = {overall overview of AAA methodology with focus on Macro-RTL architecture model and on implementation model},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/mpcs94/mpcs94.pdf}
}
@techreport{RR94,
author = {P. Bournai and C. Lavarenne and P. Le Guernic and O. Maff\'e\"es and Y. Sorel},
title = {Interface {SIGNAL-SynDEx}},
institution = {INRIA},
type = {Rapport de Recherche},
number = 2206,
year = 1994,
month = mar,
abs = {d\'efinition de la syntaxe SynDEx et de la traduction de SIGNAL en SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR94/RR94.pdf}
}
@inproceedings{rts94,
author = {C. Lavarenne and Y. Sorel},
title = {Optimisation et g\'en\'eration d'ex\'ecutifs distribu\'es temps-r\'eel pour algorithmes sp\'ecifi\'es avec les {Langages Synchrones}},
booktitle = {Proceedings of Conference on Real Time Systems, RTS'94},
address = {Paris, France},
year = 1994,
month = jan,
abs = {formalisation des ex\'ecutifs},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/rts94/rts94.pdf}
}
@inproceedings{parco93,
author = {C. Lavarenne and Y. Sorel},
title = {Performance Optimization of Multiprocessor Real-Time Applications by Graph Transformations},
booktitle = {Proceedings of Parallel Computing Conference, PARCO'93},
address = {Grenoble, France},
year = 1993,
month = sep,
abs = {formalization of the distribution and scheduling heuristic
used in SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/parco93/parco93.pdf}
}
@inproceedings{gretsi193,
author = {C. Lavarenne and Milan, Claude and Paindavoine, Michel
and Richard, G. and Y. Sorel},
title = {Implantation d'algorithmes de traitement d'images sur une architecture {multi-DSP} avec l'environnement d'aide \`a l'implantation {SynDEx}},
booktitle = {Actes du XIV\`eme Colloque GRETSI},
address = {Juan-Les-Pins, France},
year = 1993,
month = sep,
abs = {factorisation des parties r\'eguli\`eres d'algorithmes},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/gretsi193/gretsi193.pdf}
}
@inproceedings{gretsi293,
author = {C. Lavarenne and R. Reynaud and Y. Sorel},
title = {Sp\'ecification et validation \`a l'aide d'un langage synchrone d'un protocole d'appariement de donn\'ees asynchrones},
booktitle = {Actes du XIV\`eme Colloque GRETSI},
address = {Juan-Les-Pins, France},
year = 1993,
month = sep,
abs = {ex\'ecutif pour la prise en compte d'entr\'ees ayant des rythmes diff\'erents},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/gretsi293/gretsi293.pdf}
}
@inproceedings{cnes92,
author = {C. Lavarenne and Y. Sorel},
title = {Specification, Performance Optimization and Executive Generation for Real-Time Embedded Multiprocessor Applications with {SynDEx}},
booktitle = {Proceedings of Real-Time Embedded Processing for Space Applications},
organization = {CNES International Symposium},
address = {Les Saintes Maries de la Mer, France},
year = 1992,
month = nov,
abs = {m\'ethode de caract\'erisation d'une architecture pour obtention des dur\'ees
de calcul et de communication},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/cnes92/cnes92.pdf}
}
@techreport{RR92,
author = {F. Ennesser and C. Lavarenne and Y. Sorel},
title = {M\'ethode chronom\'etrique pour l'optimisation du temps de r\'eponse
des ex\'ecutifs {SynDEx}},
institution = {INRIA},
type = {Rapport de Recherche},
number = 1769,
year = 1992,
month = jun,
abs = {description de la technique de chronom\'etrage incluse aux ex\'ecutifs
g\'en\'er\'es par SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR92/RR92.pdf}
}
@inproceedings{gretsi91,
author = {C. Lavarenne and O. Seghrouchni and Y. Sorel and M. Sorine},
title = {{SynDEx}, un environnement de programmation pour applications de traitement du signal distribu\'ees},
booktitle = {Actes du XIII\`eme Colloque GRETSI},
address = {Juan-les-Pins, France},
year = 1991,
month = sep,
abs = {premi\`ere pr\'esentation globale de SynDEx en français},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/gretsi91/gretsi91.pdf}
}
@inproceedings{ecc91,
author = {C. Lavarenne and O. Seghrouchni and Y. Sorel and M. Sorine},
title = {The {SynDEx} Software Environment for Real-Time Distributed Systems,
Design and Implementation},
booktitle = {Proceedings of European Control Conference, ECC'91},
address = {Grenoble, France},
year = 1991,
month = jul,
abs = {first global presentation of SynDEx in english},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/ecc91/ecc91.pdf}
}
@techreport{RR90,
author = {N. Ghezal and S. Matiatos and P. Piovesan and Y. Sorel and M. Sorine},
title = {{SynDEx}, un environnement de programmation pour multiprocesseur de traitement du signal, m\'ecanismes de communication},
institution = {INRIA},
type = {Rapport de Recherche},
number = 1236,
year = 1990,
month = jun,
abs = {principes de base des m\'ecanismes de communication mis en {\oe}uvre dans les ex\'ecutifs g\'en\'er\'es par les premi\`eres versions de SynDEx},
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RR90/RR90.pdf}
}
@techreport{synman89,
author = {C. Lavarenne and Y. Sorel},
title = {{SynDEx}, un environnement de programmation pour multiprocesseur de traitement du signal. Manuel de l'utilisateur v.0},
institution = {INRIA},
type = {Rapport Technique},
number = 113,
year = 1989,
url = {http://www-rocq.inria.fr/syndex/publications/pubs/RT89/RT89.pdf}
}
This file was generated by bibtex2html 1.98.