Ladder Metamodeling and PLC Program Validation through Time Petri Nets, ECMDA-FA, 2008. ,
Definition of an eXecutable SPEM2.0, Proceedings of the 14th Asia-Pacific Software Engineering Conference, APSEC '07, pp.390-397, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00371555
The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004. ,
DOI : 10.1137/0216062
FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment, ERTS'08, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
Design patterns for metamodels, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.25-32, 2011. ,
DOI : 10.1145/2095050.2095056
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.5255
The Metamodelling Language Calculus: Foundation Semantics for UML, Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, volume 2029 of FASE '01, pp.17-31, 2001. ,
DOI : 10.1007/3-540-45314-8_3
A Generic Tool for Tracing Executions Back to a DSML???s Operational Semantics, ECMFA'11, pp.35-51, 2011. ,
DOI : 10.1007/978-3-642-21470-7_4
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, 2009. ,
DOI : 10.4304/jsw.4.9.943-958
A Property-Driven Approach to Formal Verification of Process Models, Enterprise Information Systems, pp.286-300, 2008. ,
DOI : 10.1007/978-3-540-88710-2_23
Generative Technologies for Model Animation in the TopCased Platform, ECMFA, LNCS, pp.90-103, 2010. ,
DOI : 10.1007/978-3-642-13595-8_9
The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design, Embedded Real Time Software (ERTS'06), pp.25-27, 2006. ,
Design Patterns: Elements of Reusable Object-Oriented Software, 1995. ,
Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004. ,
DOI : 10.1109/MC.2004.172
Model driven design and aspect weaving, Software & Systems Modeling, vol.33, issue.4, pp.209-218, 2008. ,
DOI : 10.1007/s10270-008-0080-5
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation, IFM'02, pp.11-28, 2002. ,
DOI : 10.1007/3-540-47884-1_2
Simulation Modeling and Analysis, 2000. ,
Overview of the Ptolemy project, 2003. ,
Semantics of OCL specified with QVT. Software and System Modeling, pp.399-422, 2008. ,
Matter, mind, and models, Semantic Information Processing, pp.425-432, 1968. ,
Weaving Executability into Object-Oriented Meta-languages, MoDELS'05, pp.264-278, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
[23] Object Management Group Meta Object Facility (MOF) 2.0 Core Specification [24] Object Management Group Unified Modeling Language (UML) 2.1.2 Superstructure An action semantics for MOF 2.0, Object Management Group. UML Testing Profile 1.0 Specification Proceedings of the 2006 ACM symposium on Applied computing, SAC '06, pp.1304-1305, 2005. ,
Formal and Tool Support for Model Driven Engineering with Maude., The Journal of Object Technology, vol.6, issue.9, pp.187-207, 2007. ,
DOI : 10.5381/jot.2007.6.9.a10
Handbook of graph grammars and computing by graph transformation: volume I. foundations, 1997. ,
DOI : 10.1142/3303
Prototyping visual interpreters and debuggers for domainspecific modelling languages, ECMDA-FA, 2008. ,
Using grammarware languages to define operational semantics of modelled languages, TOOLS'09, pp.348-356, 2009. ,
Human Comprehensible and Machine Processable Specifications of Operational Semantics, LNCS, vol.4530, 2007. ,
DOI : 10.1007/978-3-540-72901-3_12
Theory of Modeling and Simulation, Second Edition, 2000. ,