Mis à jour le

Number of items: 9.

Conference or Workshop Item

Ziat, Ghiles and Mullier, Olivier and Sandretto, Julien Alexandre dit and Garion, Christophe and Chapoutot, Alexandre and Thirioux, Xavier. Abstract domains for constraint programming with differential equations. (2020) In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 17 November 2020 - 17 November 2020 (United States).

Thirioux, Xavier and Maffart, Alexis. Taylor Series Revisited. (2019) In: International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), 31 October 2019 - 4 November 2019 (Hammamet, Tunisia).

Davy, Guillaume and Garion, Christophe and Garoche, Pierre-Loic and Roux, Pierre and Thirioux, Xavier. Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. (2018) In: Forum on Specification & Design Languages (FDL 2018), 10 September 2018 - 12 September 2018 (Munich, Germany).

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier. Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Garoche, Pierre-Loïc and Kahsai, Temesghen and Thirioux, Xavier. Hierarchical State Machines as Modular Horn Clauses. (2016) In: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), 3 April 2016 (Eindhoven, Netherlands).

Dieumegard, Arnaud and Garoche, Pierre-Loïc and Kahsai, Temesghen and Taillar, Alice and Thirioux, Xavier. Compilation of synchronous observers as code contracts. (2015) In: 30th Annual ACM Symposium on Applied Computing (SAC 2015), 13 April 2015 - 17 April 2015 (Salamanca, Spain).

Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier. La composition de services dans le monde asynchrone Formalisation et vérification en TLA+. (2015) In: 14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), 9 June 2015 - 10 June 2015 (Bordeaux, France).

Garoche, Pierre-Loïc and Howar, Folk and Kahsai, Temesghen and Thirioux, Xavier. Testing-Based Compiler Validation for Synchronous Languages. (2014) In: 6th International Symposium on NASA Formal Methods (NFM 2014), 29 April 2014 - 1 May 2014 (Houston, Texas, United States).


Thirioux, Xavier and Maffart, Alexis. Taylor Series Revisited. (2020) [Report] (Unpublished)

This list was generated on Tue Apr 13 05:15:19 2021 CEST.