PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Thirioux, Xavier"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.

, , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 235-250. Springer, (2014)

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.

No persons found for author name Thirioux, Xavier
add a person with the name Thirioux, Xavier
 

Other publications of authors with the same name

Correct-by-construction model composition: Application to the Invasive Software Composition method., , , and . FESCA, volume 147 of EPTCS, page 108-122. (2014)Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code., , , , and . FDL, page 5-16. IEEE, (2018)Simple and Efficient Translation from LTL Formulas to Buchi Automata.. Electron. Notes Theor. Comput. Sci., 66 (2): 145-159 (2002)Abstract Interpretation-based Static Safety for Actors., , and . JSW, 2 (3): 87-98 (2007)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 Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators., , , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 235-250. Springer, (2014)Machine-Checked Sequencer for Critical Embedded Code Generator., , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 521-540. Springer, (2009)Expérimentations en Coq pour un générateur de code qualifiable., , , and . Technique et Science Informatiques, 30 (4): 409-440 (2011)Hierarchical State Machines as Modular Horn Clauses., , and . HCVS@ETAPS, volume 219 of EPTCS, page 15-28. (2016)Taylor Series Revisited., and . ICTAC, volume 11884 of Lecture Notes in Computer Science, page 335-352. Springer, (2019)