| Validated explicit and implicit Runge-Kutta methods JAD Sandretto, A Chapoutot Reliable Computing electronic edition 22, 2016 | 106* | 2016 |
| An operational semantics for simulink's simulation engine O Bouissou, A Chapoutot ACM SIGPLAN Notices 47 (5), 129-138, 2012 | 77 | 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 | 50 | 2010 |
| Enclosing temporal evolution of dynamical systems using numerical methods O Bouissou, A Chapoutot, A Djoudi NASA Formal Methods Symposium, 108-123, 2013 | 48 | 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 (4), 427-448, 2017 | 36 | 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, ... International Internet of Things Summit, 118-130, 2015 | 34 | 2015 |
| 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 | 29 | 2014 |
| Abstract simulation: a static analysis of Simulink models A Chapoutot, M Martel 2009 International Conference on Embedded Software and Systems, 83-92, 2009 | 28 | 2009 |
| Intra-procedural optimization of the numerical accuracy of programs N Damouche, M Martel, A Chapoutot International Workshop on Formal Methods for Industrial Critical Systems, 31-46, 2015 | 23 | 2015 |
| Construction of parametric barrier functions for dynamical systems using interval analysis A Djaballah, A Chapoutot, M Kieffer, O Bouissou Automatica 78, 287-296, 2017 | 22 | 2017 |
| 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 | 20 | 2012 |
| DynBEX: a Differential Constraint Library for Studying Dynamical Systems JAD Sandretto, A Chapoutot Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016 | 15 | 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 | 14 | 2018 |
| 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 | 14 | 2017 |
| Interval slopes as a numerical abstract domain for floating-point variables A Chapoutot International Static Analysis Symposium, 184-200, 2010 | 13 | 2010 |
| Transformation of a PID controller for numerical accuracy N Damouche, M Martel, A Chapoutot Electronic Notes in Theoretical Computer Science 317, 47-54, 2015 | 12 | 2015 |
| Static analysis of Simulink programs A Chapoutot, M Martel Model-driven High-level Programming of Embedded Systems (SLA++ P’08), ENTCS, 2008 | 12 | 2008 |
| 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, ... Proc. of the 6th International Workshop on Applied Verification of …, 2019 | 11 | 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 (3), 363-383, 2018 | 11 | 2018 |
Julien Alexandre dit SandrettoENSTA ParisAdresse e-mail validée de ensta.fr
