Alexandre Chapoutot

65 papers A 2B 3C 7Journal 20Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	A Simple yet Effective Test-Time Adaptation for Zero-Shot Monocular Metric Depth Estimation. IROS Rémi Marsal, Alexandre Chapoutot, Philippe Xu, David Filliat
2025	—	`conf`	Improving Domain Generalisable LiDAR Semantic Segmentation In Off-Road Environments with Auxiliary Tasks. ECMR Abhay Dayal Mathur, Alexandre Chapoutot, David Filliat
2025	C	`conf`	Integration of acoustic constraints in trajectory generation. CoDIT Damien Hoareau, Danil Berrah, Joris Tillet, Alexandre Chapoutot
2025	—	`conf`	SCvx-Frank-Wolfe Algorithm. ECC Danil Berrah, Damien Hoareau, Alexandre Chapoutot
2024	J	`jnl`	A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations. Acta Cybern. Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux
2024	J	`jnl`	Foundation Models Meet Low-Cost Sensors: Test-Time Adaptation for Rescaling Disparity for Zero-Shot Metric Depth Estimation. CoRR Rémi Marsal, Alexandre Chapoutot, Philippe Xu, David Filliat
2024	—	`conf`	SCvxPyGen: Autocoding SCvx Algorithm. CDC Danil Berrah, Alexandre Chapoutot, Pierre-Loïc Garoche
2023	A	`conf`	A ROS-Based Kinematic Calibration Tool for Serial Robots. IROS Caroline Pascal, Olivier Doaré, Alexandre Chapoutot
2022	—	`conf`	Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. HSCC Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot
2021	—	`conf`	ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 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, Mark Wetzlinger
2021	—	`conf`	Constraint-based Verification of Formation Control. CDC Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
2021	J	`jnl`	Guaranteed master for interval-based cosimulation. Softw. Syst. Model. Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2021	J	`jnl`	Preface. Acta Cybern. Julien Alexandre Dit Sandretto, Olivier Mullier, Alexandre Chapoutot
2021	J	`jnl`	Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics. Acta Cybern. Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2021	—	`conf`	Spatio-temporal constrained zonotopes for validation of optimal control problems CDC Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2020	—	`conf`	ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling
2020	—	`conf`	Abstract domains for constraint programming with differential equations. NSAD@SAS Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
2020	B	`conf`	Cosimulation-Based Control Synthesis. SEFM Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2020	J	`jnl`	Optimal Switching Instants for the Control of Hybrid Systems. Acta Cybern. Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2020	J	`jnl`	Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods. IEEE Trans. Computers Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
2019	—	`conf`	ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@CPSIoTWeek Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling
2019	—	`conf`	Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. CyPhy/WESE Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
2019	—	`conf`	Logical Differential Constraints Based on Interval Boolean Tests. IFSA/NAFIPS Julien Alexandre Dit Sandretto, Alexandre Chapoutot
2018	—	`conf`	An Interval-based Sliding Horizon Motion Planning Method. ADHS Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
2018	J	`jnl`	An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods Syst. Des. Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2018	—	`ch.`	Constraint-Based Framework for Reasoning with Differential Equations. Cyber-Physical Systems Security Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2018	J	`jnl`	Numerical program optimisation by automatic improvement of the accuracy of computations. Int. J. Intell. Eng. Informatics Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2018	—	`conf`	Reliable Motion Plannning for a Mobile Robot. IRC Élise Crepon, Adina Marlena Panchea, Alexandre Chapoutot
2018	—	`conf`	Reliable Navigation Planning Implementation on a Two-Wheeled Mobile Robot. IRC Élise Crepon, Adina Marlena Panchea, Alexandre Chapoutot
2018	J	`jnl`	Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation. Optim. Methods Softw. Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
2017	J	`jnl`	Construction of parametric barrier functions for dynamical systems using interval analysis. Autom. Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
2017	—	`conf`	Distributed Control Synthesis Using Euler's Method. RP Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
2017	—	`conf`	Extended reliable robust motion planners. CDC Adina M. Panchea, Alexandre Chapoutot, David Filliat
2017	—	`conf`	Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. IRC Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2017	J	`jnl`	Improving the numerical accuracy of programs by automatic transformation. Int. J. Softw. Tools Technol. Transf. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2017	C	`conf`	Numerical Accuracy Improvement by Interprocedural Program Transformation. SCOPES Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2017	C	`conf`	Round-off Error Analysis of Explicit One-Step Numerical Integration Methods. ARITH Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
2016	—	`conf`	Appropriate Design Guided by Simulation: An Hovercraft Application. MORSE@RoboCup Julien Alexandre Dit Sandretto, Douglas Picciani de Suza, Alexandre Chapoutot
2016	J	`jnl`	Control of nonlinear switched systems based on validated simulation. CoRR Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
2016	C	`conf`	Data-types optimization for floating-point formats by program transformation. CoDIT Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2016	—	`conf`	Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. NSV@CAV Alexandre Chapoutot, Julien Alexandre Dit Sandretto
2015	—	`conf`	Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) 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, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
2015	J	`jnl`	Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis. CoRR Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
2015	C	`conf`	Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. LOPSTR Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	C	`conf`	Intra-procedural Optimization of the Numerical Accuracy of Programs. FMICS Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Optimizing the accuracy of a rocket trajectory simulation by program transformation. Conf. Computing Frontiers Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Transformation of a PID Controller for Numerical Accuracy. NSV Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
2015	—	`conf`	Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. SynCoP Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
2014	—	`conf`	Computation of parametric barrier functions for dynamical systems using interval analysis. CDC Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
2013	J	`jnl`	Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods. CoRR Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
2013	—	`conf`	Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. NASA Formal Methods Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
2012	—	`conf`	A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
2012	J	`jnl`	Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2012	B	`conf`	An operational semantics for Simulink's simulation engine. LCTES Olivier Bouissou, Alexandre Chapoutot
2012	C	`conf`	HySon: Set-based simulation of hybrid systems. RSP Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
2012	—	`conf`	Range estimation of floating-point variables in Simulink models. DASIP Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
2011	J	`jnl`	A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
2010	J	`jnl`	Abstract Fixpoint Computations with Numerical Acceleration Methods CoRR Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2010	—	`conf`	Abstract Fixpoint Computations with Numerical Acceleration Methods. NSAD@SAS Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2010	J	`jnl`	Interval Slopes as Numerical Abstract Domain for Floating-Point Variables CoRR Alexandre Chapoutot
2010	B	`conf`	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. SAS Alexandre Chapoutot
2010	—	`conf`	Mathematical equations as executable models of mechanical systems. ICCPS Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
2009	—	`conf`	Abstract Simulation: A Static Analysis of Simulink Models. ICESS Alexandre Chapoutot, Matthieu Martel
2009	J	`jnl`	Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Tech. Sci. Informatiques Alexandre Chapoutot, Matthieu Martel
2008	—	`—`	Simulation abstraite : une analyse statique de modèles Simulink. (Abstract Simulation: a Static Analysis of Simulink Models). Alexandre Chapoutot