Skip to Main content Skip to Navigation


hal-01800628v1  Conference papers
Linda KaouaneMohamed AkilYves SorelThierry Grandpierre. From Algorithm Graph Specification to Automatic Synthesis of FPGA Circuit: A Seamless Flow of Graphs Transformations
Field Programmable Logic and Application, 13th International Conference, Sep 2003, Lisbon, Portugal. pp.934-943
...
hal-01800622v1  Conference papers
Thierry GrandpierreYves Sorel. From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations
2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003), Jun 2003, Mont Saint Michel, France. ⟨10.1109/MEMCOD.2003.1210097⟩
...
inria-00566359v1  Conference papers
Mohamed MaroufYves Sorel. Schedulability conditions for non-preemptive hard real-time tasks with strict period
18th International Conference on Real-Time and Network Systems RTNS'10, Nov 2010, Toulouse, France
inria-00432976v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. An exact schedulability test for real-time dependant periodic task systems with latency constraints
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, Jun 2009, Abbey Rolduc, Netherlands
...
hal-00737916v1  Conference papers
Mohamed MaroufYves Sorel. Scheduling non-preemptive hard real-time tasks with strict periods
ETFA'11 - 16th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2011, Toulouse, France. pp.1-8, ⟨10.1109/ETFA.2011.6059014⟩
hal-00924390v1  Conference papers
Marie-Agnès Peraldi-FratiYves Sorel. From high-level modelling of time in MARTE to real-time scheduling analysis.
Int. Workshop of MODEL'S 2008 - Int. Workshop on Model Based Architecting and Construction of Embedded Systems, IRIT, Sep 2008, Toulouse, France. pp.129-144
...
hal-02270300v1  Conference papers
A. AlbinetS. BegocJ.-L. BoulangerO. CasseI. Dal et al.  The MeMVaTEx methodology: from requirements to models in automotive application design
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
...
inria-00413488v1  Conference papers
Arnaud AlbinetJean-Louis BoulangerHubert DuboisMarie-Agnès Peraldi-FratiYves Sorel et al.  Model-Based Methodology for Requirements Traceability in Embedded Systems
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israel
...
inria-00413489v1  Conference papers
Patrick Meumeu YomsiYves Sorel. Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France
...
inria-00413490v1  Conference papers
Nicolas PernetYves Sorel. Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France
...
inria-00413487v1  Conference papers
Patrick Meumeu YomsiYves Sorel. Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007, Pisa, Italy
...
hal-00786225v1  Conference papers
Falou NdoyeYves Sorel. Safety Critical Multiprocessor Real-Time Scheduling with Exact Preemption Cost
ICONS 2013 - Eighth International Conference on Systems, Jan 2013, Seville, Spain. pp.127-136
inria-00584253v1  Conference papers
Liliana Cucu-GrosjeanYves Sorel. A schedulability test for real-time dependant periodic task systems with latency constraints
12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2011, Saint Etienne, France
...
hal-00930224v1  Conference papers
Falou NdoyeYves Sorel. Monoprocessor Real-Time Scheduling of Data Dependent Tasks with Exact Preemption Cost for Embedded Systems
ICSE'2013 16th IEEE International Conference on Computational Science and Engineering, Dec 2013, Sydney, Australia
hal-01245359v1  Poster communications
Talaboulma WalidCristian MaximAdriana GogonelYves SorelLiliana Cucu-Grosjean. Estimation of probabilistic worst case execution time while accounting OS costs
Work in Progress of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2015), Apr 2015, Seattle, France
...
inria-00077114v1  Reports
Rachid DjenidiRamine NikoukhahYves SorelSerge Steer. Interface Scicos-SynDEx
[Rapport de recherche] RR-4250, INRIA. 2001
...
hal-01298737v1  Conference papers
Walid TalaboulmaCristian MaximAdriana GogonelYves SorelLiliana Cucu-Grosjean. Estimation of probabilistic worst case execution time while accounting OS costs
21st IEEE Real-Time Embedded Technology and Applications Symposium, Apr 2015, Seattle, United States