Author of the publication

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.

 

Other publications of authors with the same name

Building Correct SDN-Based Components from a Global Formal Mode.. CoRR, (2018)Combining Techniques to Verify Service-based Components., , and . MODELSWARD, page 645-656. SciTePress, (2017)Preuve de cohérence de composants Kmelia à l'aide de la méthode B., , and . CAL, volume L-5 of Revue des Nouvelles Technologies de l'Information, page 105-117. Cépaduès-Éditions, (2010)Partial Test Oracle in Model Transformation Testing., , , and . ICMT, volume 7909 of Lecture Notes in Computer Science, page 189-204. Springer, (2013)Preface of the special issue on advances in data-driven engineering., and . Int. J. Gen. Syst., 52 (3): 203-205 (April 2023)Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework., , , and . MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 106-133. Springer, (2018)Alignement des points de vue du système d'information, une approche pragmatique., , , and . INFORSID, page 125-140. (2018)Mapping Component Models on Distributed Architectures: Correctness Checking.. MoDeVVa@MoDELS, volume 1713 of CEUR Workshop Proceedings, page 1-9. CEUR-WS.org, (2016)Toward a Correct Implementation of LwM2M Client with Event-B., , and . ICSOFT, page 172-179. ScitePress, (2020)Mastering Specification Heterogeneity with Multifacet Analysis.. ICST Workshops, page 121-130. IEEE Computer Society, (2008)