hol-ocl-A Formal Proof Environment for uml/ocl, Fundamental Approaches to Software Engineering (fase08, pp.97-100, 2008. ,
An extensible encoding of object-oriented data models in hol, Journal of Automated Reasoning, vol.41, pp.219-249, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01214567
Database design for NoSQL systems, Proc. of the 33rd ER Conference, pp.223-231, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01092440
On Better Understanding OCL Collections *or* An OCL Ordered Set is not an OCL Set, Workshops and Symposia 12th Int. Conf. Model Driven Engineering Languages and Systems (MODELS'2009), vol.6002, pp.276-290, 2010. ,
Mogwaï: a framework to handle complex queries on large models, Proc. of the 10th RCIS Conference, pp.225-237, 2016. ,
UMLtoGraphDB: Mapping conceptual schemas to graph databases, Proc. of the 35th ER Conference ,
URL : https://hal.archives-ouvertes.fr/hal-01344015
Available Online at, 2016. ,
Using UML/OCL constraints for relational database design, «UML»'99-The Unified Modeling Language, pp.598-613, 1999. ,
Initiating a benchmark for UML and OCL analysis tools, Proc. of 7th Int. Conf. on Tests and Proofs, vol.7942, pp.115-132, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00815040
USE: A UML-Based Specification Environment for Validating UML and OCL, Science of Computer Programming, vol.69, pp.27-34, 2007. ,
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool, Proc. Modellierung (MODELLIERUNG'2016), vol.254, pp.203-218, 2016. ,
Isabelle/hol-A Proof Assistant for Higher-Order Logic, lncs, vol.2283, 2002. ,
Constructing semantically sound object-logics for UML/OCL based domain-specific languages, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01318156