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. ,
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 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
Reasoning about UML/OCL class diagrams using constraint logic programming and formula, Information Systems, vol.81, pp.152-177, 2019. ,
Model-Driven Analysis and Design of IoT Systems, 1st International Workshop on Embedded Software for Industrial IoT, 2018. ,
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
Design Space Exploration for Mixed-Criticality Embedded Systems Considering Hypervisor-Based SW Partitions, 2018. ,
HEPSIM: An ESL HW/SW co-simulator/analysis tool for heterogeneous parallel embedded systems, 7th Mediterranean Conference on Embedded Computing (MECO), 2018. ,
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. ,
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. ,
Towards MARTE++: an enhanced UML-based language to Model and Analyse Real-Time and Embedded Systems for the IoT age ,
Automating Performance Antipattern Detection and Software Refactoring in UML Models, 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2019. ,
Exploiting Architecture/Runtime Model-Driven Traceability for Performance Improvement, 2019 IEEE International Conference on Software Architecture (ICSA), 2019. ,
A Systematic Mapping Study on API Documentation Generation Approaches, 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2018. ,
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models, 29th Nordic Workshop on Programming Theory ,
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. ,
Vulnerability Assessment of Web Services with Model-Based Mutation Testing, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018. ,
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 Practical Approach Towards Validating HIL Simulation of a Safety-Critical System, 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017. ,
Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, 2017. ,
A Comparative Study of Manual and Automated Testing for Industrial Control Software, 2017 IEEE International Conference on Software Testing, Verification and Validation, 2017. ,
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. ,
Short and long distance marker detection technique in outdoor and indoor environments for embedded systems, 2017. ,
Eclipse Modeling Project | The Eclipse Foundation, p.25, 2019. ,
, Modelio Open Source -UML and BPMN modeling tool, p.25, 2019.
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
EMF Views: A View Mechanism for Integrating Heterogeneous Models, Conceptual Modeling, pp.317-325, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01159205
JTL: A Bidirectional and Change Propagating Transformation Language, pp.183-202, 2011. ,
Model repositories at the enterprises and systems scale: the Modelio Constellation solution, 2015 International Conference on Information Systems Security and Privacy (ICISSP) ,
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. ,
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models, 2018 IEEE International Conference on Software Architecture (ICSA), 2018. ,
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
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
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
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.