EN FR
EN FR


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
References in notes
  • 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.