Julien Forget

Orcid: 0000-0002-1669-8971

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Parametric WCET as a function of procedure arguments: Analysis and applications.
J. Syst. Archit., 2024

2023
Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser., 2023

WCET analysis with procedure arguments as parameters.
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).
, 2023

2022
Synchronous semantics of multi-mode multi-periodic systems.
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.
Formal Methods Syst. Des., 2021

2019
Static Analysis of Binary Code with Memory Indirections Using Polyhedra.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Code generation for multi-phase tasks on a multi-core distributed memory platform.
Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

2018
Symbolic WCET Computation.
ACM Trans. Embed. Comput. Syst., 2018

Automated generation of time-predictable executables on multicore.
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.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.
CoRR, 2017

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

Verifying end-to-end real-time constraints on multi-periodic models.
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.
Tech. Sci. Informatiques, 2015

Context-sensitive Parametric WCET Analysis.
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.
Proceedings of the Symposium on Applied Computing, 2014

Minimizing a real-time task set through Task Clustering.
Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

2013
End-to-end latency computation in a multi-periodic design.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Multi-task Implementation of Multi-periodic Synchronous Programs.
Discret. Event Dyn. Syst., 2011

Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset.
Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Dynamic priority scheduling of periodic tasks with extended precedences.
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.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms.
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).
PhD thesis, 2009

Implementing Multi-Periodic Critical Systems: from Design to Code Generation
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008
A Multi-Periodic Synchronous Data-Flow Language.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008


  Loading...