2023
Journal articles
- titre
- Validated B-series and Runge-Kutta pairs
- auteur
- Julien Alexandre Dit Sandretto
- article
- Numerical Algorithms, 2023, ⟨10.1007/s11075-023-01697-5⟩
- Accès au bibtex
-
- titre
- Fourier Features in Reinforcement Learning with Neural Networks
- auteur
- David Brellmann, David Filliat, Goran Frehse
- article
- Transactions on Machine Learning Research Journal, 2023
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- TRAJECTORY MONITORING FOR A DRONE USING INTERVAL ANALYSIS
- auteur
- Sylvain Largent, Julien Alexandre Dit Sandretto
- article
- Workshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV'22), Philippe Martinet, Oct 2023, Kyoto, Japan
- Accès au texte intégral et bibtex
-
- titre
- Navigation among movable obstacles using machine learning based total time cost optimization
- auteur
- Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, David Filliat
- article
- IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2023, Detroit (MI), United States
- Accès au texte intégral et bibtex
-
- titre
- A ROS-based kinematic calibration tool for serial robots
- auteur
- Caroline Pascal, Olivier Doaré, Alexandre Chapoutot
- article
- 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2023, Detroit, Michigan, United States
- Accès au texte intégral et bibtex
-
- titre
- Data-driven Reachability using Christoffel Functions and Conformal Prediction
- auteur
- Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi
- article
- The 12th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2023), Sep 2023, Limassol, Cyprus
- Accès au texte intégral et bibtex
-
Book sections
- titre
- A review of classical and learning based approaches in task and motion planning
- auteur
- Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
- article
- Informatics in Control, Automation and Robotics, LNCS-836, Springer International Publishing, pp.83-99, 2023, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-031-48303-5_5⟩
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Set-Based B-Series
- auteur
- Julien Alexandre Dit Sandretto
- article
- Mathematics , 2022, 10 (17), pp.3165. ⟨10.3390/math10173165⟩
- Accès au bibtex
-
- titre
- Algorithms for Reliable Estimation, Identification and Control
- auteur
- Andreas Rauh, Luc Jaulin, Julien Alexandre Dit Sandretto
- article
- Algorithms, 2022, 15 (8), pp.276. ⟨10.3390/a15080276⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Task and motion planning methods: applications and limitations
- auteur
- Kai Zhang, Eric Lucet, Julien Alexandre Dit Sandretto, Selma Kchir, David Filliat
- article
- ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics, Jul 2022, Lisbonne, Portugal. pp.476-483, ⟨10.5220/0011314000003271⟩
- Accès au texte intégral et bibtex
-
- titre
- Successive Convexification for Optimal Control with Signal Temporal Logic Specifications
- auteur
- Yuanqi Mao, Behcet Acikmese, Pierre-Loïc Garoche, Alexandre Chapoutot
- article
- 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Hybrid Systems and Contracts with Zélus and DynIbex Zeldyn: a Compilation and Verification Toolchain
- auteur
- François Pessaux, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- [Research Report] Ensta ParisTech. 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- Experimental Validation of a Guaranteed Nonlinear Model Predictive Control
- auteur
- Mohamed Fnadi, Julien Alexandre Dit Sandretto
- article
- Algorithms, 2021, 14 (8), pp.248. ⟨10.3390/a14080248⟩
- Accès au bibtex
-
- titre
- Validated Trajectory Tracking using Flatness
- auteur
- Julien Alexandre Dit Sandretto, Olivier Mullier
- article
- Acta Cybernetica, 2021, 25 (1), pp.85-99. ⟨10.14232/actacyb.285729⟩
- Accès au bibtex
-
- titre
- Confidence-based Contractor, Propagation and Potential Clouds for Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- Acta Cybernetica, 2021, 25 (1), pp.49-68. ⟨10.14232/actacyb.285177⟩
- Accès au bibtex
-
- titre
- Set Propagation Techniques for Reachability Analysis
- auteur
- Matthias Althoff, Goran Frehse, Antoine Girard
- article
- Annual Review of Control, Robotics, and Autonomous Systems , 2021, 4 (1), ⟨10.1146/annurev-control-071420-081941⟩
- Accès au texte intégral et bibtex
-
- titre
- Prospects on Solving an Optimal Control Problem with Bounded Uncertainties on Parameters using Interval Arithmetics
- auteur
- Etienne Bertin, Elliot Brendel, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Acta Cybernetica, 2021, pp.1-25. ⟨10.14232/actacyb.285798⟩
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed master for interval-based cosimulation
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Software and Systems Modeling, 2021, ⟨10.1007/s10270-020-00858-7⟩
- Accès au bibtex
-
Conference papers
- titre
- Constraint-based Verification of Formation Control
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat
- article
- 2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
- Accès au bibtex
-
- titre
- ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Julien Alexandre Dit Sandretto, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Christophe Garion, Xavier Thirioux, Ghiles Ziat, Luca Geretti, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David Sanders, Christian Schilling, Mark Wetzlinger
- article
- 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
- Accès au bibtex
-
- titre
- Spatio-temporal constrained zonotopes for validation of optimal control problems
- auteur
- Etienne Bertin, Bruno Hérissé, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- CDC 2021 : 60th Conference on Decision and Control, Dec 2021, Austin, United States
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed Identification of Viscous Friction for a Nonlinear Inverted Pendulum Through Interval Analysis and Set Inversion
- auteur
- Mohamed Fnadi, Julien Alexandre Dit Sandretto, Gabriel Ballet, Laurent Pribourg
- article
- 2021 American Control Conference (ACC), May 2021, New Orleans, France. pp.3920-3926, ⟨10.23919/ACC50511.2021.9483185⟩
- Accès au bibtex
-
Books
- titre
- Concepts and Semantics of Programming Languages 2
- auteur
- Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge
- article
- ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩
- Accès au bibtex
-
- titre
- Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
- auteur
- Thérèse Hardin, Mathieu Jaume, François Pessaux, Véronique Viguié Donzeau-Gouge
- article
- ISTE Wiley, 2021, Print ISBN:9781786305305 |Online ISBN:9781119824121. ⟨10.1002/9781119824121⟩
- Accès au bibtex
-
- titre
- Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
- auteur
- Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
- article
- ISTE Editions, 2021, 9781784057022
- Accès au bibtex
-
- titre
- Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
- auteur
- Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
- article
- ISTE Editions, 2021, 9781784057015
- Accès au bibtex
-
2020
Journal articles
- titre
- Optimal Switching Instants for the Control of Hybrid Systems
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Acta Cybernetica, 2020, 24 (3), pp.449-465. ⟨10.14232/actacyb.24.3.2020.10⟩
- Accès au bibtex
-
- titre
- Interval-Based Simulation of Zélus IVPs Using DynIbex
- auteur
- Jason Brown, François Pessaux
- article
- Acta Cybernetica, 2020, pp.1 - 16. ⟨10.14232/actacyb.285246⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Abstract domains for constraint programming with differential equations
- auteur
- Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, Xavier Thirioux
- article
- NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
- Accès au bibtex
-
- titre
- Cosimulation-based control synthesis
- auteur
- Adrien Le Coent, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
- Accès au bibtex
-
- titre
- ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David Sanders, Christian Schilling
- article
- ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩
- Accès au bibtex
-
Book sections
- titre
- Set-Membership Computation of Integrals with Uncertain Endpoints
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto
- article
- Numerical Computations: Theory and Algorithms Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II,, pp.169-181, 2020, ⟨10.1007/978-3-030-40616-5_13⟩
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- Towards a Set-based Signal Temporal Logic
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
- article
- 2020
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed cosimulation of Cyber-Physical Systems
- auteur
- Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods
- auteur
- Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
- article
- IEEE Transactions on Computers, 2019, ⟨10.1109/TC.2019.2917902⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
- auteur
- Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
- article
- 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Prospects on the application of necessary optimality conditions on the resolution of the Goddard problem with unknown bounded parameters using interval arithmetics
- auteur
- Etienne Bertin, Elliot Brendel, Bruno Hérissé, Alexandre Chapoutot, Julien Alexandre Dit Sandretto
- article
- Summer Workshop on Interval methods, Jul 2019, Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- Computation of integrals with interval endpoints
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto
- article
- SWIM 2019, Jul 2019, Versailles - Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- Confidence-based Contractor, Propagation and Potential Cloud for Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- Summer Workshop on Interval Methods 2019, Jul 2019, Palaiseau, France
- Accès au texte intégral et bibtex
-
- titre
- Set-membership computation of integrals with uncertain endpoints
- auteur
- Olivier Mullier, Julien Alexandre Dit Sandretto
- article
- NUMTA 2019, Jun 2019, Le Castella village, Italy
- Accès au texte intégral et bibtex
-
- titre
- Falsification of hybrid systems using symbolic reachability and trajectory splicing
- auteur
- Bogomolov Sergiy, Goran Frehse, Gurung Amit, Li Dongxu, Martius Georg, Ray Rajarshi
- article
- HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Montreal, Canada
- Accès au bibtex
-
- titre
- JuliaReach: a toolbox for set-based reachability
- auteur
- Bogomolov Sergiy, Forets Marcelo, Goran Frehse, Potomkin Kostiantyn, Schilling Christian
- article
- HSCC '19: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2019, Apr 2019, Montreal, Canada
- Accès au bibtex
-
- titre
- ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
- auteur
- Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'Ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
- article
- ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montreal (Canada), Canada. pp.1--13, ⟨10.29007/RJWN⟩
- Accès au bibtex
-
- titre
- ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- auteur
- Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David Sanders, Christian Schilling
- article
- ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
- Accès au bibtex
-
Book sections
- titre
- Logical Differential Constraints Based on Interval Boolean Tests
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot
- article
- Kearfott R., Batyrshin I., Reformat M., Ceberio M., Kreinovich V. IFSA/NAFIPS 2019 2019: Fuzzy Techniques: Theory and Applications, 1000, Springer, Cham, pp.788-792, 2019, ⟨10.1007/978-3-030-21920-8_70⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2019
- Accès au bibtex
-
- titre
- Runge-Kutta Theory and Constraint Programming (Extended version)
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2019
- Accès au bibtex
-
2018
Journal articles
- 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, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩
- Accès au texte intégral et bibtex
-
- 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. ⟨10.1504/IJIEI.2018.091016⟩
- Accès au 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, 2018, ⟨10.1080/10556788.2018.1459620⟩
- Accès au texte intégral et bibtex
-
- titre
- An Interval-based Sliding Horizon Motion Planning Method
- auteur
- Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot
- article
- IFAC-PapersOnLine, 2018, 51 (16), pp.296-301. ⟨10.1016/j.ifacol.2018.08.050⟩
- Accès au bibtex
-
Conference papers
- titre
- Optimal switching instants for the Control of Hybrid Systems
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- 11th Summer Workshop on Interval Methods (SWIM), Jul 2018, Rostock, Germany
- Accès au texte intégral et bibtex
-
- titre
- Reliable NonLinear Model-Predictive Control via Validated Simulation
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2018 Annual American Control Conference (ACC), Jun 2018, Milwaukee, France. pp.609-614
- Accès au bibtex
-
- titre
- Validated Runge-Kutta Methods for Initial Value Problems
- auteur
- Julien Alexandre Dit Sandretto
- article
- ANODE, Feb 2018, Auckland, New Zealand
- Accès au bibtex
-
- titre
- Reliable motion planner evaluated on a mobile robot
- auteur
- Elise Crépon, Adina M Panchea, Alexandre Chapoutot
- article
- International Workshop on New Frontiers in Computational Robotics, Jan 2018, Laguna Hills, California, United States. ⟨10.1109/IRC.2018.00085⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Constraint-Based Framework for Reasoning with Differential Equations
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- Çetin Kaya Koç. Cyber-Physical Systems Security, Springer International Publishing, pp.23-41, 2018, ⟨10.1007/978-3-319-98935-8_2⟩
- Accès au bibtex
-
- titre
- Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta
- auteur
- Julien Alexandre Dit Sandretto, Jian Wan
- article
- Reachability Problems, pp.1-14, 2018
- Accès au bibtex
-
- titre
- Verification of Hybrid Systems
- auteur
- Laurent Doyen, Goran Frehse, George Pappas, André Platzer
- article
- Handbook of Model Checking, Springer International Publishing, pp.1047-1110, 2018, 978-331910575-8; 978-331910574-1. ⟨10.1007/978-3-319-10575-8_30⟩
- Accès au bibtex
-
Poster communications
- titre
- Reliable navigation planning implementation on a two-wheeled mobile robot
- auteur
- Elise Crépon, Adina M Panchea, Alexandre Chapoutot
- article
- The Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States. , 2018, ⟨10.1109/IRC.2018.00035⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Compiling Programs and Proofs: FoCaLiZe Internals
- auteur
- François Pessaux, Damien Doligez
- article
- [Research Report] Ensta ParisTech. 2018
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Survey of what DynIbex can do for you
- auteur
- Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
- article
- 2018
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Solving over-constrained systems of non-linear interval equations – And its robotic application
- auteur
- Julien Alexandre Dit Sandretto, Milan Hladïk
- article
- Applied Mathematics and Computation, 2017, 313, pp.180 - 195. ⟨10.1016/j.amc.2017.05.077⟩
- Accès au bibtex
-
- 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, 2017, 19, pp.427-448. ⟨10.1007/s10009-016-0435-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Construction of parametric barrier functions for dynamical systems using interval analysis
- auteur
- Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
- article
- Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩
- Accès au texte intégral et bibtex
-
- titre
- Runge–Kutta Theory and Constraint Programming
- auteur
- Julien Alexandre Dit Sandretto
- article
- Reliable Computing Journal, 2017
- Accès au texte intégral et 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
- Accès au bibtex
-
Conference papers
- titre
- Extended Reliable Robust Motion Planners
- auteur
- Adina M Panchea, Alexandre Chapoutot, David Filliat
- article
- 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
- Accès au texte intégral et bibtex
-
- titre
- Adjoint Function as Bisection Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
- auteur
- Julien Alexandre Dit Sandretto
- article
- OMS, Dec 2017, La Havane, Cuba
- Accès au texte intégral et 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. ⟨10.1109/ARITH.2017.22⟩
- Accès au texte intégral et 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
-
- 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
-
- titre
- BoxRRT* -A Reliable Motion Planner
- auteur
- Adina M 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
- Accès au texte intégral et 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
-
- titre
- Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)
- auteur
- Nikolaos Kekatos, Marcelo Forets, Goran Frehse
- article
- ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems., Apr 2017, Pittsburgh, United States
- Accès au texte intégral et 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. ⟨10.1109/IRC.2017.17⟩
- Accès au texte intégral et bibtex
-
Book sections
- 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, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Reliable NonLinear Model-Predictive Control via Validated Simulation
- auteur
- Julien Alexandre Dit Sandretto
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- Constructing Verification Models of Nonlinear Simulink Systems via Syntactic Hybridization
- auteur
- Nikolaos Kekatos, Marcelo Forets, Goran Frehse
- article
- 2017
- Accès au texte intégral et bibtex
-
- 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
-
2016
Journal articles
- 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
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
Conference papers
- 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
- Accès au texte intégral et 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. pp.52-62, ⟨10.1007/978-3-319-54292-8_5⟩
- Accès au 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. ⟨10.1145/3022099.3022100⟩
- Accès au texte intégral et 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
-
- 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
- Accès au 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
- Accès au texte intégral et 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. ⟨10.1109/SNR.2016.7479377⟩
- Accès au 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. ⟨10.1109/CoDIT.2016.7593626⟩
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- Scalable Verification of Hybrid Systems
- auteur
- Goran Frehse
- article
- Systems and Control [cs.SY]. Univ. Grenoble Alpes, 2016
- Accès au texte intégral et bibtex
-
Poster communications
- 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.
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Numerical Accuracy Improvement of Programs
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- CGO '16: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
- Accès au texte intégral et bibtex
-
Reports
- titre
- Babix: an Educational Multitask Kernel for Arduino Due
- auteur
- François Pessaux
- article
- [Technical Report] Work not affiliated to any institution. 2016
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Transformation of a PID Controller for Numerical Accuracy
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- Electronic Notes in Theoretical Computer Science, 2015, 317, pp.47-54. ⟨10.1016/j.entcs.2015.10.006⟩
- Accès au texte intégral et bibtex
-
Conference papers
- 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
- International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
- Accès au 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
-
- titre
- Intra-procedural Optimization of the Numerical Accuracy of Programs
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Intra-procedural Optimization of the Numerical Accuracy of Programs
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- FMICS 2015 - 20th International Workshop on Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
- Accès au texte intégral et 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
- Accès au 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
- Accès au 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
-
- titre
- Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩
- Accès au bibtex
-
- titre
- Optimizing the accuracy of a rocket trajectory simulation by program transformation
- auteur
- Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
- article
- Proceedings of the 12th ACM International Conference on Computing Frontiers (CF'15), May 2015, Ischia, Italy. pp.1-2
- Accès au texte intégral et 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
-
Book sections
- 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⟩
- Accès au bibtex
-
Reports
- 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
-
2014
Journal articles
- titre
- Interval Methods for Model Qualification: Methodology and Advanced Application
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- Mathematics in Computer Science, 2014, 8 (3-4), pp.479-493. ⟨10.1007/s11786-014-0210-0⟩
- Accès au bibtex
-
Conference papers
- 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, ⟨10.1109/cdc.2014.7039472⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Analysis of Timing Effects on Closed-loop Properties of Control Software
- auteur
- Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Wöhrle
- article
- 35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy
- Accès au bibtex
-
- titre
- FoCaLiZe: Inside an F-IDE
- auteur
- François Pessaux
- article
- Workshop F-IDE 2014, May 2014, Grenoble, France. ⟨10.4204/EPTCS.149.7⟩
- Accès au texte intégral et 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 (ERTS² 2014), Feb 2014, TOULOUSE, France
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney, Gilles Chabert
- article
- Federico Thomas; Alba Perez Gracia. Computational Kinematics, 15, Springer Netherlands, pp.209-217, 2014, Mechanisms and Machine Science, 978-94-007-7213-7. ⟨10.1007/978-94-007-7214-4_24⟩
- Accès au texte intégral et bibtex
-
Lectures
- titre
- Programming and Proving: Practice with FoCaLiZe
- auteur
- François Pessaux
- article
- Doctoral. Rennes, France. 2014, pp.44
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science
- auteur
- Julien Alexandre Dit Sandretto, Cyprien Nicolas
- article
- CAR - 8th National Conference on "Control Architecure of Robots", Jun 2013, Angers, France
- Accès au texte intégral et bibtex
-
Book sections
- 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
-
- titre
- Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- Viadero, Fernando; Ceccarelli, Marco. New Trends in Mechanism and Machine Science, Mechanisms and Machine Science (7), Springer Netherlands, pp.85-93, 2013, Theory and Applications in Engineering, 978-94-007-4901-6. ⟨10.1007/978-94-007-4902-3_9⟩
- Accès au texte intégral et bibtex
-
Reports
- 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
-
Theses
- titre
- Étalonnage des robots à câbles : identification et qualification
- auteur
- Julien Alexandre Dit Sandretto
- article
- Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4059⟩
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Acceleration of the abstract fixpoint computation in numerical program analysis
- auteur
- Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
- article
- Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩
- Accès au bibtex
-
Conference papers
- 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. pp.1-8
- Accès au 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, ⟨10.1109/RSP.2012.6380694⟩
- Accès au bibtex
-
- titre
- ML Dependency Analysis for Assessors
- auteur
- François Pessaux, Vincent Benayoun, Catherine Dubois, Philippe Ayrault
- article
- Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
- Accès au texte intégral et 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
- Accès au 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
- Accès au bibtex
-
- titre
- Confirmation of Hypothesis on Cable Properties for Cable-Driven Robots
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- EUCOMES: European Conference on Mechanism Science, Sep 2012, Santander, Spain
- Accès au texte intégral et 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, ⟨10.1109/ICDCSW.2012.72⟩
- Accès au 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, ⟨10.1145/2248418.2248437⟩
- Accès au bibtex
-
Reports
- titre
- Interval Methods for Model Qualification: Methodology and Advanced Application
- auteur
- Julien Alexandre Dit Sandretto, Gilles Trombettoni, David Daney
- article
- [Research Report] RR-7880, INRIA. 2012, pp.23
- Accès au texte intégral et bibtex
-
- titre
- Calibration of a fully-constrained parallel cable-driven robot
- auteur
- Julien Alexandre Dit Sandretto, David Daney, Marc Gouttefarde, Cédric Baradat
- article
- [Research Report] RR-7879, INRIA. 2012, pp.21
- Accès au texte intégral et bibtex
-
2011
Journal articles
- 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, 2011, 8 (2), pp.39-43. ⟨10.1145/2000367.2000376⟩
- Accès au bibtex
-
Conference papers
- titre
- Monitoring Dynamical Signals While Testing Timed Aspects of a System
- auteur
- Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen
- article
- 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩
- Accès au texte intégral et bibtex
-
- titre
- SpaceEx: Scalable Verification of Hybrid Systems
- auteur
- Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
- article
- CAV 2011 - 23rd International Conference on Computer Aided Verification, Jul 2011, Snowbird, UT, United States. pp.379-395, ⟨10.1007/978-3-642-22110-1_30⟩
- Accès au bibtex
-
2010
Conference papers
- 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. pp.184-200, ⟨10.1007/978-3-642-15769-1_12⟩
- Accès au texte intégral et 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. pp.29-42, ⟨10.1016/j.entcs.2010.09.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Mathematical equations as executable models of mechanical systems
- auteur
- Yun Zhu, Edwin Rice University 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. ⟨10.1145/1795194.1795196⟩
- Accès au bibtex
-
2009
Journal articles
- 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, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩
- Accès au bibtex
-
- titre
- Development life cycle of critical software under FoCal
- auteur
- Philippe Ayrault, Thérèse Hardin, François Pessaux
- article
- Electronic Notes in Theoretical Computer Science, 2009, 243, pp.15-31. ⟨10.1016/j.entcs.2009.07.003⟩
- Accès au bibtex
-
Conference papers
- titre
- Development of a Generic Voter under FoCal
- auteur
- Philippe Ayrault, Thérèse Hardin, François Pessaux
- article
- TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩
- Accès au texte intégral et bibtex
-
- 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. pp.83-92, ⟨10.1109/ICESS.2009.80⟩
- Accès au texte intégral et 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
- Accès au bibtex
-
Book sections
- titre
- Tools for the Analysis of Hybrid Models
- auteur
- Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
- article
- Claude Jard, Olivier H. Roux. Communicating Embedded Systems: Software and Design, Hermès, 2009, Wiley-ISTE, 978-1-84821-143-8
- Accès au bibtex
-
2008
Conference papers
- titre
- Trusted Software within Focal
- auteur
- Philippe Ayrault, Matthieu Carlier, David Delahaye, Catherine Dubois, Damien Doligez, Lionel Habib, Thérèse Hardin, Mathieu Jaume, Charles Morisset, François Pessaux, Renaud Rioboo, Pierre Weis
- article
- C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179
- Accès au texte intégral et bibtex
-
- 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
-
Book sections
- titre
- Outils pour l'analyse des modèles hybrides
- auteur
- Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
- article
- Olivier H. Roux, Claude Jard. Approches formelles des systèmes embarqués communicants, Hermès, 2008, Traité IC2, série Informatique et systèmes d'information
- Accès au bibtex
-
Theses
- 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
- auteur
- Alexandre Chapoutot, Matthieu Martel
- article
- Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280
- Accès au bibtex
-
2006
Conference papers
- titre
- Recent progress in continuous and hybrid reachability analysis
- auteur
- Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler
- article
- IEEE International Symposium on Computer-Aided Control Systems Design 2006, Oct 2006, Munich, Germany. pp.1582 - 1587, ⟨10.1109/CACSD-CCA-ISIC.2006.4776877⟩
- Accès au bibtex
-
- 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
-
2000
Journal articles
- titre
- Type-based analysis of uncaught exceptions
- auteur
- Xavier Leroy, François Pessaux
- article
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
- Accès au texte intégral et bibtex
-
1999
Conference papers
- titre
- Type-based analysis of uncaught exceptions
- auteur
- François Pessaux, Xavier Leroy
- article
- POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276 - 290, ⟨10.1145/292540.292565⟩
- Accès au texte intégral et bibtex
-
1998
Conference papers
- titre
- OCamlDoom: ML for 3D action games
- auteur
- François Pessaux
- article
- ACM SIGPLAN Workshop on ML, Sep 1998, Baltimore, United States
- Accès au texte intégral et bibtex
-
Reports
- titre
- Type-Based Analysis of Uncaught Exceptions
- auteur
- Xavier Leroy, François Pessaux
- article
- [Research Report] RR-3541, INRIA. 1998
- Accès au texte intégral et bibtex
-