Alexandre Chapoutot

Identifiants chercheurs

IdHAL :

alexandre-chapoutot

ORCID :

0000-0002-7230-0710

IdRef :

198059833

Présentation

Je travaille sur la vérification formelle de programmes de contrôle-commande. En particulier, je m'intéresse à définir des méthodes de résolution garantie d'équations différentielles.

Publications

Article dans une revue (19)

Automated far-field sound field estimation combining robotized acoustic measurements and the boundary elements method Caroline Pascal,Pierre Marchand,Alexandre Chapoutot,Olivier Doaré Acta Acustica, In press, ⟨10.1051/aacus/2026017⟩ Article dans une revue hal-04601337v2
A Constraint Programming Approach for Polytopic Simulation of Ordinary Differential Equations Julien Alexandre dit Sandretto,Alexandre Chapoutot,Christophe Garion,Xavier Thirioux Acta Cybernetica, 2024, 26 (4), ⟨10.14232/actacyb.300771⟩ Article dans une revue hal-04828396v1
Guaranteed master for interval-based cosimulation Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩ Article dans une revue hal-03158710v1
Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics Etienne Bertin,Elliot Brendel,Bruno Hérissé,Julien Alexandre Dit Sandretto,Alexandre Chapoutot Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩ Article dans une revue hal-03142715v1
Optimal Switching Instants for the Control of Hybrid Systems Olivier Mullier,Julien Alexandre Dit Sandretto,Alexandre Chapoutot Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩ Article dans une revue hal-03158488v1
Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods Sylvie Boldo,Florian Faissole,Alexandre Chapoutot IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩ Article dans une revue hal-01883843v3
Numerical program optimisation by automatic improvement of the accuracy of computations Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145. ⟨10.1504/IJIEI.2018.091016⟩ Article dans une revue hal-01744855v1
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 in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩ Article dans une revue hal-01399337v2
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation Olivier Mullier,Alexandre Chapoutot,Julien Alexandre Dit Sandretto Optimization Methods and Software, 2018, ⟨10.1080/10556788.2018.1459620⟩ Article dans une revue hal-01498372v1
An Interval-based Sliding Horizon Motion Planning Method Julien Alexandre Dit Sandretto,Elliot Brendel,Alexandre Chapoutot IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩ Article dans une revue hal-01992048v1
Improving the numerical accuracy of programs by automatic transformation Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot International Journal on Software Tools for Technology Transfer, 2017, 19, pp.427-448. ⟨10.1007/s10009-016-0435-0⟩ Article dans une revue hal-01373666v1
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88 Article dans une revue hal-01762205v1
Construction of parametric barrier functions for dynamical systems using interval analysis Adel Djaballah,Alexandre Chapoutot,Michel Kieffer,Olivier Bouissou Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩ Article dans une revue hal-01164307v2
Validated Explicit and Implicit Runge-Kutta Methods Julien Alexandre Dit Sandretto,Alexandre Chapoutot Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22 Article dans une revue hal-01243053v1
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods Julien Alexandre Dit Sandretto,Alexandre Chapoutot Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22 Article dans une revue hal-01243044v1
Transformation of a PID Controller for Numerical Accuracy Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩ Article dans une revue hal-01255942v1
Acceleration of the abstract fixpoint computation in numerical program analysis Olivier Bouissou,Yassamine Seladji,Alexandre Chapoutot Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩ Article dans une revue hal-00766769v1
A core language for executable models of cyber physical systems: work in progress report Walid Taha,Paul Brauner,Robert Cartwright,Veronica Gaspes,Aaron Ameset al. ACM SIGBED Review, 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩ Article dans une revue hal-00819379v1
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques Alexandre Chapoutot,Matthieu Martel Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩ Article dans une revue istex hal-00819435v1

Communication dans un congrès (62)

Improving Domain Generalisable LiDAR Semantic Segmentation In Off-Road Environments with Auxiliary Tasks Abhay Dayal Mathur,Alexandre Chapoutot,David Filliat 2025 European Conference on Mobile Robots (ECMR), Sep 2025, Padova, Italy. pp.1-6, ⟨10.1109/ECMR65884.2025.11163269⟩ Communication dans un congrès hal-05321746v1
Recovering Dense Metric Depth in Indoor Scenes from Monocular Depth Foundation Models and 2D LiDARs Rémi Marsal,Alexandre Chapoutot,Philippe Xu,David Filliat European Robotics Forum, Mar 2025, Stuttgart, Germany. pp.236-241, ⟨10.1007/978-3-031-89471-8_36⟩ Communication dans un congrès hal-05111994v1
Integration of acoustic constraints in trajectory generation Damien Hoareau,Danil Berrah,Joris Tillet,Alexandre Chapoutot International Conference on Control, Decision and Information Technologies, Jul 2025, Split, Croatia. pp.1-7, ⟨10.1109/CoDIT66093.2025.11321899⟩ Communication dans un congrès hal-05175047v1
Caractérisation expérimentale du bruit d’un drone en vol stationnaire en environnements réel et contrôlé Benjamin Cotté,Vinícius Simião Pitta,Damien Hoareau,Yoann Beausse,Thibault Toralbaet al. CFA 2025 - 17e Congrès Français d'Acoustique, Société Française d'Acoustique (SFA), Apr 2025, Paris, France Communication dans un congrès hal-05365428v1
Improving Off-Road LiDAR Semantic Segmentation with Spatial Context and Auxiliary Tasks Abhay Dayal Mathur,Alexandre Chapoutot,David Filliat European Robotic Forum, Mar 2025, Stuttgart (Germany), Germany. pp.300-306, ⟨10.1007/978-3-031-89471-8_46⟩ Communication dans un congrès hal-05111999v1
SCvx-Frank-Wolfe Algorithm Danil Berrah,Damien Hoareau,Alexandre Chapoutot European Control Conference, Jun 2025, Thessaloniki, Greece. pp.737-742, ⟨10.23919/ECC65951.2025.11186948⟩ Communication dans un congrès hal-05133725v1
Far-field sound field estimation using robotized measurements and the boundary elements method Caroline Pascal,Pierre Marchand,Alexandre Chapoutot,Olivier Doaré Inter-Noise 2024 : the 53rd International Congress and Exposition on Noise Control Engineering, Société française d'acoustique (SFA), Aug 2024, Nantes, France. pp.816-827, ⟨10.3397/IN_2024_2661⟩ Communication dans un congrès hal-04601339v1
SCvxPyGen: Autocoding SCvx Algorithm Danil Berrah,Alexandre Chapoutot,Pierre-Loïc Garoche 2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.5086-5093, ⟨10.1109/CDC56724.2024.10886875⟩ Communication dans un congrès hal-04992546v1
A ROS-based kinematic calibration tool for serial robots Caroline Pascal,Alexandre Chapoutot,Olivier Doaré 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, Michigan, United States. ⟨10.1109/IROS55552.2023.10341692⟩ Communication dans un congrès hal-04165802v2
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications Yuanqi Mao,Behcet Acikmese,Pierre-Loïc Garoche,Alexandre Chapoutot 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩ Communication dans un congrès hal-03663984v1
Spatio-temporal constrained zonotopes for validation of optimal control problems Etienne Bertin,Bruno Hérissé,Julien Alexandre Dit Sandretto,Alexandre Chapoutot CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States. pp.6708-6713, ⟨10.1109/CDC45484.2021.9683301⟩ Communication dans un congrès hal-03197925v2
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Christophe Garion,Xavier Thirioux,Ghiles Ziatet al. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩ Communication dans un congrès hal-03587676v1
Constraint-based Verification of Formation Control Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Christophe Garion,Xavier Thirioux,Ghiles Ziat 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩ Communication dans un congrès hal-03587686v1
Cosimulation-based control synthesis Adrien Le Coent,Julien Alexandre Dit Sandretto,Alexandre Chapoutot Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩ Communication dans un congrès hal-03035228v1
Abstract domains for constraint programming with differential equations Ghiles Ziat,Olivier Mullier,Julien Alexandre Dit Sandretto,Christophe Garion,Alexandre Chapoutotet al. NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩ Communication dans un congrès hal-03068260v1
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 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩ Communication dans un congrès hal-03199339v1
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti,Julien Alexandre Dit Sandretto,Matthias Althoff,Luis Benet,Alexandre Chapoutotet al. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩ Communication dans un congrès hal-03068407v1
Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics Etienne Bertin,Elliot Brendel,Bruno Hérissé,Alexandre Chapoutot,Julien Alexandre Dit Sandretto Summer Workshop on Interval methods, Jul 2019, Palaiseau, France Communication dans un congrès hal-02372308v1
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Fabian Immler,Matthias Althoff,Luis Benet,Alexandre Chapoutot,Xin Chenet al. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19 Communication dans un congrès hal-02167586v1
Optimal switching instants for the Control of Hybrid Systems Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier 11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany Communication dans un congrès hal-01992071v1
Reliable motion planner evaluated on a mobile robot Elise Crépon,Adina M Panchea,Alexandre Chapoutot International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩ Communication dans un congrès hal-01737032v1
Extended Reliable Robust Motion Planners Adina M Panchea,Alexandre Chapoutot,David Filliat 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩ Communication dans un congrès hal-01493576v1
Robust Motion Planning Based on Sliding Horizon and Validated Simulation Elliot Brendel,Julien Alexandre Dit Sandretto,Alexandre Chapoutot 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom Communication dans un congrès hal-01583836v1
Interval-based QuickXplain Algorithm Adrien Bisutti,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Rémi Delmas 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom Communication dans un congrès hal-01583834v1
Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩ Communication dans un congrès hal-01598851v1
BoxRRT* -A Reliable Motion Planner Adina M Panchea,Alexandre Chapoutot,David Filliat 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom Communication dans un congrès hal-01574921v1
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods Sylvie Boldo,Florian Faissole,Alexandre Chapoutot 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. ⟨10.1109/ARITH.2017.22⟩ Communication dans un congrès hal-01581794v1
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩ Communication dans un congrès hal-01490364v1
DynBEX: a Differential Constraint Library for Studying Dynamical Systems Julien Alexandre Dit Sandretto,Alexandre Chapoutot Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria Communication dans un congrès hal-01297273v1
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques Julien Alexandre Dit Sandretto,Alexandre Chapoutot Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France Communication dans un congrès hal-01450917v1
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon Alexandre Chapoutot,Julien Alexandre Dit Sandretto International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩ Communication dans un congrès hal-01383584v1
Appropriate Design Guided by Simulation: An Hovercraft Application Julien Alexandre Dit Sandretto,Douglas Piccani de Souza,Alexandre Chapoutot Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. ⟨10.1145/3022099.3022100⟩ Communication dans un congrès hal-01304012v1
Control of Nonlinear Switched Systems Based on Validated Simulation Adrien Le Coent,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Laurent Fribourg International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. ⟨10.1109/SNR.2016.7479377⟩ Communication dans un congrès hal-01304292v1
Contraction, propagation and bisection on a validated simulation of ODE Julien Alexandre Dit Sandretto,Alexandre Chapoutot Summer Workshop on Interval Methods, Jun 2016, Lyon, France Communication dans un congrès hal-01325068v1
Data-Types Optimization for Floating-Point Formats by Program Transformation Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩ Communication dans un congrès hal-01290292v1
Runge-Kutta Theory and Constraint Programming Julien Alexandre Dit Sandretto,Alexandre Chapoutot International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden Communication dans un congrès hal-01376456v1
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research Walid Taha,Adam Duracz,Yingfu Zeng,Atkinson Kevin,Paul Brauneret al. International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩ Communication dans un congrès hal-01490406v1
Viability kernel computation based on interval methods Dominique Monnet,Luc Jaulin,Jordan Ninin,Alexandre Chapoutot,Julien Alexandre Dit Sandretto Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic Communication dans un congrès hal-01371484v1
Inner and Outer Computation of the Viability Kernel based on Interval Analysis Dominique Monnet,Luc Jaulin,Jordan Ninin,Alexandre Chapoutot,Julien Alexandre Dit Sandretto International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom Communication dans un congrès hal-01371498v1
Intra-procedural Optimization of the Numerical Accuracy of Programs Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot FMICS 2015 - 20th International Workshop on Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩ Communication dans un congrès hal-01164340v1
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. ⟨10.4230/OASIcs.SynCoP.2015.91⟩ Communication dans un congrès hal-01272513v1
Validated Simulation of Differential Algebraic Equations Julien Alexandre Dit Sandretto,Alexandre Chapoutot Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic Communication dans un congrès hal-01164474v1
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩ Communication dans un congrès hal-01133695v1
Optimizing the accuracy of a rocket trajectory simulation by program transformation Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot Proceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), May 2015, Ischia, Italy. pp.1-2 Communication dans un congrès hal-03972769v1
Validated Explicit and Implicit Runge-Kutta Methods Alexandre Chapoutot,Julien Alexandre Dit Sandretto,Olivier Mullier Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic Communication dans un congrès hal-01111240v2
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis Olivier Bouissou,Alexandre Chapoutot,Adel Djaballah,Michel Kieffer 53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩ Communication dans un congrès hal-01073673v1
Set-based Simulation for Design and Verification of Simulink Models Olivier Bouissou,Samuel Mimram,Baptiste Strazzulla,Alexandre Chapoutot Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France Communication dans un congrès hal-02272045v1
Set-based Simulation for Design and Verification of Simulink Models Olivier Bouissou,Samuel Mimram,Baptiste Strazzulla,Alexandre Chapoutot Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France Communication dans un congrès hal-01290286v1
A Statistical Inference Model for the Dynamic Range of LTI Systems Alexandre Chapoutot,Laurent-Stéphane Didier,Fanny Villers 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26 Communication dans un congrès hal-00851282v1
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) Walid Taha,Paul Brauner,Yingfu Zeng,Robert Cartwright,Veronica Gaspeset al. 32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, ⟨10.1109/ICDCSW.2012.72⟩ Communication dans un congrès hal-00819378v1
HySon: Set-based simulation of hybrid systems Olivier Bouissou,Alexandre Chapoutot,Samuel Mimram 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩ Communication dans un congrès hal-00819377v1
Range estimation of floating-point variables in Simulink models Alexandre Chapoutot,Laurent-Stéphane Didier,Fanny Villers Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8 Communication dans un congrès hal-00816115v1
An operational semantics for Simulink's simulation engine Olivier Bouissou,Alexandre Chapoutot 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩ Communication dans un congrès hal-00819373v1
Interval-based Robustness of Linear Parametrized Filters Alexandre Chapoutot,Thibault Hilaire,Philippe Chevrel SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM Communication dans un congrès hal-00706772v1
Mathematical equations as executable models of mechanical systems Yun Zhu,Edwin Rice University Westbrook,Jun Inoue,Alexandre Chapoutot,Cherif Salamaet al. International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. ⟨10.1145/1795194.1795196⟩ Communication dans un congrès hal-01392882v1
Abstract Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou,Yassamine Seladji,Alexandre Chapoutot International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.29-42, ⟨10.1016/j.entcs.2010.09.004⟩ Communication dans un congrès hal-00492483v1
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot SAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. pp.184-200, ⟨10.1007/978-3-642-15769-1_12⟩ Communication dans un congrès hal-00469007v4
Abstract Simulation: a Static Analysis of Simulink Models Alexandre Chapoutot,Matthieu Martel International Conference on Embedded Software and Systems, May 2009, Zhejiang, China. pp.83-92, ⟨10.1109/ICESS.2009.80⟩ Communication dans un congrès hal-00332447v1
Range Estimation of Floating-Point Variables in Simulink Models Alexandre Chapoutot,Laurent-Stéphane Didier,Fanny Villers Second International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States Communication dans un congrès hal-01298874v1
Static Analysis of Simulink Programs Alexandre Chapoutot,Matthieu Martel Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary Communication dans un congrès hal-00819432v1
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques Alexandre Chapoutot,Matthieu Martel Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280 Communication dans un congrès hal-00819434v1
Abstract Frequency Analysis of Synchronous Systems Alexandre Chapoutot,Matthieu Martel Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada Communication dans un congrès hal-00819433v1

Poster de conférence (7)

Towards a Verifiable Linear Programming-based SCVx Algorithm Danil Berrah,Damien Hoareau,Alexandre Chapoutot Inter-Agency GNC V&V Workshop, Jul 2025, Toulouse & Albi, France Poster de conférence hal-05175042v1
A Proof-Assisted Conversion of Signal Temporal Logic Formulas into Negative Normal Form Danil Berrah,François Pessaux,Alexandre Chapoutot Certified Control Synthesis for Robotic Systems, Jun 2025, Thessaloniki, Greece Poster de conférence hal-05133722v1
Spatially Coherent Costmap: A Weakly Supervised Pipeline for Outdoor Traversability Guillaume Thomas,Damien Bouchabou,Tom Ravaud,David Filliat,Alexandre Chapoutot IEEE/RSJ International Conference on Intelligent Robots and Systems - Late Breacking results, Oct 2024, Abu Dhabi, Saudi Arabia. Late Breacking results Poster de conférence hal-05424044v1
Reliable navigation planning implementation on a two-wheeled mobile robot Elise Crépon,Adina M Panchea,Alexandre Chapoutot The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. , 2018, ⟨10.1109/IRC.2018.00035⟩ Poster de conférence hal-01737026v1
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation Olivier Mullier,Alexandre Chapoutot,Julien Alexandre Dit Sandretto nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom. Poster de conférence hal-01316503v1
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems Julien Alexandre Dit Sandretto,Alexandre Chapoutot HSCC, Apr 2016, Vienne, Austria. , HSCC 2016 Poster de conférence hal-01302504v1
Numerical Accuracy Improvement of Programs Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain Poster de conférence hal-04526837v1

Chapitre d'ouvrage (5)

Logical Differential Constraints Based on Interval Boolean Tests Julien Alexandre Dit Sandretto,Alexandre Chapoutot Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩ Chapitre d'ouvrage hal-02146655v1
Constraint-Based Framework for Reasoning with Differential Equations Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩ Chapitre d'ouvrage hal-01954764v1
Distributed control synthesis using Euler's method Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Laurent Fribourg,Florian de Vuystet al. International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩ Chapitre d'ouvrage hal-01593225v1
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods Nasrine Damouche,Matthieu Martel,Alexandre Chapoutot Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩ Chapitre d'ouvrage hal-01272514v1
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods Olivier Bouissou,Alexandre Chapoutot,Adel Djoudi 5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩ Chapitre d'ouvrage istex hal-00819730v1

Pré-publication, Document de travail (4)

Guaranteed cosimulation of Cyber-Physical Systems Adrien Le Coënt,Julien Alexandre Dit Sandretto,Alexandre Chapoutot 2020 Pré-publication, Document de travail hal-02505237v1
Towards a Set-based Signal Temporal Logic Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Pierre-Loïc Garoche 2020 Pré-publication, Document de travail hal-03084701v1
Survey of what DynIbex can do for you Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Olivier Mullier 2018 Pré-publication, Document de travail hal-01927784v1
Robust Motion Planning Based on Sliding Horizon and Validated Simulation * Elliot Brendel,Julien Alexandre Dit Sandretto,Alexandre Chapoutot 2017 Pré-publication, Document de travail hal-01493645v1

Rapport (3)

Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain François Pessaux,Julien Alexandre Dit Sandretto,Alexandre Chapoutot [Research Report] Ensta ParisTech. 2022 Rapport (rapport de recherche) hal-03635298v1
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes Julien Alexandre Dit Sandretto,Alexandre Chapoutot [Research Report] ENSTA ParisTech. 2015 Rapport (rapport de recherche) hal-01107685v6
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou,Alexandre Chapoutot,Samuel Mimram 2013 Rapport hal-00831438v1

Thèse (1)

Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot Génie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩ Thèse tel-00366685v1