| Validated explicit and implicit Runge-Kutta methods JAD Sandretto, A Chapoutot Reliable Computing electronic edition 22, 2016 | 129* | 2016 |
| The forward kinematics of cable-driven parallel robots with sagging cables JP Merlet, J Alexandre-dit-Sandretto Cable-Driven Parallel Robots: Proceedings of the Second International …, 2015 | 52 | 2015 |
| Certified calibration of a cable-driven robot using interval contractor programming JAD Sandretto, G Trombettoni, D Daney, G Chabert Computational Kinematics: Proceedings of the 6th International Workshop on …, 2014 | 32 | 2014 |
| Calibration of a fully-constrained parallel cable-driven robot JA Dit Sandretto, D Daney, M Gouttefarde Romansy 19–Robot Design, Dynamics and Control: Proceedings of the 19th CISM …, 2013 | 29 | 2013 |
| ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ... 7th International Workshop on Applied Verification of Continuous and Hybrid …, 2020 | 21 | 2020 |
| Calibration of a fully-constrained parallel cable-driven robot JAD Sandretto, D Daney, M Gouttefarde, C Baradat INRIA, 2012 | 20 | 2012 |
| Validated computation of the local truncation error of runge–kutta methods with automatic differentiation O Mullier, A Chapoutot, J Alexandre dit Sandretto Optimization Methods and Software 33 (4-6), 718-728, 2018 | 19 | 2018 |
| DynBEX: a Differential Constraint Library for Studying Dynamical Systems JAD Sandretto, A Chapoutot Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016 | 19 | 2016 |
| ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ... EPiC Series in Computing 61, 2019 | 16 | 2019 |
| Confirmation of hypothesis on cable properties for cable-driven robots JAD Sandretto, G Trombettoni, D Daney New Trends in Mechanism and Machine Science: Theory and Applications in …, 2013 | 15 | 2013 |
| An improved algorithm for the control synthesis of nonlinear sampled switched systems A Le Coënt, J Alexandre dit Sandretto, A Chapoutot, L Fribourg Formal Methods in System Design 53, 363-383, 2018 | 12 | 2018 |
| ARCH-COMP21 category report: Continuous and hybrid systems with nonlinear dynamics L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ... Proc. of the 8th International Workshop on Applied Verification of …, 2021 | 11 | 2021 |
| Constraint-based framework for reasoning with differential equations J Alexandre dit Sandretto, A Chapoutot, O Mullier Cyber-Physical Systems Security, 23-41, 2018 | 11 | 2018 |
| Control of nonlinear switched systems based on validated simulation A Le Coënt, JA dit Sandretto, A Chapoutot, L Fribourg 2016 International Workshop on Symbolic and Numerical Methods for …, 2016 | 11 | 2016 |
| Experimental validation of a guaranteed nonlinear model predictive control M Fnadi, J Alexandre dit Sandretto Algorithms 14 (8), 248, 2021 | 10 | 2021 |
| Distributed control synthesis using Euler’s method A Le Coënt, J Alexandre dit Sandretto, A Chapoutot, L Fribourg, ... Reachability Problems: 11th International Workshop, RP 2017, London, UK …, 2017 | 10 | 2017 |
| Cyber-physical systems security ÇK Koç Springer, 2018 | 9 | 2018 |
| Validated Explicit and Implicit Runge-Kutta Methods A Chapoutot, JAD Sandretto, O Mullier Small Workshop on Interval Methods, 2015 | 9 | 2015 |
| Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes JAD Sandretto, A Chapoutot ENSTA ParisTech, 2015 | 9 | 2015 |
| Task and motion planning methods: applications and limitations K Zhang, E Lucet, JAD Sandretto, S Kchir, D Filliat 19th International Conference on Informatics in Control, Automation and …, 2022 | 8 | 2022 |
