Skip to Main content Skip to Navigation


hal-01450917v1  Conference papers
Julien Alexandre Dit SandrettoAlexandre Chapoutot. DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France
hal-01373666v1  Journal articles
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Improving the numerical accuracy of programs by automatic transformation
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, ⟨10.1007/s10009-016-0435-0⟩
...
hal-01583836v1  Conference papers
Elliot BrendelJulien Alexandre Dit SandrettoAlexandre Chapoutot. Robust Motion Planning Based on Sliding Horizon and Validated Simulation
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
hal-01598851v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Numerical Accuracy Improvement by Interprocedural Program Transformation
International Workshop on Software and Compilers for Embedded Systems, Jun 2017, Sankt Goar, Germany. ⟨10.1145/3078659.3078662⟩
hal-03035228v1  Conference papers
Adrien Le CoentJulien Alexandre Dit SandrettoAlexandre Chapoutot. Cosimulation-based control synthesis
Workshop on Formal Co-Simulation of Cyber-Physical Systems, Sep 2020, Amsterdam, Netherlands. ⟨10.1007/978-3-030-67220-1_24⟩
...
hal-01583834v1  Conference papers
Adrien BisuttiJulien Alexandre Dit SandrettoAlexandre ChapoutotRémi Delmas. Interval-based QuickXplain Algorithm
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
hal-01099016v1  Journal articles
Quentin ColombetFlorian BrandnerAlain Darte. Studying Optimal Spilling in the Light of SSA
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11-4 (47), pp.26. ⟨10.1145/2685392⟩
hal-01371498v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
hal-03068260v1  Conference papers
Ghiles ZiatOlivier MullierJulien Alexandre Dit SandrettoChristophe GarionAlexandre Chapoutot et al.  Abstract domains for constraint programming with differential equations
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⟩
...
hal-01493576v1  Conference papers
Adina PancheaAlexandre ChapoutotDavid Filliat. Extended Reliable Robust Motion Planners
56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. ⟨10.1109/CDC.2017.8263805⟩
...
hal-01574921v1  Conference papers
Adina PancheaAlexandre ChapoutotDavid Filliat. BoxRRT* -A Reliable Motion Planner
10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory, Jun 2017, Manchester, United Kingdom
...
hal-01593225v1  Book sections
Adrien Le CoëntJulien Alexandre Dit SandrettoAlexandre ChapoutotLaurent FribourgFlorian de Vuyst et al.  Distributed control synthesis using Euler's method
International Workshop on Reachability Problems, Lecture Notes in Computer Science (10506), pp.118-131, 2017, ⟨10.1007/978-3-319-67089-8_9⟩
hal-01490406v1  Conference papers
Walid TahaAdam DuraczYingfu ZengAtkinson KevinPaul Brauner et al.  Acumen: An Open-Source Testbed for Cyber-Physical Systems Research
International Internet of Things Summit, Oct 2015, Rome, Italy. pp.118-130, ⟨10.1007/978-3-319-47063-4_11⟩
hal-01371484v1  Conference papers
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
...
hal-01111966v1  Journal articles
Jean-Baptiste Apoung-KamgaPascal HaveJean HouotMichel KernAdrien Semin. Reactive Transport in Porous Media
ESAIM: Proceedings, EDP Sciences, 2009, CEMRACS 2008 - Modelling and Numerical Simulation of Complex Fluids, 28, pp.227 - 245. ⟨10.1051/proc/2009049⟩
hal-02167586v1  Conference papers
Fabian ImmlerMatthias AlthoffLuis BenetAlexandre ChapoutotXin Chen et al.  ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montréal, Canada. pp.41-19
hal-03068407v1  Conference papers
Luca GerettiJulien Alexandre Dit SandrettoMatthias AlthoffLuis BenetAlexandre Chapoutot et al.  ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Jul 2020, Berlin, Germany. pp.49-21, ⟨10.29007/zkf6⟩