Systems Engineering Vision 2020, 2007. ,
Guide to the Systems Engineering Body of Knowledge (SEBoK) ,
Vérification et validation de modèles de systèmes complexes: application à la Modélisation d'Entreprise, 2008. ,
A verification approach from MDE applied to model based systems engineering: XeFFBD dynamic semantics, Complex Systems Design and Management -Proceedings of the 5th International Conference on Complex Systems Design and Management, pp.225-235, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01237138
A modeldriven framework for guided design space exploration, Autom. Softw. Eng, vol.22, issue.3, pp.399-436, 2015. ,
, Cost-efficient methods and processes for safety relevant embedded systems, 2012.
Improving automation in model-driven engineering using examples, 2013. ,
Matlab Simulink User's Guid. R2014b, pp.1-69, 2014. ,
Uppaal in a nutshell, Int. J. Softw. Tools Technol. Transf, vol.1, issue.1-2, pp.134-152, 1997. ,
Coq in a Hurry, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00001173
, Ingénierie système: la vision AFIS pour les années 2020-2025. AFIS (French Association for Systems Engineering), AFIS, 2012.
A Tooled Approach for Designing Executable and Verifiable Modeling Languages, INSIGHT Q. Mag. Int. Counc. Syst. Eng, vol.18, issue.4, pp.31-33, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01377586
Contribution à une méthode outillée pour la conception de langages de modélisation métier interopérables, analysables et prouvables pour l'Ingénierie Système basée, 2016. ,
A language description is more than a metamodel, the 4th International Workshop on Software Language Engineering, 2007. ,
Towards semantical DSMLs for complex or cyberphysical systems, Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01377565
UPSL-SE: A model verification framework for Systems Engineering, Comput. Ind, vol.64, issue.5, pp.581-597, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00804265
Essay on semantics definition in MDE: An instrumented approach for model verification, J. Softw, vol.4, issue.9, pp.943-958, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00371553
Collaboration based on product lifecycles interoperability for extended enterprise, Int. J. Interact. Des. Manuf, vol.4, issue.3, pp.169-179, 2010. ,
Contribution to model verification: operational semantic for System Engineering modeling languages, the 3th National Conference on Software Engineering, pp.88-90, 2014. ,
Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach, the 26th Annual INCOSE International Symposium, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01377575
A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns, Syst. Eng, vol.15, issue.3, pp.321-332, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00804260
Towards automatic graphical concrete syntax generation for domain specific modeling languages | Vers la génération des syntaxes concrétes graphiques pour les langages de modélisation métier, vol.20, pp.67-91, 2015. ,
Experimentation of a Graphical Concrete Syntax Generator for Domain Specific Modeling Languages, the 32th National Conference on INFormatique des ORganisation et Systèmes d'Information et de Décision, pp.197-213, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01377594
A framework for concurrent design of metamodels and diagrams towards an agile method for the synthesis of domain specific graphical modeling languages, Proceedings of the 16th International Conference on Enterprise Information Systems (ICEIS 2014), vol.2, pp.298-306, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01276482
Contribution à la conception simultanée de syntaxes abstraites et de notations graphiques : application à la définition de langages pour l'Ingénierie Système, 2013. ,
, Blackboard systems. Wesly publishing, 1988.
Formal representation and proof of the interpreted sequential machine model, Computer Aided Systems Theory -EUROCAST'97, pp.93-107, 1995. ,
Object Constraint Language (OCL) Specification v2.4, Proceedings of the 20th IFAC World Congress, 2014. ,