Validated explicit and implicit Runge-Kutta methods JAD Sandretto, A Chapoutot Reliable Computing electronic edition 22, 2016 | 143* | 2016 |
An operational semantics for Simulink's simulation engine O Bouissou, A Chapoutot ACM SIGPLAN Notices 47 (5), 129-138, 2012 | 95 | 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 | 55 | 2010 |
Enclosing temporal evolution of dynamical systems using numerical methods O Bouissou, A Chapoutot, A Djoudi NASA Formal Methods Symposium, 108-123, 2013 | 50 | 2013 |
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 | 44 | 2017 |
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 | 41 | 2012 |
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 | 38 | 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 | 33 | 2014 |
Construction of parametric barrier functions for dynamical systems using interval analysis A Djaballah, A Chapoutot, M Kieffer, O Bouissou Automatica 78, 287-296, 2017 | 32 | 2017 |
Abstract simulation: a static analysis of Simulink models A Chapoutot, M Martel 2009 International Conference on Embedded Software and Systems, 83-92, 2009 | 31 | 2009 |
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 | 26 | 2015 |
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 | 22 | 2020 |
DynBEX: a Differential Constraint Library for Studying Dynamical Systems JAD Sandretto, A Chapoutot Conference on Hybrid Systems: Computation and Control (HSCC 2016), 2016 | 22 | 2016 |
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 | 22 | 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 | 20 | 2018 |
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 | 19 | 2019 |
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 | 18 | 2017 |
Constraint-based framework for reasoning with differential equations J Alexandre dit Sandretto, A Chapoutot, O Mullier Cyber-Physical Systems Security, 23-41, 2018 | 14 | 2018 |
Transformation of a PID controller for numerical accuracy N Damouche, M Martel, A Chapoutot Electronic Notes in Theoretical Computer Science 317, 47-54, 2015 | 14 | 2015 |
Interval slopes as a numerical abstract domain for floating-point variables A Chapoutot Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 14 | 2010 |