Julien Forget

29 papers A 2B 3C 2Misc 9Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Parametric WCET as a function of procedure arguments: Analysis and applications.
J. Syst. Archit.
Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
2023 J jnl
Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser.
Matthias Becker, Julien Forget
2023 — book
Programming and analysis of critical real-time systems. (Programmation et analyse de systèmes temps réel critiques).
Julien Forget
2023 Misc conf
WCET analysis with procedure arguments as parameters.
RTNS
Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari
2022 Misc conf
Synchronous semantics of multi-mode multi-periodic systems.
SAC
Frédéric Fort, Julien Forget
2021 J jnl
Relational abstract interpretation of arrays in assembly code.
Formal Methods Syst. Des.
Clément Ballabriga, Julien Forget, Jordy Ruiz
2019 B conf
Code generation for multi-phase tasks on a multi-core distributed memory platform.
RTCSA
Frédéric Fort, Julien Forget
2019 B conf
Static Analysis of Binary Code with Memory Indirections Using Polyhedra.
VMCAI
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
2018 Misc conf
Automated generation of time-predictable executables on multicore.
RTNS
Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold
2018 A conf
Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications.
DATE
Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, Pascal Richard
2018 J jnl
Symbolic WCET Computation.
ACM Trans. Embed. Comput. Syst.
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2017 J jnl
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.
CoRR
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2017 J jnl
Symbolic Computation of the Worst-Case Execution Time of a Program.
CoRR
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2017 C conf
Verifying end-to-end real-time constraints on multi-periodic models.
ETFA
Julien Forget, Frédéric Boniol, Claire Pagetti
2015 J jnl
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique.
Tech. Sci. Informatiques
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
2015 — conf
Context-sensitive Parametric WCET Analysis.
WCET
Clément Ballabriga, Julien Forget, Giuseppe Lipari
2015 Misc ed.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015
RTNS
Julien Forget
2014 Misc conf
A heuristic to minimize the cardinality of a real-time task set by automated task clustering.
SAC
Antoine Bertout, Julien Forget, Richard Olejnik
2014 Misc conf
Minimizing a real-time task set through Task Clustering.
RTNS
Antoine Bertout, Julien Forget, Richard Olejnik
2013 Misc conf
End-to-end latency computation in a multi-periodic design.
SAC
Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget
2012 B conf
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.
APLAS
Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
2011 Misc conf
Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.
RTNS
Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti
2011 C conf
Dynamic priority scheduling of periodic tasks with extended precedences.
ETFA
Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard
2011 J jnl
Multi-task Implementation of Multi-periodic Synchronous Programs.
Discret. Event Dyn. Syst.
Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
2010 Misc conf
A real-time architecture design language for multi-rate embedded control systems.
SAC
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2010 A conf
Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.
IEEE Real-Time and Embedded Technology and Applications Symposium
Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti
2009 — —
A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. (Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples).
Julien Forget
2009 — conf
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
FMA
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2008 — conf
A Multi-Periodic Synchronous Data-Flow Language.
HASE
Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti