Julien Forget

maître de conférences
CNU : SECTION 27 - INFORMATIQUE
julien_forget.jpg

Julien Forget

maître de conférences

Publications

Article dans des revues

  • Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩. ⟨hal-01665076⟩
  • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp. 601-626. ⟨hal-01288224⟩
  • Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338. ⟨inria-00638936⟩

Communication dans un congrès

  • Frédéric Fort, Julien Forget. Code generation for multi-phase tasks on a multi-core distributed memory platform. 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2019, Hangzhou, China. ⟨hal-02295835⟩
  • Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩. ⟨hal-01939659⟩
  • Frédéric Fort, Julien Forget. Code generation for multi-phase tasks on multicore with distributed memory. Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France. ⟨hal-02014418⟩
  • Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold. Automated generation of time-predictable executables on multi-core. RTNS 2018, Oct 2018, POITIERS, France. ⟨hal-01888728⟩
  • Thanh Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, et al.. Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, Germany. ⟨hal-02301845⟩
  • Julien Forget, Frédéric Boniol, Claire Pagetti. Verifying end-to-end real-time constraints on multi-periodic models. ETFA2017 - 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Sep 2017, Limassol, Cyprus. ⟨hal-01620403⟩
  • Clément Ballabriga, Julien Forget, Giuseppe Lipari. Context-sensitive Parametric WCET Analysis. 15th International Workshop on Worst-Case Execution Time Analysis, Dec 2015, Lund Sweden. ⟨10.4230/OASIcs.WCET.2015.55⟩. ⟨hal-01239158⟩
  • Antoine Bertout, Julien Forget, Richard Olejnik. Minimizing a real-time task set through Task Clustering. Proceedings of the 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. pp.23-31, ⟨10.1145/2659787.2659820⟩. ⟨hal-01073565⟩
  • Antoine Bertout, Julien Forget, Richard Olejnik. A heuristic to minimize the cardinality of a real-time task set by automated task clustering. Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC 2014), Apr 2014, Gyeongju, South Korea. ⟨10.1145/2554850.2554958⟩. ⟨hal-01016182⟩
  • Antoine Bertout, Julien Forget, Richard Olejnik. Minimizing the cardinality of a real-time task set by automated task clustering. Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia Antipolis, France. pp.9-12. ⟨hal-00874979⟩
  • Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget. End-to-end latency computation in a multi-periodic design. 28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687. ⟨hal-00863174⟩
  • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique. Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. ⟨hal-00830675⟩
  • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. A synchronous language with partial delay specification for real-time systems programming. 10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238. ⟨hal-00800975⟩
  • Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti. Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. 19th International Conference on Real-Time and Network Systems, Irccyn, Sep 2011, Nantes, France. ⟨inria-00618587⟩
  • Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard. Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences. IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), Sep 2011, Toulouse, France. ⟨10.1109/ETFA.2011.6059015⟩. ⟨inria-00638941⟩
  • Julien Forget, Emmanuel Grolleau, Claire Pagetti. Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores. ROADEF 2011, École Nationale Supérieure des Mines de Saint-Étienne, Mar 2011, SAINT ETIENNE, France. ⟨inria-00563798⟩
  • Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti. Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms. 16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310. ⟨hal-00800980⟩
  • Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems. 25th ACM Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.527--534. ⟨hal-00688490⟩
  • Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti. Implantation multitâche de programmes synchrones multipériodiques. 7ième colloque francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.741-755. ⟨hal-00830672⟩
  • Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. Implementing Multi-Periodic Critical Systems: from Design to Code Generation. FM-09 Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.34-48. ⟨hal-00800990⟩
  • Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Multi-Periodic Synchronous Data-Flow Language. 11th IEEE High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.251-260. ⟨hal-00802695⟩
  • Charles André, Arnaud Cuccuru, Jean-Luc Dekeyser, Robert de Simone, Cédric Dumoulin, et al.. MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States. ⟨hal-02466757⟩
  • Cedric Dumoulin, Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, et al.. Marte: A new profile rfp for the modeling and analysis of real-time embedded systems. Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States. ⟨hal-01071285⟩

Rapport

  • Julien Forget, Frédéric Guyomarch, Vlad Rusu. Programming with hardware/software functions. [Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18. ⟨hal-01248163⟩
  • Antoine Bertout, Julien Forget, Richard Olejnik. Automated runnable to task mapping. 2013. ⟨hal-00827798v2⟩

Thèse

  • Julien Forget. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. Embedded Systems. Institut Supérieur de l’Aéronautique et de l’Espace, 2009. English. ⟨tel-01942421⟩