| Validated explicit and implicit Runge-Kutta methods JAD Sandretto, A Chapoutot Reliable Computing electronic edition 22, 2016 | 116* | 2016 |
| An operational semantics for Simulink's simulation engine O Bouissou, A Chapoutot ACM SIGPLAN Notices 47 (5), 129-138, 2012 | 87 | 2012 |
| Mathematical equations as executable models of mechanical systems Y Zhu, E Westbrook, J Inoue, A Chapoutot, C Salama, M Peralta, T Martin, ... Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010 | 53 | 2010 |
| Enclosing temporal evolution of dynamical systems using numerical methods O Bouissou, A Chapoutot, A Djoudi NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 49 | 2013 |
| Hyson: Set-based simulation of hybrid systems O Bouissou, S Mimram, A Chapoutot 2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP), 79-85, 2012 | 40 | 2012 |
| Improving the numerical accuracy of programs by automatic transformation N Damouche, M Martel, A Chapoutot International Journal on Software Tools for Technology Transfer 19, 427-448, 2017 | 38 | 2017 |
| Acumen: An open-source testbed for cyber-physical systems research W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ... Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016 | 37 | 2016 |
| Computation of parametric barrier functions for dynamical systems using interval analysis O Bouissou, A Chapoutot, A Djaballah, M Kieffer 53rd IEEE Conference on Decision and Control, 753-758, 2014 | 32 | 2014 |
| Abstract simulation: a static analysis of Simulink models A Chapoutot, M Martel 2009 International Conference on Embedded Software and Systems, 83-92, 2009 | 30 | 2009 |
| Construction of parametric barrier functions for dynamical systems using interval analysis A Djaballah, A Chapoutot, M Kieffer, O Bouissou Automatica 78, 287-296, 2017 | 25 | 2017 |
| Intra-procedural optimization of the numerical accuracy of programs N Damouche, M Martel, A Chapoutot Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 25 | 2015 |
| A core language for executable models of cyber-physical systems (preliminary report) W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ... 2012 32nd International Conference on Distributed Computing Systems …, 2012 | 21 | 2012 |
| 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 |
| Round-off error analysis of explicit one-step numerical integration methods S Boldo, F Faissole, A Chapoutot 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH), 82-89, 2017 | 17 | 2017 |
| 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 | 16 | 2018 |
| 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 |
| Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables. A Chapoutot SAS, 184-200, 2010 | 14 | 2010 |
| 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 |
| Extended reliable robust motion planners AM Panchea, A Chapoutot, D Filliat 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1112-1117, 2017 | 13 | 2017 |
| Transformation of a PID controller for numerical accuracy N Damouche, M Martel, A Chapoutot Electronic Notes in Theoretical Computer Science 317, 47-54, 2015 | 13 | 2015 |
Julien Alexandre dit SandrettoENSTA ParisAdresse e-mail validée de ensta.fr
