Julien Forget

Identifiants chercheurs

IdHAL :

julienforget

ORCID :

0000-0002-1669-8971

IdRef :

163689709

Publications

Article dans une revue (5)

Parametric WCET as a function of procedure arguments: analysis and applications Sandro Grebant,Clément Ballabriga,Julien Forget,Giuseppe Lipari Journal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩ Article dans une revue hal-04433439v2
Relational abstract interpretation of arrays in assembly code Clément Ballabriga,Julien Forget,Jordy Ruiz Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00399-3⟩ Article dans une revue hal-03794951v1
Symbolic WCET Computation Clément Ballabriga,Julien Forget,Giuseppe Lipari ACM Transactions on Embedded Computing Systems (TECS), 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩ Article dans une revue hal-01665076v1
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique Rémy Wyss,Frédéric Boniol,Julien Forget,Claire Pagetti Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp. 601-626. ⟨10.3166/tsi.34.601-626⟩ Article dans une revue hal-01288224v1
Multi-task implementation of multi-periodic synchronous programs Claire Pagetti,Julien Forget,Frédéric Boniol,Mikel Cordovilla,David Lesens Discrete Event Dynamic Systems, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩ Article dans une revue inria-00638936v1

HDR (1)

Programming and analysis of critical real-time systems Julien Forget Embedded Systems. Université de Lille, 2023 HDR tel-04148643v1

Communication dans un congrès (28)

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

Cours (1)

Ecole Temps Réel 2017 - Uniprocessor real-time scheduling Julien Forget Doctoral. France. 2017 Cours hal-03193898v1

Rapport (2)

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

Thèse (1)

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