publication venue for
- Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons. 30:309-337. 2011
- Mobilité et bases de données. 22:497-518. 2003
- Mobilité et bases de données. Etat de l'art et perspectives - 1ère partie. Action spécifique CNRS « Mobilité/Accès aux données ». 22:351-377. 2003