Software analysis: A roadmap, Proceedings of the Conference on The Future of Software Engineering, pp.133-145, 2000. ,
Source code analysis: A road map, Future of Software Engineering (FOSE'07), pp.104-119, 2007. ,
No silver bullet: Essence and accidents of software engineering, IEEE computer, vol.20, issue.4, pp.10-19, 1987. ,
Formalizing the well-formedness rules of EJB3QL in UML+ OCL, vol.4364, p.66, 2007. ,
An approach for the systematic development of domainspecific languages, Software: Practice and Experience, vol.39, issue.15, 2009. ,
Matters of (meta-) modeling, Software and System Modeling, vol.5, issue.4, pp.369-385, 2006. ,
The Java Virtual Machine Specification. Second edn, 1999. ,
Information technology-Common Language Infrastructure (CLI) Partitions I to VI, 2006. ,
Encoding the java virtual machine's instruction set, Proceedings of the Fifth Bytecode Workshop. Electronic Notes in Theoretical Computer Science ,
Domain-Specific Modeling: Enabling Full Code Generation, 2008. ,
Model-driven simulation of a maritime surveillance system, Proceedings of the 4th European Conference on Model Driven Architecture Foundations and Applications, vol.13, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00456481
Model driven development of multi-agent systems, Proceedings of the European Conference on Model Driven Architecture-Foundations and Applications (ECMDA'2006), 2006. ,
Improving security using extensible lightweight static analysis, IEEE SOFTWARE, 2002. ,
ECMFA'2010) This preprint is provided by the contributing authors to ensure timely dissemination of scholarly and technical work. 14, Proceedings of the 6th European Conference on Modelling Foundations and Applications, vol.21, pp.45-53, 2004. ,
An extensible meta-model for program analysis, IEEE Transactions on Software Engineering, vol.33, pp.592-607, 2007. ,
A prolog-based approach to representing and querying software engineering models, Proceedings of the Workshop on Visual Languages and Logic, pp.71-83, 2007. ,