Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation. - Magali Duboisset; François Pinet; Myoung-Ah Kang; Michel Schneider (DEXA Workshops, 2005)

Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles. - Magali Duboisset; François Pinet; Myoung-Ah Kang; Michel Schneider (ER, 2005)

A General Framework to Implement Topological Relations on Composite Regions. - Magali Duboisset; François Pinet; Myoung-Ah Kang; Michel Schneider (DEXA, 2007)

P-OCLcbm: a language to specify topological constraints on composite regions: definition and comparison with trcr. - Magali Duboisset; François Pinet; Michel Schneider (RCIS, 2007)

Using UML and OCL to maintain the consistency of spatial data in environmental information systems. - François Pinet; Magali Duboisset; Vincent Soulignac (Environ. Model. Softw., 2007)

Un système de contraintes d'intégrité OCL pour les bases de données spatiales. Application à un système d'information pour l'épandage agricole. (A system of OCL integrity constraints for spatial databases. Application to an agricultural spreading information system). - Magali Duboisset (2007)

Modélisation de contraintes d'intégrité spatiales avec OCL. - François Pinet; Magali Duboisset; Michel Schneider (Rev. Int. Géomatique, 2009)