( en | de | ru )

 

Disambiguation of "Thirioux, Xavier"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying the Mathematical Library of an UAV Autopilot with Frama-C.

, , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 167-173. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xavier Domont

Xavier Lambin

Xavier Fontaine

Arumainathan Xavier

Xavier Leroy

 

Other publications of authors with the same name

Taylor Series Revisited., and . ICTAC, volume 11884 of Lecture Notes in Computer Science, page 335-352. Springer, (2019)Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code., , , , and . FDL, page 5-16. IEEE, (2018)Refinement Based Validation of an Algorithm for Detecting Distributed Termination., , , , and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 1027-1036. Springer, (2000)Verifying the Mathematical Library of an UAV Autopilot with Frama-C., , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 167-173. Springer, (2021)Machine-Checked Sequencer for Critical Embedded Code Generator., , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 521-540. Springer, (2009)Temporal Logic Based Static Analysis for Non-uniform Behaviours., , and . FMOODS, volume 2884 of Lecture Notes in Computer Science, page 94-108. Springer, (2003)A Verified UAV Flight Plan Generator., , , , and . FormaliSE, page 130-140. IEEE, (2023)Use of formal methods for building qualified code generator for safer automotive systems., , , and . EDCC-CARS, page 53-56. ACM, (2010)Automatically Proving UNITY Safety Properties with Arrays and Quantifiers.. IPPS/SPDP Workshops, volume 1388 of Lecture Notes in Computer Science, page 833-843. Springer, (1998)Integrated Formal Approach for Qualified Critical Embedded Code Generator., , , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 199-201. Springer, (2009)