Julien Forget

According to our database, Julien Forget authored at least 28 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Parametric WCET as a function of procedure arguments: Analysis and applications.

Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari

J. Syst. Archit., 2024

2023

Front Matter, Table of Contents, Preface, Conference Organization.

Matthias Becker, Julien Forget

Dagstuhl Artifacts Ser., 2023

WCET analysis with procedure arguments as parameters.

Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

Programming and analysis of critical real-time systems. (Programmation et analyse de systèmes temps réel critiques).

Julien Forget

, 2023

2022

Synchronous semantics of multi-mode multi-periodic systems.

Frédéric Fort, Julien Forget

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Relational abstract interpretation of arrays in assembly code.

Clément Ballabriga, Julien Forget, Jordy Ruiz

Formal Methods Syst. Des., 2021

2019

Static Analysis of Binary Code with Memory Indirections Using Polyhedra.

Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Code generation for multi-phase tasks on a multi-core distributed memory platform.

Frédéric Fort, Julien Forget

Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

2018

Symbolic WCET Computation.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

ACM Trans. Embed. Comput. Syst., 2018

Automated generation of time-predictable executables on multicore.

Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

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, Pascal Richard

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

CoRR, 2017

Symbolic Computation of the Worst-Case Execution Time of a Program.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

CoRR, 2017

Verifying end-to-end real-time constraints on multi-periodic models.

Julien Forget, Frédéric Boniol, Claire Pagetti

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2015

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

Tech. Sci. Informatiques, 2015

Context-sensitive Parametric WCET Analysis.

Clément Ballabriga, Julien Forget, Giuseppe Lipari

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

2014

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 Symposium on Applied Computing, 2014

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, 2014

2013

End-to-end latency computation in a multi-periodic design.

Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012

A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.

Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Multi-task Implementation of Multi-periodic Synchronous Programs.

Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens

Discret. Event Dyn. Syst., 2011

Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.

Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Dynamic priority scheduling of periodic tasks with extended precedences.

Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

A real-time architecture design language for multi-rate embedded control systems.

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.

Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

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

PhD thesis, 2009

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

A Multi-Periodic Synchronous Data-Flow Language.

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008