ENSTA ParisTech U2IS

Unité d'Informatique et d'Ingénierie des Systèmes

English Français

Alexandre Chapoutot


Contact

Address:ENSTA ParisTech - U2IS
828, Boulevard des Maréchaux
91762 Palaiseau Cedex
France
Alexandre Chapoutot
Office:R216
Email:
Tel.:+33 1 8187 2071

Voir ma page personnelle

Ma liste de publication sur HAL

Publications

2013
O. Bouissou, A. Chapoutot and A. Djoudi, "Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods", in NASA Formal Methods, Springer, 2013, pp. 108-123. [bibtex]
2012
W. Taha, P. Brauner, Y. Zeng, R. Cartwright, V. Gaspes, A. Ames, A. Chapoutot, "A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)", in 32nd International Conference on Distributed Computing Systems Workshops, IEEE Computer Society, 2012, pp. 303-308. [bibtex]
W. Taha, P. Brauner, R. Cartwright, V. Gaspes, A. Ames, A. Chapoutot, "A core language for executable models of cyber physical systems (Preliminary Report)", in International Workshop on Cyber-Physical Networking Systems, 2012. [bibtex]
A. Chapoutot, T. Hilaire and P. Chevrel, "Interval-based Robustness of Linear Parametrized Filters", in SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. [bibtex]
A. Chapoutot, L. Didier and F. Villers, "A statistical inference model for the dynamic range of LTI systems", in SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. [bibtex]
A. Chapoutot, L. Didier and F. Villers, "Range estimation of floating-point variables in Simulink models", in Conference on Design and Architectures for Signal and Image Processing, IEEE, 2012, pp. 1-8. [bibtex]
O. Bouissou, Y. Seladji and A. Chapoutot, "Acceleration of the abstract fixpoint computation in numerical program analysis", Journal of Symbolic Computation, 2012, pp. -. [bibtex]
O. Bouissou, A. Chapoutot and S. Mimram, "HySon: Precise Simulation of Hybrid Systems with Imprecise Inputs", in Rapid System Prototyping, IEEE, 2012. [bibtex]
O. Bouissou, A. Chapoutot, "An Operational Semantics for Simulink's Simulation Engine", in Languages, Compilers and Tools for Embeddeed Systems, ACM, 2012. [bibtex]
2011
W. Taha, P. Brauner, R. Cartwright, V. Gaspes, A. Ames, A. Chapoutot, "A core language for executable models of cyber physical systems: work in progress report", SIGBED Rev., vol. 8, no. 2, jun 2011, pp. 39-43. [bibtex]
2010
Y. Zhu, E. Westbrook, J. Inoue, A. Chapoutot, C. Salama, M. Peralta, T. Martin, W. Taha, M. O'Malley, R. Cartwright, A. Ames, R. Bhattacharya, "Mathematical Equations as Executable Models of Mechanical Systems", in ACM/IEEE First International Conference of Cyber-Physical Systems (ICCPS'10), pp. 1-11. [bibtex]
A. Chapoutot, "Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables", in Static Analysis Symposium (SAS'10), Springer, pp. 184-200. [bibtex]
O. Bouissou, Y. Seladji and A. Chapoutot, "Abstract Fixpoint Computations with Numerical Acceleration Methods", Electronic Notes in Theoretical Computer Science, vol. 267, no. 1, 2010, pp. 29 - 42. [bibtex]
2009
A. Chapoutot, M. Martel, "Différentiation automatique et formes de Taylor en analyse statique de programmes numériques", Technique et Science Informatiques (TSI), vol. 28, no. 4, 2009, pp. 503-531. [bibtex]
A. Chapoutot, L. Didier and F. Villers, "Range Estimation of Floating-Point Variable in Simulink Models", in Numerical Software Verification (NSV-II), 2009. [bibtex]
2008
A. Chapoutot, M. Martel, "Static Analysis of Simulink Programs", in Model-driven High-level Programming of Embedded Systems (SLA++P'08). [bibtex]