| Validated explicit and implicit Runge-Kutta methods JAD Sandretto, A Chapoutot | 71* | 2016 |
| An operational semantics for Simulink's simulation engine O Bouissou, A Chapoutot ACM SIGPLAN Notices 47 (5), 129-138, 2012 | 66 | 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 | 45 | 2010 |
| Enclosing temporal evolution of dynamical systems using numerical methods O Bouissou, A Chapoutot, A Djoudi NASA Formal Methods Symposium, 108-123, 2013 | 43 | 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 | 32 | 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 | 30 | 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 | 30 | 2015 |
| Abstract simulation: a static analysis of Simulink models A Chapoutot, M Martel 2009 International Conference on Embedded Software and Systems, 83-92, 2009 | 26 | 2009 |
| 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 | 24 | 2014 |
| 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 | 17 | 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 | 17 | 2012 |
| DynBEX: a Differential Constraint Library for Studying Dynamical Systems JAD Sandretto, A Chapoutot | 12 | 2016 |
| 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 |
| Acceleration of the abstract fixpoint computation in numerical program analysis O Bouissou, Y Seladji, A Chapoutot Journal of Symbolic Computation 47 (12), 1479-1511, 2012 | 11 | 2012 |
| Interval slopes as a numerical abstract domain for floating-point variables A Chapoutot International Static Analysis Symposium, 184-200, 2010 | 11 | 2010 |
| Extended reliable robust motion planners AM Panchea, A Chapoutot, D Filliat 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1112-1117, 2017 | 10 | 2017 |
| 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 | 10 | 2016 |
| Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes JAD Sandretto, A Chapoutot | 10 | 2015 |
| 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 | 9 | 2017 |
Julien Alexandre dit SandrettoENSTA ParisAdresse e-mail validée de ensta.fr
