Jawher Jerray

23 papers C 3Journal 13Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems.
MODELS-C
Jawher Jerray, Bastien Sultan, Ludovic Apvrille
2024 J jnl
One-Step Early Stopping Strategy using Neural Tangent Kernel Theory and Rademacher Complexity.
CoRR
Daniel M. Xavier, Ludovic Chamoin, Jawher Jerray, Laurent Fribourg
2023 C conf
Integration of Heterogeneous Components for Co-Simulation.
ICSOFT
Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille
2023 J jnl
Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures.
CoRR
Jawher Jerray, Laurent Fribourg
2022 J jnl
Asymptotic error in Euler's method with a constant step size.
Eur. J. Control
Jawher Jerray, Adnane Saoud, Laurent Fribourg
2022 J jnl
Using Euler's Method to Prove the Convergence of Neural Networks.
IEEE Control. Syst. Lett.
Jawher Jerray, Adnane Saoud, Laurent Fribourg
2021 — conf
An Approximation of Minimax Control using Random Sampling and Symbolic Computation.
ADHS
Jawher Jerray, Laurent Fribourg, Étienne André
2021 J jnl
Constructing invariant tori using guaranteed Euler method.
CoRR
Jawher Jerray, Laurent Fribourg
2021 — conf
Determination of limit cycles using stroboscopic set-valued maps.
ADHS
Jawher Jerray, Laurent Fribourg
2021 — —
Guaranteed properties of dynamical systems under perturbations. (Analyses formelles des propriétés des systèmes dynamiques sous perturbations).
Jawher Jerray
2021 — conf
ORBITADOR: A tool to analyze the stability of periodical dynamical systems.
ARCH@ADHS
Jawher Jerray
2021 J jnl
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints.
Fundam. Informaticae
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021 J jnl
Parametric schedulability analysis of a launcher flight control system under reactivity constraints.
CoRR
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2021 C conf
Robust optimal periodic control using guaranteed Euler's method.
ACC
Jawher Jerray, Laurent Fribourg, Étienne André
2021 J jnl
Robust optimal periodic control using guaranteed Euler's method.
CoRR
Jawher Jerray, Laurent Fribourg, Étienne André
2020 J jnl
Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems.
CoRR
Jawher Jerray, Laurent Fribourg
2020 — conf
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge).
ARCH
Jawher Jerray, Laurent Fribourg, Étienne André
2020 J jnl
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples.
CoRR
Jawher Jerray, Laurent Fribourg, Étienne André
2020 J jnl
Robust optimal control using dynamic programming and guaranteed Euler's method.
CoRR
Jawher Jerray, Laurent Fribourg, Étienne André
2019 — conf
Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints.
ACSD
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019 J jnl
Parametric schedulability analysis of a launcher flight control system under reactivity constraints.
CoRR
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
2019 C conf
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty.
ICTAC
Étienne André, Jawher Jerray, Sahar Mhiri
2019 J jnl
Time4sys2imi: A tool to formalize real-time system models under uncertainty.
CoRR
Étienne André, Jawher Jerray, Sahar Mhiri