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

Une approche formelle de l'interopérabilité en modélisation orientée métier., , , and . Technique et Science Informatiques, 29 (4-5): 453-478 (2010)Attribute Computations in the DPoPb Graph Transformation Engine., , , , and . ECEASST, (2010)Une approche pour réduire la complexité du flot de contrôle dans les programmes C., , , and . Tech. Sci. Informatiques, 21 (7): 1009-1032 (2002)Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach., , , and . CEE-SET, volume 7054 of Lecture Notes in Computer Science, page 150-163. Springer, (2009)Typed lambda-terms in categorical attributed graph transformation, , and . AMMSE, volume 56 of EPTCS, page 33-47. (2011)Towards Interoperability in Component Based Development with a Family of DSLs., , , and . ECSA, volume 5292 of Lecture Notes in Computer Science, page 148-163. Springer, (2008)Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification., , and . MODELSWARD, page 62-74. SciTePress, (2013)An Approach of Model Transformation Based on Attribute Grammars., and . OOIS, volume 2817 of Lecture Notes in Computer Science, page 412-424. Springer, (2003)Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques., , and . Innov. Syst. Softw. Eng., 6 (1-2): 21-28 (2010)Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées., , and . Symposium on Programming, volume 167 of Lecture Notes in Computer Science, page 13-22. Springer, (1984)