The MegaM@Rt2 ECSEL project: MegaModelling at Runtime -Scalable model-based framework for continuous development and runtime validation of complex systems, MICPRO, vol.61, pp.86-95, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01810002
The B-book -assigning programs to meanings, 2005. ,
Exploiting Architecture/Runtime Model-driven Traceability for Performance Improvement, ICSA, 2019. ,
Towards seamless hybrid graphical-textual modelling for uml and profiles, Modelling Foundations and Applications, pp.20-33, 2017. ,
Mining Process Models from Workflow logs, EDBT, pp.467-483, 1998. ,
, Model Traceability. IBM Systems Journal, vol.45, issue.3, pp.515-526, 2006.
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.13-23, 2015. ,
, A Feature-based Survey of Model View Approaches. SoSyM, pp.1-22, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590674
MoDisco: A Model Driven Reverse Engineering Framework, JIST, vol.56, issue.8, pp.1012-1032, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00972632
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap -Report on the MDE@DeRun 2018 workshop, Proc. of STAF 2018 Collocated Workshops, 2018. ,
Towards Scalable Model Views on Heterogeneous Model Resources, MODELS, pp.334-344, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01845976
Modeling Complex Systems. Graduate Texts in Comtemporary Physics, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00126264
EMF Views: A View Mechanism for Integrating Heterogeneous Models, ER, pp.317-325, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01159205
JTL: A bidirectional and change propagating transformation language, SLE Proc, pp.183-202, 2010. ,
, Common Trace Format
Towards the Efficient Development of Model Transformations Using Model Weaving and Matching Transformations, SoSyM, vol.8, issue.3, pp.305-324, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00483446
Engineering a DSL for Software Traceability, SLE Proc, pp.151-167, 2008. ,
Modeling Cyber-Physical Systems, Proc. of the IEEE, vol.100, pp.13-28, 2012. ,
Modeling and Verification using UML Statecharts: a Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking, 2011. ,
Xtext: implement your language faster than the quick and dirty way, SPLASH/OOPSLA, pp.307-309, 2010. ,
Enhancing the JTL tool for bidirectional transformations, Conf. Companion of Programming, pp.36-41, 2018. ,
Inter-DSL Coordination Support by Combining Megamodeling and Model Weaving, SIGAPP, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00534353
Establishing Correspondences between Models with the Epsilon Comparison Language, ECMDA-FA, pp.146-157, 2009. ,
Formally checking large data sets in the railways, DS-Event-B Workshop, 2012. ,
Metamodeling Runtime Models, MODELS, pp.209-223, 2010. ,
Applying a formal method in industry: A 25-year trajectory, SBMF, pp.70-87, 2017. ,
Modeling Runtime Behavior in Framework-based Applications, ECOOP, pp.429-451, 2006. ,
Rigorous identification and encoding of trace-links in model-driven engineering, SOSYM, vol.10, issue.4, pp.469-487, 2011. ,
Polack. The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering, IEEE ICECCS 2009, pp.162-171, 2009. ,
Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006. ,
Towards a Generic Solution for Traceability in MDD, ECMDA Traceability Workshop (ECMDA-TW), pp.41-50, 2006. ,