3 citations · 5 across the 4 of their papers we have counts for
4 papers
Computing Green's functions and improving ground state energy estimation on quantum computers with Liouvillian recursion
Jérôme Leblanc, Olivier Nahman-Lévesque, Julien Forget +3
We present a quantum-classical hybrid implementation of the Liouvillian recursion method to compute many-body Green's functions using a quantum computer. From an approximate ground…
Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra
Clément Ballabriga, Julien Forget, Giuseppe Lipari
In this paper we propose a novel methodology for static analysis of binary code using abstract interpretation. We use an abstract domain based on polyhedra and two mapping function…
Symbolic Computation of the Worst-Case Execution Time of a Program
Clément Ballabriga, Julien Forget, Giuseppe Lipari
Parametric Worst-case execution time (WCET) analysis of a sequential program produces a formula that represents the worst-case execution time of the program, where parameters of th…
Implementing Multi-Periodic Critical Systems: from Design to Code Generation
Julien Forget, Frédéric Boniol, David Lesens +1
This article presents a complete scheme for the development of Critical Embedded Systems with Multiple Real-Time Constraints. The system is programmed with a language that extends…