Simulation abstraite : une analyse statique de modèles Simulink. (Abstract Simulation: a Static Analysis of Simulink Models). - Alexandre Chapoutot (2008)

Abstract Simulation: A Static Analysis of Simulink Models. - Alexandre Chapoutot; Matthieu Martel (ICESS, 2009)

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. - Alexandre Chapoutot; Matthieu Martel (Tech. Sci. Informatiques, 2009)

Mathematical equations as executable models of mechanical systems. - Angela Yun Zhu; Edwin M. Westbrook; Jun Inoue 001; Alexandre Chapoutot; Cherif R. Salama; Marisa Linnea Peralta; Travis Martin; Walid Taha; Marcia K. O'Malley; Robert Cartwright; Aaron D. Ames; Raktim Bhattacharya (ICCPS, 2010)

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. - Alexandre Chapoutot (SAS, 2010)

Abstract Fixpoint Computations with Numerical Acceleration Methods. - Olivier Bouissou; Yassamine Seladji; Alexandre Chapoutot (NSAD@SAS, 2010)

A core language for executable models of cyber physical systems: work in progress report. - Walid Taha; Paul Brauner; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (SIGBED Rev., 2011)

Range estimation of floating-point variables in Simulink models. - Alexandre Chapoutot; Laurent-Stéphane Didier; Fanny Villers (DASIP, 2012)

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). - Walid Taha; Paul Brauner; Yingfu Zeng; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (ICDCS Workshops, 2012)

An operational semantics for Simulink's simulation engine. - Olivier Bouissou; Alexandre Chapoutot (LCTES, 2012)

HySon: Set-based simulation of hybrid systems. - Olivier Bouissou; Samuel Mimram; Alexandre Chapoutot (RSP, 2012)

Acceleration of the abstract fixpoint computation in numerical program analysis. - Olivier Bouissou; Yassamine Seladji; Alexandre Chapoutot (J. Symb. Comput., 2012)

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. - Olivier Bouissou; Alexandre Chapoutot; Adel Djoudi (NASA Formal Methods, 2013)

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. - Olivier Bouissou; Alexandre Chapoutot; Samuel Mimram (CoRR, 2013)

Computation of parametric barrier functions for dynamical systems using interval analysis. - Olivier Bouissou; Alexandre Chapoutot; Adel Djaballah; Michel Kieffer (CDC, 2014)

Optimizing the accuracy of a rocket trajectory simulation by program transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Conf. Computing Frontiers, 2015)

Intra-procedural Optimization of the Numerical Accuracy of Programs. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (FMICS, 2015)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (LOPSTR, 2015)

Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (SynCoP, 2015)

Transformation of a PID Controller for Numerical Accuracy. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (NSV, 2015)

Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. - Alexandre Chapoutot; Julien Alexandre Dit Sandretto (NSV@CAV, 2016)

Data-types optimization for floating-point formats by program transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (CoDIT, 2016)

Appropriate Design Guided by Simulation: An Hovercraft Application. - Julien Alexandre Dit Sandretto; Douglas Picciani de Suza; Alexandre Chapoutot (MORSE@RoboCup, 2016)

Control of nonlinear switched systems based on validated simulation. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg (CoRR, 2016)

Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. - Sylvie Boldo; Florian Faissole; Alexandre Chapoutot (ARITH, 2017)

Extended reliable robust motion planners. - Adina M. Panchea; Alexandre Chapoutot; David Filliat (CDC, 2017)

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (IRC, 2017)

Distributed Control Synthesis Using Euler's Method. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg; Florian De Vuyst; Ludovic Chamoin (RP, 2017)

Numerical Accuracy Improvement by Interprocedural Program Transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (SCOPES, 2017)

Construction of parametric barrier functions for dynamical systems using interval analysis. - Adel Djaballah; Alexandre Chapoutot; Michel Kieffer; Olivier Bouissou (Autom., 2017)

Improving the numerical accuracy of programs by automatic transformation. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Int. J. Softw. Tools Technol. Transf., 2017)

Constraint-Based Framework for Reasoning with Differential Equations. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Olivier Mullier (Cyber-Physical Systems Security, 2018)

An Interval-based Sliding Horizon Motion Planning Method. - Julien Alexandre Dit Sandretto; Elliot Brendel; Alexandre Chapoutot (ADHS, 2018)

Reliable Navigation Planning Implementation on a Two-Wheeled Mobile Robot. - Élise Crepon; Adina Marlena Panchea; Alexandre Chapoutot (IRC, 2018)

Reliable Motion Plannning for a Mobile Robot. - Élise Crepon; Adina Marlena Panchea; Alexandre Chapoutot (IRC, 2018)

An improved algorithm for the control synthesis of nonlinear sampled switched systems. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Laurent Fribourg (Formal Methods Syst. Des., 2018)

Numerical program optimisation by automatic improvement of the accuracy of computations. - Nasrine Damouche; Matthieu Martel; Alexandre Chapoutot (Int. J. Intell. Eng. Informatics, 2018)

Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. - Olivier Mullier; Alexandre Chapoutot; Julien Alexandre Dit Sandretto (Optim. Methods Softw., 2018)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. - Paul Rousse; Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Pierre-Loïc Garoche (CyPhy/WESE, 2019)

Logical Differential Constraints Based on Interval Boolean Tests. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot (IFSA/NAFIPS, 2019)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

Abstract domains for constraint programming with differential equations. - Ghiles Ziat; Olivier Mullier; Julien Alexandre Dit Sandretto; Christophe Garion; Alexandre Chapoutot; Xavier Thirioux (NSAD@SAS, 2020)

Cosimulation-Based Control Synthesis. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (SEFM, 2020)

Optimal Switching Instants for the Control of Hybrid Systems. - Olivier Mullier; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Acta Cybern., 2020)

Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods. - Sylvie Boldo; Florian Faissole; Alexandre Chapoutot (IEEE Trans. Computers, 2020)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling 001; et al. (ARCH@ADHS, 2021)

Spatio-temporal constrained zonotopes for validation of optimal control problems *. - Etienne Bertin 001; Bruno Hérissé; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (CDC, 2021)

Constraint-based Verification of Formation Control. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux; Ghiles Ziat (CDC, 2021)

Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. - Etienne Bertin 001; Elliot Brendel; Bruno Hérissé; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Acta Cybern., 2021)

Preface. - Julien Alexandre Dit Sandretto; Olivier Mullier; Alexandre Chapoutot (Acta Cybern., 2021)

Guaranteed master for interval-based cosimulation. - Adrien Le Coënt; Julien Alexandre Dit Sandretto; Alexandre Chapoutot (Softw. Syst. Model., 2021)

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. - Yuanqi Mao; Behçet Açikmese; Pierre-Loïc Garoche; Alexandre Chapoutot (HSCC, 2022)

A ROS-Based Kinematic Calibration Tool for Serial Robots. - Caroline Pascal; Olivier Doaré; Alexandre Chapoutot (IROS, 2023)

SCvxPyGen: Autocoding SCvx Algorithm. - Danil Berrah; Alexandre Chapoutot; Pierre-Loïc Garoche (CDC, 2024)

A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. - Julien Alexandre Dit Sandretto; Alexandre Chapoutot; Christophe Garion; Xavier Thirioux (Acta Cybern., 2024)

Foundation Models Meet Low-Cost Sensors: Test-Time Adaptation for Rescaling Disparity for Zero-Shot Metric Depth Estimation. - Rémi Marsal; Alexandre Chapoutot; Philippe Xu; David Filliat (CoRR, 2024)