A Design Pattern to Build Executable DSMLs and Associated V&V Tools, 2012 19th Asia-Pacific Software Engineering Conference, 2012. ,
DOI : 10.1109/APSEC.2012.79
Semantics of a Foundational Subset for Executable UML Models (fUML), v1, 2011. ,
Bridging the Chasm between Executable Metamodeling and Models of Computation, 2012. ,
DOI : 10.1007/978-3-642-36089-3_11
URL : https://hal.archives-ouvertes.fr/hal-00905067
A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998. ,
DOI : 10.1109/43.736561
Modeling Embedded Systems and SoCs, 2004. ,
Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, 2003. ,
DOI : 10.1109/JPROC.2002.805829
A structural approach to operational semantics, 1981. ,
On the use of graph transformations for the formal specification of model interpreters, Journal of Universal Computer Science, vol.9, 2003. ,
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution, Trustworthy Software Development Processes, pp.148-160, 2009. ,
DOI : 10.1007/11568322_5
Semantics of context-free languages, Theory of Computing Systems, pp.127-145, 1968. ,
DOI : 10.1007/BF01692511
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969. ,
DOI : 10.1145/363235.363259
The science of programming, 1981. ,
DOI : 10.1007/978-1-4612-5983-1
The formal semantics of programming languages: an introduction, 1993. ,
An implementation of a translational semantics for an imperative language, CONCUR. LNCS, pp.246-262, 1990. ,
DOI : 10.1007/BFb0039064
Toward a mathematical semantics for computer languages, 1971. ,
A calculus of communicating systems, 1982. ,
DOI : 10.1007/3-540-10235-3
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
Introduction to general net theory, In: Advanced Course: Net Theory and Applications, pp.1-19, 1975. ,
DOI : 10.1007/3-540-10001-6_21
Event structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987. ,
DOI : 10.1007/3-540-17906-2_31
URL : https://hal.archives-ouvertes.fr/hal-00148921
Towards a Mathematical Science of Computation, Information processing, vol.62, pp.21-28, 1962. ,
DOI : 10.1007/978-94-011-1793-7_2
Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation, pp.318-327, 2008. ,
DOI : 10.1109/ICST.2008.15
URL : https://hal.archives-ouvertes.fr/hal-00289188
EMF: Eclipse Modeling Framework, 2008. ,
Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
Eiffel: the language, 1992. ,
Multijava: Modular open classes and symmetric multiple dispatch for java, pp.130-145, 2000. ,
The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010. ,
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894
ECL: the Event Constraint Language, an Extension of OCL with Events, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00721169
Mashup of metalanguages and its implementation in the kermeta language workbench, SoSyM, 2013. ,
TimeSquare: Treat Your Models with Logical Time, LNCS, vol.7304, pp.34-41, 2012. ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
Forwarding in attribute grammars for modular language design, CC'02, pp.128-142, 2002. ,
The JastAdd system ??? modular extensible compiler construction, Science of Computer Programming, vol.69, issue.1-3, pp.14-26, 2007. ,
DOI : 10.1016/j.scico.2007.02.003
From Programming to Modeling-and Back Again. Software, IEEE, vol.28, issue.6, 2011. ,
A meta-environment for generating programming environments, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.176-201, 1993. ,
DOI : 10.1145/151257.151260
TXL: a rapid prototyping system for programming language dialects, Conf. Int Computer Languages, pp.280-285, 1988. ,
Model-integrated computing, Computer, vol.30, issue.4, 1997. ,
DOI : 10.1109/2.585163
MetaEdit+, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.92-93, 2003. ,
DOI : 10.1145/949344.949365
Domain-Specific Development with Visual Studio DSL Tools, 2007. ,
MontiCore: Modular Development of Textual Domain Specific Languages, In: Objects, Components, Models and Patterns. LNBIP, 2008. ,
DOI : 10.1007/978-3-540-69824-1_17
The spoofax language workbench: rules for declarative specification of languages and IDEs, pp.444-463, 2010. ,
Language Modularization and Composition with Projectional Language Workbenches illustrated with MPS, SLE. LNCS, 2010. ,
MULTI-FORMALISM MODELLING AND MODEL EXECUTION, International Journal of Computers and Applications, vol.31, issue.3, pp.193-203, 2009. ,
DOI : 10.2316/Journal.202.2009.3.202-2967
URL : https://hal.archives-ouvertes.fr/hal-00421169
System Modeling and Transformational Design Refinement in ForSyDe, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.23, issue.1, pp.17-32, 2004. ,
DOI : 10.1109/TCAD.2003.819898
Modeling heterogeneous real-time systems in BIP, pp.4-7, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00527491
Semantic Adaptation Using CCSL Clock Constraints, Workshops and Symposia at MODELS 2011, pp.104-118, 2012. ,
DOI : 10.1007/978-3-642-29645-1_12
URL : https://hal.archives-ouvertes.fr/hal-00740801