Ensuring properties of interaction systems, Program analysis and compilation, 2007. ,
Correct-by-construction transformations across design environments for model-based embedded software development, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00181267
Automated conflict-free distributed implementation of component-based models, International Symposium on Industrial Embedded Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00558046
From Event-B Specifications to Programs for Distributed Algorithms, 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00862056
Consistent transformations for software architecture styles of distributed systems, Electronic Notes in Theoretical Computer Science, vol.28, pp.4-25, 2000. ,
Rule-level verification of graph transformations for invariants based on edges' transitive closure, Software Engineering and Formal Methods, pp.106-121, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01178554
pi-arl: An architecture refinement language for formally modelling the stepwise refinement of software architectures, SIGSOFT Softw. Eng. Notes, vol.29, issue.5, pp.1-20, 2004. ,
Handbook of Graph Grammars and Computing by Graph Transformations, Foundations. World Scientific, vol.1, 1997. ,
Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.1â??2, pp.181-224, 1993. ,
Categorical abstract rewriting systems and functoriality of graph transformation, ECEASST, vol.41, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00828532
Compositionality in graph transformation, Automata, Languages and Programming, pp.309-320, 2010. ,
Pattern composition in graph transformation rules, European Workshop on Composition of Model Transformations, 2006. ,