Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. - Étienne André; Jawher Jerray; Sahar Mhiri (ICTAC, 2019)

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). - Jawher Jerray; Laurent Fribourg; Étienne André (ARCH, 2020)

Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples. - Jawher Jerray; Laurent Fribourg; Étienne André (CoRR, 2020)

Robust optimal control using dynamic programming and guaranteed Euler's method. - Jawher Jerray; Laurent Fribourg; Étienne André (CoRR, 2020)

Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems. - Jawher Jerray; Laurent Fribourg (CoRR, 2020)

Determination of limit cycles using stroboscopic set-valued maps. - Jawher Jerray; Laurent Fribourg (ADHS, 2021)

An Approximation of Minimax Control using Random Sampling and Symbolic Computation. - Jawher Jerray; Laurent Fribourg; Étienne André (ADHS, 2021)

Robust optimal periodic control using guaranteed Euler's method. - Jawher Jerray; Laurent Fribourg; Étienne André (ACC, 2021)

ORBITADOR: A tool to analyze the stability of periodical dynamical systems. - Jawher Jerray (ARCH@ADHS, 2021)

Constructing invariant tori using guaranteed Euler method. - Jawher Jerray; Laurent Fribourg (CoRR, 2021)

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Fundam. Informaticae, 2021)

Guaranteed properties of dynamical systems under perturbations. (Analyses formelles des propriétés des systèmes dynamiques sous perturbations). - Jawher Jerray (2021)

Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints". - Étienne André; Emmanuel Coquard; Laurent Fribourg; Jawher Jerray; David Lesens (Zenodo, 2021)

Using Euler's Method to Prove the Convergence of Neural Networks. - Jawher Jerray; Adnane Saoud; Laurent Fribourg (IEEE Control. Syst. Lett., 2022)

Asymptotic error in Euler's method with a constant step size. - Jawher Jerray; Adnane Saoud; Laurent Fribourg (Eur. J. Control, 2022)

Integration of Heterogeneous Components for Co-Simulation. - Jawher Jerray; Rabéa Ameur-Boulifa; Ludovic Apvrille (ICSOFT, 2023)

Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures. - Jawher Jerray; Laurent Fribourg (CoRR, 2023)

One-Step Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity. - Daniel M. Xavier; Ludovic Chamoin; Jawher Jerray; Laurent Fribourg (CoRR, 2024)