Julien Alexandre Dit Sandretto

Statistics

Publications

Citations

H-Index

Active since

2015

Affiliations

École Nationale Supérieure de Techniques Avancées(Current)

Université Paris-Saclay

Julien Alexandre Dit Sandretto is an author at École Nationale Supérieure de Techniques Avancées specializing in stability, automated reasoning, and mechanical systems.

ORCID

Top concepts

StabilityEngineeringVerificationFormal MethodsHybrid SystemsMechanical SystemsAutomated ReasoningFormal VerificationSystems Engineering

Publications per year

2015–2020

Publications

Validated Explicit and Implicit Runge-Kutta Methods

Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier · HAL (Le Centre pour la Communication Scientifique Directe) · 2015 · 60 citations · Full text

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff et al. · EPiC series in computing · 2020 · 16 citations · Full text

Engineering, Reachability Problem, Verification +16

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot et al. · Formal Methods in System Design · 2017 · 11 citations · Full text

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier · 2017 · 10 citations · Full text

1–4 of 4