Bibliography
Publications of the year
Doctoral Dissertations and Habilitation Theses
-
1S. E. Saidi.
Automatic Parallelization and Scheduling Approches for Co-simulation of Numerical Models on Multi-core Processors, Université Sorbonne, April 2018.
https://hal.inria.fr/tel-01895280
Articles in International Peer-Reviewed Journals
-
2L. Cucu-Grosjean, N. Fisher.
Guest editorial: special issue on real time and network systems, in: Real-Time Systems, July 2018, vol. 54, no 3, pp. 605-606. [ DOI : 10.1007/s11241-018-9309-8 ]
https://hal.inria.fr/hal-01955995 -
3B. Lesage, S. Altmeyer, D. Griffin, L. Cucu-Grosjean, R. Davis.
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs, in: Real-Time Systems, April 2018, vol. 54, no 2, pp. 307-388. [ DOI : 10.1007/s11241-017-9295-2 ]
https://hal.archives-ouvertes.fr/hal-01666091
International Conferences with Proceedings
-
4F. Jebali, D. Potop-Butucaru.
Ensuring consistency between cycle-accurate and instruction set simulators, in: ACSD 2018 - 18th International Conference on Application of Concurrency to System Design, Bratislava, Slovakia, June 2018.
https://hal.inria.fr/hal-01959370 -
5T. Kloda, A. Bertout, Y. Sorel.
Latency analysis for data chains of real-time periodic tasks, in: ETFA'2018 - IEEE International Conference on Emerging Technologies and Factory Automation, Torino, Italy, Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'18, September 2018.
https://hal.inria.fr/hal-01939228 -
6S. E. Saidi, N. Pernet, Y. Sorel.
Scheduling Real-time HiL Co-simulation of Cyber-Physical Systems on Multi-core Architectures, in: RTCSA2018 - IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Hakodate, Japan, Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 2018.
https://hal.inria.fr/hal-01887155 -
7J. Souyris, K. Didier, D. Potop-Butucaru, G. Iooss, T. Bourke, A. Cohen, M. Pouzet.
Automatic Parallelization from Lustre Models in Avionics, in: ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, Toulouse, France, Proceedings of the 9th European Congress on Embedded Real-Time Software and Systems (ERTS2), 3AF - Association Aéronautique Astronautique de France and SEE - Société de l'électricité, de l'électronique et des technologies de l'information et de la communication and SIA - Société de Ingénieurs de l'Automobile, January 2018, pp. 1-4.
https://hal.inria.fr/hal-01714054
Conferences without Proceedings
-
8E. Ntaryamira, C. Maxim, L. Cucu-Grosjean.
Ensuring data freshness for periodic real-time tasks, in: the 12th Junior Researcher Workshop on Real-Time Computing, Poitiers, France, 2018.
https://hal.inria.fr/hal-01900328
Internal Reports
-
9K. Didier, D. Potop-Butucaru, G. Iooss, A. Cohen, J. Souyris, P. Baufreton, A. Graillat.
Parallelisation efficace de larges applications temps-reel, Inria Paris, June 2018, no RR-9180.
https://hal.inria.fr/hal-01810176
Other Publications
-
10S. Ben-Amor, L. Cucu-Grosjean.
Probabilistic parallel real-time tasks model on multiprocessor platform, July 2018, pp. 1-2, RTSOPS 2018 - 9th International Real-Time Scheduling Open Problems Seminar, Poster.
https://hal.inria.fr/hal-01956008 -
11S. Ben-Amor, L. Cucu-Grosjean, D. Maxim.
Response time analysis for precedence constrained and partitioned multiprocessor scheduled tasks, October 2018, JWRTC 2018 - 12th Junior Researcher Workshop on Real-Time Computing, Poster.
https://hal.inria.fr/hal-01957200 -
12L. Fejoz, L. Havet, A. Didier, B. Viaud, A.-T. Bui Long, T. D. Nguyen, Y. Ouhammou, E. Grolleau, A. Gogonel, C. Maxim, L. Cucu-Grosjean, R. Henia, L. Rioux, N. Sordon, N. Ayache, J. Rehm.
Time4Sys – Integrating Timing Verification in your Engineering Practices, December 2018, RTSS@Work 2018 - 39th IEEE Real-Time Systems Symposium Workshop, Poster.
https://hal.inria.fr/hal-01957504 -
13E. Ntaryamira, C. Maxim, C. Flores, L. Cucu-Grosjean.
Towards temporal constraints in self driving cars, July 2018, RTSOPS 2018 - 9th International Real-Time Scheduling Open Problems Seminar, Poster.
https://hal.inria.fr/hal-01956016
-
14J. Dennis.
First Version of a Dataflow Procedure Language, in: Lecture Notes in Computer Sci., Springer-Verlag, 1975, vol. 19, pp. 362-376. -
15J. Fonseca, G. Nelissen, V. Nelis, L. Pinho.
Response time analysis of sporadic DAG tasks under partitioned scheduling, in: 11th IEEE Symposium on Industrial Embedded Systems (SIES), 05 2016, pp. 1-10. -
16J. Forget, E. Grolleau, C. Pagetti, P. Richard.
Dynamic priority scheduling of periodic tasks with extended precedences, in: IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA, 2011, pp. 1–8. -
17A. Gogonel, L. Cucu-Grosjean.
Dispositif de caractérisation et/ou de modélisation de temps d'exécution pire-cas, June 2017, no 1000408053.
https://hal.archives-ouvertes.fr/hal-01666535 -
18D. Hardy, B. Rouxel, I. Puaut.
The Heptane Static Worst-Case Execution Time Estimation Tool, in: Proceedings WCET, Dubrovnik, Croatia, 2017. -
19H. Herbegue, H. Cassé, M. Filali, C. Rochange.
Hardware architecture specification and constraint-based WCET computation, in: Proceedings SIES, Porto, Portugal, 2013. -
20H. Herbegue, M. Filali, H. Cassé.
Formal Architecture Specification for Time Analysis, in: Proceedings ARCS, Lubeck, Germany, 2014. -
21C. Liu, J. Layland.
Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment, in: Journal of the ACM, January 1973, vol. 20, no 1, pp. 46-61. -
22D. Maxim, L. Cucu-Grosjean, R. Davis.
Probabilistic schedulability analysis , in: Handbook on Real-Time Computing, A. Easwaran (editor), Handbook on Real-Time Computing, Springer, 2017.
https://hal.archives-ouvertes.fr/hal-01666110 -
23D. I. Maxim, R. Davis, L. Cucu-Grosjean, A. Easwaran.
Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling, in: RTNS 2017 - International Conference on Real-Time Networks and Systems, Grenoble, France, October 2017, 10 p. [ DOI : 10.1145/3139258.3139276 ]
https://hal.inria.fr/hal-01614684 -
24C. Maxim, A. Gogonel, I. Asavoae, M. Asavoae, L. Cucu-Grosjean.
Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches, in: ACM SIGBED Review, November 2017, vol. 14, no 3, pp. 24-31. [ DOI : 10.1145/3166227.3166230 ]
https://hal.archives-ouvertes.fr/hal-01666084 -
25D. Potop-Butucaru, B. Caillaud, A. Benveniste.
Concurrency in Synchronous Systems, in: Formal Methods in System Design, Mar 2006, vol. 28, no 2, pp. 111–130.