W. , The MegaM@Rt2 ECSEL project: MegaModelling at RuntimeScalable model-based framework for continuous development and runtime validation of complex systems, Microprocess. Microsyst, vol.61, pp.86-95, 2018.

A. Sadovykh, Model-Based System Engineering in Practice: Document Generation-MegaM@Rt2 Project Experience, Proceedings of the 14th Central and Eastern European Software Engineering Conference, vol.9, pp.1-9, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02102852

, MegaMart2 -MegaModelling at Runtime, p.25, 2019.

, ECSEL's Multi-Annual Strategic Plan, 2016.

A. Sadovykh, A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project, Advances in Intelligent Systems and Computing, pp.265-274, 2020.
URL : https://hal.archives-ouvertes.fr/hal-01933464

B. Pérez and I. Porres, Reasoning about UML/OCL class diagrams using constraint logic programming and formula, Information Systems, vol.81, pp.152-177, 2019.

E. Villar, Model-Driven Analysis and Design of IoT Systems, 1st International Workshop on Embedded Software for Industrial IoT, 2018.

E. Cariou, O. L. Goaer, L. Brunschwig, and F. Barbier, A generic solution for weaving business code into executable models, MODELS '18 ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems
URL : https://hal.archives-ouvertes.fr/hal-01912827

V. Muttillo, G. Valente, and L. Pomante, Design Space Exploration for Mixed-Criticality Embedded Systems Considering Hypervisor-Based SW Partitions, 2018.

D. Ciambrone, V. Muttillo, L. Pomante, and G. Valente, HEPSIM: An ESL HW/SW co-simulator/analysis tool for heterogeneous parallel embedded systems, 7th Mediterranean Conference on Embedded Computing (MECO), 2018.

J. Wiik, J. Ersfolk, and M. Walden, A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks, 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018.

J. Vain, D. Truscan, J. Iqbal, and L. Tsiopoulos, On the benefits of using aspect-orientation in UPPAAL timed automata, 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), 2017.

J. L. Medina and E. Villar, Towards MARTE++: an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT age

D. Arcelli, V. Cortellessa, and D. D. Pompeo, Automating Performance Antipattern Detection and Software Refactoring in UML Models, 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019.

D. Arcelli, V. Cortellessa, D. D. Pompeo, R. Eramo, and M. Tucci, Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement, 2019 IEEE International Conference on Software Architecture (ICSA), 2019.

K. Nybom, A. Ashraf, and I. Porres, A Systematic Mapping Study on API Documentation Generation Approaches, 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018.

R. Marinescu, P. Filipovikj, E. P. Enoiu, J. Larsson, and C. Seceleanu, An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models, 29th Nordic Workshop on Programming Theory

R. Marinescu, E. Enoiu, C. Seceleanu, and D. Sundmark, Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, 2017.

F. Siavashi, D. Truscan, and J. Vain, Vulnerability Assessment of Web Services with Model-Based Mutation Testing, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018.

J. Iqbal, D. Truscan, J. Vain, and I. Porres, Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward-induction, Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems -ECBS '17, 2017.

A. Stratis and A. Causevic, A Practical Approach Towards Validating HIL Simulation of a Safety-Critical System, 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017.

H. Bergstrom and E. P. Enoiu, Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, 2017.

E. Enoiu, D. Sundmark, A. Causevic, and P. Pettersson, A Comparative Study of Manual and Automated Testing for Industrial Control Software, 2017 IEEE International Conference on Software Testing, Verification and Validation, 2017.

T. Ahmad, D. Truscan, and I. Porres, Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models, Future Generation Computer Systems, vol.87, pp.910-920, 2018.

A. Diaz, D. Pena, and E. Villar, Short and long distance marker detection technique in outdoor and indoor environments for embedded systems, 2017.

R. Gronback, Eclipse Modeling Project | The Eclipse Foundation, p.25, 2019.

, Modelio Open Source -UML and BPMN modeling tool, p.25, 2019.

G. Daniel, NeoEMF: A multi-database model persistence framework for very large models, Science of Computer Programming, vol.149, pp.9-14, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01436047

H. Bruneliere, J. G. Perez, M. Wimmer, and J. Cabot, EMF Views: A View Mechanism for Integrating Heterogeneous Models, Conceptual Modeling, pp.317-325, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01159205

A. Cicchetti, D. Di-ruscio, R. Eramo, and A. Pierantonio, JTL: A Bidirectional and Change Propagating Transformation Language, pp.183-202, 2011.

P. Desfray, Model repositories at the enterprises and systems scale: the Modelio Constellation solution, 2015 International Conference on Information Systems Security and Privacy (ICISSP)

R. Eramo, A. Pierantonio, and M. Tucci, Enhancing the JTL tool for bidirectional transformations, Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming -Programming'18 Companion, 2018.

V. Cortellessa, R. Eramo, and M. Tucci, Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models, 2018 IEEE International Conference on Software Architecture (ICSA), 2018.

H. Bruneliere, E. Burger, J. Cabot, and M. Wimmer, A Feature-based Survey of Model View Approaches, Software & Systems Modeling, vol.18, issue.3, pp.1931-1952, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01590674

H. Bruneliere, F. Marchand, G. Daniel, and J. Cabot, Towards Scalable Model Views on Heterogeneous Model Resources, ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS '18), pp.334-344
URL : https://hal.archives-ouvertes.fr/hal-01845976

R. Eramo, Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report, 15th European Conference on Modelling Foundations and Applications (ECMFA)
URL : https://hal.archives-ouvertes.fr/hal-02170550

H. Bruneliere, Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap, Software Technologies: Applications and Foundations, pp.536-543, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01890878

, Deliverables -MegaMart2 -MegaModelling at Runtime, p.25, 2019.

, MegaM@Rt2 tool box, p.25, 2019.