| Validated explicit and implicit Runge-Kutta methods JAD Sandretto, A Chapoutot Reliable Computing electronic edition 22, 2016 | 114* | 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 | 44 | 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 | 30 | 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 | 26 | 2013 |
| Calibration of a fully-constrained parallel cable-driven robot JAD Sandretto, D Daney, M Gouttefarde, C Baradat INRIA, 2012 | 19 | 2012 |
| DynBEX: a Differential Constraint Library for Studying Dynamical Systems JAD Sandretto, A Chapoutot Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016 | 18 | 2016 |
| 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 | 15 | 2018 |
| 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 |
| ARCH-COMP20 category report: Continuous and hybrid systems with nonlinear dynamics L Geretti, J Alexandre Dit Sandretto, M Althoff, L Benet, A Chapoutot, ... Proc. of the 7th International Workshop on Applied Verification of …, 2020 | 14 | 2020 |
| 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 | 13 | 2019 |
| 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 | 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 |
| Constraint-based framework for reasoning with differential equations J Alexandre dit Sandretto, A Chapoutot, O Mullier Cyber-Physical Systems Security, 23-41, 2018 | 10 | 2018 |
| 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 |
| 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 |
| Cyber-physical systems security ÇK Koç Springer, 2018 | 8 | 2018 |
| Formal verification of robotic behaviors in presence of bounded uncertainties JA dit Sandretto, A Chapoutot, O Mullier 2017 First IEEE International Conference on Robotic Computing (IRC), 81-88, 2017 | 8 | 2017 |
| Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis JA dit Sandretto, A Chapoutot, O Mullier 2nd International Workshop on Synthesis of Complex Parameters, 91, 2015 | 8 | 2015 |
| Experimental validation of a guaranteed nonlinear model predictive control M Fnadi, J Alexandre dit Sandretto Algorithms 14 (8), 248, 2021 | 7 | 2021 |
