Publications HAL de Alexandre,Chapoutot

2018

Article dans une revue

titre
Numerical program optimisation by automatic improvement of the accuracy of computations
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
International Journal of Intelligent Engineering Informatics, 2018, 6 (1/2), pp.115-145
Accès au bibtex
BibTex
titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Optimization Methods and Software, Taylor & Francis, 2018, 〈10.1080/10556788.2018.1459620〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01498372/file/articleAD16-hal.pdf BibTex

Communication dans un congrès

titre
Reliable motion planner evaluated on a mobile robot
auteur
Pierre-André Crépon, Adina Panchea, Alexandre Chapoutot
article
International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. 2018, 〈10.1109/IRC.2018.00085〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01737032/file/root.pdf BibTex

Poster

titre
Reliable navigation planning implementation on a two-wheeled mobile robot
auteur
Pierre-André Crépon, Adina Panchea, Alexandre Chapoutot
article
The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. 2018, 〈http://irc.asia.edu.tw/2018/〉. 〈10.1109/IRC.2018.00035〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01737026/file/root.pdf BibTex

Pré-publication, Document de travail

titre
Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods
auteur
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01883843/file/article_hal_uo.pdf BibTex

2017

Article dans une revue

titre
An Improved Algorithm for the Control Synthesis of Nonlinear Sampled Switched Systems
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
Formal Methods in System Design, Springer Verlag, In press, 〈10.1007/s10703-017-0305-8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01399337/file/template-hal.pdf BibTex
titre
Construction of parametric barrier functions for dynamical systems using interval analysis
auteur
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
article
Automatica, Elsevier, 2017, 78, pp.287 - 296. 〈10.1016/j.automatica.2016.12.013〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01164307/file/main.pdf BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Journal of Software Engineering for Robotics, 2017, 8 (1), pp.78-88. 〈http://joser.unibg.it/index.php?journal=joser&page=article&op=view&path%5B%5D=116〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Extended Reliable Robust Motion Planners
auteur
Adina Panchea, Alexandre Chapoutot, David Filliat
article
56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. IEEE, 2017, 〈http://cdc2017.ieeecss.org〉. 〈10.1109/CDC.2017.8263805〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01493576/file/root-hal.pdf BibTex
titre
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods
auteur
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
article
24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. 〈http://arith24.arithsymposium.org/〉. 〈10.1109/ARITH.2017.22〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01581794/file/arith_hal.pdf BibTex
titre
BoxRRT* -A Reliable Motion Planner
auteur
Adina Panchea, Alexandre Chapoutot, David Filliat
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom. 〈http://www.aerospace.manchester.ac.uk/our-research/ukim/news-and-events/swim-smart-2017/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01574921/file/Swim2017.pdf BibTex
titre
Interval-based QuickXplain Algorithm
auteur
Adrien Bisutti, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Rémi Delmas
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01583834/file/quickxplain-continuous.pdf BibTex
titre
Robust Motion Planning Based on Sliding Horizon and Validated Simulation
auteur
Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01583836/file/SwimSmart2017.pdf BibTex
titre
Numerical Accuracy Improvement by Interprocedural Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. 〈10.1145/3078659.3078662〉
Accès au bibtex
BibTex
titre
Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. 〈http://icrc.asia.edu.tw〉. 〈10.1109/IRC.2017.17〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01490364/file/irc17-hal.pdf BibTex

Chapitre d'ouvrage

titre
Distributed control synthesis using Euler's method
auteur
Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg, Florian De Vuyst, Ludovic Chamoin
article
International Workshop on Reachability Problems, 2017, 〈10.1007/978-3-319-67089-8_9〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01593225/file/euler-hal.pdf BibTex

Pré-publication, Document de travail

titre
Robust Motion Planning Based on Sliding Horizon and Validated Simulation *
auteur
Elliot Brendel, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01493645/file/plannif-hal.pdf BibTex

2016

Article dans une revue

titre
Improving the numerical accuracy of programs by automatic transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, 〈10.1007/s10009-016-0435-0〉
Accès au bibtex
BibTex
titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22, 〈http://interval.louisiana.edu/reliable-computing-journal/volume-22/reliable-computing-22-pp-078-103.pdf〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01243053/file/implicit_rk.pdf BibTex
titre
Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22, 〈http://interval.louisiana.edu/reliable-computing-journal/volume-22/reliable-computing-22-pp-056-077.pdf〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01243044/file/main_dae.pdf BibTex

Communication dans un congrès

titre
Runge-Kutta Theory and Constraint Programming
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden. 〈http://www.math.uu.se/scan2016/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01376456/file/abstract-rk.pdf BibTex
titre
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
International Workshop on Numerical Software Verification, Jul 2016, Toronto, Canada. Springer Verlag, Lecture Notes in Computer Science, 10152, pp.52-62, International Workshop on Numerical Software Verification. 〈http://nsv2016.pages.ist.ac.at〉. 〈10.1007/978-3-319-54292-8_5〉
Accès au bibtex
BibTex
titre
Appropriate Design Guided by Simulation: An Hovercraft Application
auteur
Julien Alexandre Dit Sandretto, Douglas Piccani de Souza, Alexandre Chapoutot
article
Workshop on Model-Driven Robot Software Engineering, Jul 2016, Leipzig, Germany. 〈http://st.inf.tu-dresden.de/MORSE16/〉. 〈10.1145/3022099.3022100〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01304012/file/morse_version.pdf BibTex
titre
Contraction, propagation and bisection on a validated simulation of ODE
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Summer Workshop on Interval Methods, Jun 2016, Lyon, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01325068/file/ctc.pdf BibTex
titre
DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. 〈http://afadl2016.conf.citi-lab.fr〉
Accès au bibtex
BibTex
titre
DynBEX: a Differential Constraint Library for Studying Dynamical Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Conference on Hybrid Systems: Computation and Control (HSCC 2016), Apr 2016, Vienne, Austria. 2016, 〈http://www.cs.ox.ac.uk/conferences/hscc2016/index.html〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01297273/file/dynibex-poster.pdf BibTex
titre
Control of Nonlinear Switched Systems Based on Validated Simulation
auteur
Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
article
International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR’16), Apr 2016, Vienne, Austria. 2016, 〈https://snr2016.pages.ist.ac.at〉. 〈10.1109/SNR.2016.7479377〉
Accès au bibtex
BibTex
titre
Data-Types Optimization for Floating-Point Formats by Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. 〈http://www.codit2016.com〉. 〈10.1109/CoDIT.2016.7593626〉
Accès au bibtex
BibTex

Poster

titre
Validated Computation of the Local Truncation Error of Runge-Kutta Methods with Automatic Differentiation
auteur
Olivier Mullier, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
nternational Conference on Algorithmic Differentiation, Sep 2016, Oxford, United Kingdom. 〈http://www.autodiff.org/ad16/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01316503/file/article.pdf BibTex
titre
DynIBEX: a Differential Constraint Library for Studying Dynamical Systems
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
HSCC, Apr 2016, Vienne, Austria. HSCC 2016, 〈http://www.cs.ox.ac.uk/conferences/hscc2016/〉
Accès au texte intégral et bibtex
https://hal-ensta.archives-ouvertes.fr/hal-01302504/file/Poster_A0.pdf BibTex

2015

Article dans une revue

titre
Transformation of a PID Controller for Numerical Accuracy
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 317, pp.47-54. 〈http://linkinghub.elsevier.com/retrieve/pii/S157106611500047X〉. 〈10.1016/j.entcs.2015.10.006〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
auteur
Walid Taha, Adam Duracz, Yingfu Zeng, Atkinson Kevin, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecny, Jun Inoue, Anita Sant’anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron Ames, Veronica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
article
Benny Mandler; Johann Marquez-Barja; Radu-Laurentiu Vieriu; Miguel Elias Mitre Campista; Dagmar Cagáňová; Hakima Chaouchi; Sherali Zeadally; Mohamad Badra; Stefano Giordano; Maria Fazio; Andrey Somov. International Internet of Things Summit, Oct 2015, Rome, Italy. Springer, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 169, pp.118-130, 〈http://link.springer.com/book/10.1007/978-3-319-47063-4〉. 〈10.1007/978-3-319-47063-4_11〉
Accès au bibtex
BibTex
titre
Inner and Outer Computation of the Viability Kernel based on Interval Analysis
auteur
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
Accès au bibtex
BibTex
titre
Viability kernel computation based on interval methods
auteur
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 2015
Accès au bibtex
BibTex
titre
Validated Simulation of Differential Algebraic Equations
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. 2015
Accès au bibtex
BibTex
titre
Validated Explicit and Implicit Runge-Kutta Methods
auteur
Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier
article
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal-ensta.archives-ouvertes.fr/hal-01111240/file/chapoutot_et_al_grk.pdf BibTex
titre
Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
ACM International Conference on Computing Frontiers, May 2015, Ischia, Italy. 〈10.1145/2742854.2742894〉
Accès au bibtex
BibTex
titre
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
article
Workshop on Synthesis of Complex Parameters, Apr 2015, Londres, United Kingdom. 〈10.4230/OASIcs.SynCoP.2015.91〉
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Intra-procedural Optimization of the Numerical Accuracy of Programs
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Formal Methods for Industrial Critical Systems, 9128, Springer Verlag, 2015, Lecture Notes in Computer Science, 978-3-319-19457-8. 〈10.1007/978-3-319-19458-5_3〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01164340/file/salsa_DMC.pdf BibTex
titre
Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
auteur
Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
article
Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. 〈10.1007/978-3-319-27436-2_9〉. 〈http://link.springer.com/chapter/10.1007%2F978-3-319-27436-2_9〉
Accès au bibtex
BibTex

Rapport

titre
Validated Solution of Initial Value Problem for Ordinary Differential Equations based on Explicit and Implicit Runge-Kutta Schemes
auteur
Julien Alexandre Dit Sandretto, Alexandre Chapoutot
article
[Research Report] ENSTA ParisTech. 2015
Accès au texte intégral et bibtex
https://hal-ensta.archives-ouvertes.fr/hal-01107685/file/report_rk.pdf BibTex

2014

Communication dans un congrès

titre
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis
auteur
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
article
53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, 2014, 〈10.1109/cdc.2014.7039472 〉
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-01073673/file/main.pdf BibTex
titre
Set-based Simulation for Design and Verification of Simulink Models
auteur
Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot
article
Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01290286/file/bouissou_et_al_erts_14.pdf BibTex

2013

Chapitre d'ouvrage

titre
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
auteur
Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
article
5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, 〈10.1007/978-3-642-38088-4_8〉
Accès au bibtex
BibTex

Rapport

titre
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
auteur
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00831438/file/ghyson.pdf BibTex

2012

Article dans une revue

titre
Acceleration of the abstract fixpoint computation in numerical program analysis
auteur
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
article
Journal of Symbolic Computation, Elsevier, 2012, 47 (12), pp.1413-1560. 〈10.1016/j.jsc.2011.12.050〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Range estimation of floating-point variables in Simulink models
auteur
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
article
Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. IEEE, pp.1-8, 2012
Accès au bibtex
BibTex
titre
HySon: Set-based simulation of hybrid systems
auteur
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
article
23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, 2012, 〈10.1109/RSP.2012.6380694〉
Accès au bibtex
BibTex
titre
A Statistical Inference Model for the Dynamic Range of LTI Systems
auteur
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
article
15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26, 2012
Accès au bibtex
BibTex
titre
Interval-based Robustness of Linear Parametrized Filters
auteur
Alexandre Chapoutot, Thibault Hilaire, Philippe Chevrel
article
SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM, 2012
Accès au bibtex
BibTex
titre
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
auteur
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
article
32nd International Conference on Distributed Computing Systems Workshops, Jun 2012, Macau, China. pp.129-138, 2012, 〈10.1109/ICDCSW.2012.72〉
Accès au bibtex
BibTex
titre
An operational semantics for Simulink's simulation engine
auteur
Olivier Bouissou, Alexandre Chapoutot
article
13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, 2012, 〈10.1145/2248418.2248437〉
Accès au bibtex
BibTex

2011

Article dans une revue

titre
A core language for executable models of cyber physical systems: work in progress report
auteur
Walid Taha, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot
article
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, 8 (2), pp.39-43. 〈10.1145/2000367.2000376〉
Accès au bibtex
BibTex

2010

Communication dans un congrès

titre
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
auteur
Alexandre Chapoutot
article
SAS 2010 - 17th Static Analysis Symposium, Sep 2010, Perpignan, France. Springer, 6337, pp.184-200, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-15769-1_12〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00469007/file/main.pdf BibTex
titre
Abstract Fixpoint Computations with Numerical Acceleration Methods
auteur
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
article
International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. 267 (1), pp.29-42, 2010, 〈10.1016/j.entcs.2010.09.004〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00492483/file/main.pdf BibTex
titre
Mathematical equations as executable models of mechanical systems
auteur
Yun Zhu, Edwin Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif Salama, Marisa Peralta, Travis Martin, Walid Taha, Robert Cartwright, Aaron Ames, Raktim Bhattacharya
article
International Conference on Cyber-Physical Systems, Apr 2010, Stockholm, Sweden. 2010, 〈http://iccps.acm.org/2010/〉. 〈10.1145/1795194.1795196〉
Accès au bibtex
BibTex

2009

Article dans une revue

titre
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
auteur
Alexandre Chapoutot, Matthieu Martel
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, 28 (4), pp.503-531. 〈10.3166/tsi.28.503-531〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
Abstract Simulation: a Static Analysis of Simulink Models
auteur
Alexandre Chapoutot, Matthieu Martel
article
International Conference on Embedded Software and Systems, May 2009, Zhejiang, China. International Conference on Embedded Software and Systems, pp.83-92, 2009, 〈10.1109/ICESS.2009.80〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00332447/file/as_chapoutot_martel.pdf BibTex
titre
Range Estimation of Floating-Point Variables in Simulink Models
auteur
Alexandre Chapoutot, Laurent-Stéphane Didier, Fanny Villers
article
Second International Workshop on Numerical Software Verification (NSV II), Apr 2009, San Francisco, CA, United States. Second International Workshop on Numerical Software Verification (NSV II)
Accès au bibtex
BibTex

2008

Communication dans un congrès

titre
Static Analysis of Simulink Programs
auteur
Alexandre Chapoutot, Matthieu Martel
article
Model-driven High-level Programming of Embedded Systems, Apr 2008, Budapest, Hungary
Accès au bibtex
BibTex

Thèse

titre
Simulation abstraite : une analyse statique de modèles Simulink
auteur
Alexandre Chapoutot
article
Génie logiciel [cs.SE]. Ecole Polytechnique X, 2008. Français
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/tel-00366685/file/phd_chapoutot.pdf BibTex

2007

Communication dans un congrès

titre
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
auteur
Alexandre Chapoutot, Matthieu Martel
article
Marie-Laure Potet and Pierre-Yves Schobbens and Hubert Toussaint and Germain Saval. Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. Presses Universitaires de Namur, pp.261-280, 2007
Accès au bibtex
BibTex

2006

Communication dans un congrès

titre
Abstract Frequency Analysis of Synchronous Systems
auteur
Alexandre Chapoutot, Matthieu Martel
article
Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2006, Ottawa, Canada
Accès au bibtex
BibTex