Julien Forget

38
Documents
Affiliations actuelles
  • Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL)
  • Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires (SYCOMORES)
Identifiants chercheurs

Publications

Publications

Image document

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-04118213 v1
Image document

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-04197411 v1
Image document

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-03817684 v2

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-03428961 v1
Image document

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-01939659 v1
Image document

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-02295835 v1

Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications

Thanh Dat Nguyen , Yassine Ouhammou , Emmanuel Grolleau , Julien Forget , Claire Pagetti et al.
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresde, Germany
Communication dans un congrès hal-02301845 v1
Image document

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-02014418 v1
Image document

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-01888728 v1
Image document

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-03690252 v1
Image document

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-01620403 v1
Image document

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-01239158 v1
Image document

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-01016182 v1
Image document

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-01073565 v1

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-00863174 v1
Image document

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-00830675 v1
Image document

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-00874979 v1
Image document

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-00800975 v1
Image document

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-00618587 v1
Image document

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-00563798 v1
Image document

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-00638941 v1
Image document

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-00688490 v1
Image document

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-00800980 v1
Image document

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-00800990 v1

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-00830672 v1
Image document

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-00802695 v1

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 Dumoulin et al.
DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
Communication dans un congrès hal-02466757 v1

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 Radermacher et al.
Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States
Communication dans un congrès hal-01071285 v1
Image document

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-01942421 v1