EMF: Eclipse Modeling Framework, 2008. ,
Model interoperability in building information modelling, Software & Systems Modeling, vol.284, issue.8, pp.99-109, 2012. ,
DOI : 10.1007/s10270-010-0178-4
Lazy Execution of Model-to-Model Transformations, 14th ACM IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS, pp.32-46, 2011. ,
DOI : 10.1007/978-3-540-25935-0_13
URL : https://hal.archives-ouvertes.fr/inria-00609458
Morsa: A Scalable Approach for Persisting and Accessing Large Models, 14th ACM IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS, pp.77-92, 2011. ,
DOI : 10.1145/331697.331760
Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009. ,
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338
Meta Object Facility (MOF) 2.4.1 Core Specification) Final Adopted Specification, 2011. ,
) Final Adopted Specification, Unified Modeling Language (UML) 2.4.1 Infrastructure, 2011. ,
Object Constraint Language (OCL) 2.3.1 Specification, 2012. ,
A lazy evaluator, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages , POPL '76, pp.95-103, 1976. ,
DOI : 10.1145/800168.811543
A systematic study of functional language implementations, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.344-387, 1998. ,
DOI : 10.1145/276393.276397
Models and issues in data stream systems, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, pp.1-16, 2002. ,
DOI : 10.1145/543613.543615
A framework for scalable dissemination-based systems, ACM SIGPLAN Notices, vol.32, issue.10, pp.94-105, 1997. ,
DOI : 10.1145/263700.263725
Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.511-520, 2008. ,
DOI : 10.1145/1368088.1368158
URL : https://hal.archives-ouvertes.fr/hal-01303728
Coinduction in coq, p.603119, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00001174
On model typing, Software and Systems Modeling (SoSyM), pp.401-414, 2007. ,
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547