Team Aoste2
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

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.

previous Previous | up Home