, , 2019.
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime -Scalable model-based framework for continuous development and runtime validation of complex systems, Microprocessors and Microsystems, vol.61, pp.86-95, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01810002
The MegaM@Rt2 ECSEL project: MegaModelling at runtime -Scalable model-based framework for continuous development and runtime validation of complex systems, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01810002
, Continuous software engineering: A roadmap and agenda, vol.123, pp.176-189, 2017.
, ISO/IEC/IEEE International Standard -Systems and Software Engineering -Life cycle processes -Requirements engineering, ISO/IEC/IEEE 29148:2018(E), pp.1-104, 2018.
, ISO/IEC Systems and Software Engineering -Systems and software Quality Requirements and Evaluation (SQuaRE) -System and software quality models, pp.1-34, 2011.
Guest editorial to the special issue on success stories in model driven engineering, Sci. Comput. Program, vol.89, pp.69-70, 2014. ,
, OMG: Model Driven Architecture (MDA) Guide rev. 2.0, 2019.
, Advances in Intelligent Systems and Computing: Selected Papers from the 6th international Conference in Software Engineering for Defense Applications, 2018.
An industrial application of robustness testing using aspect-oriented modeling, uml/marte, and search algorithms, Model Driven Engineering Languages and Systems, pp.108-122, 2011. ,
The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003. ,
, , 2019.
Mopcom methodology: Focus on models of computation, Modelling Foundations and Applications, pp.189-200, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00517464
A co-design approach for embedded system modeling and code generation with uml and marte, 2009 Design, Automation Test in Europe Conference Exhibition, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00369036
, Generation of MARTE Allocation Models fromActivity Threads, 2009.
Assessing quality and effort of applying aspect state machines for robustness testing: A controlled experiment, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013. ,
Does aspect-oriented modeling help improve the readability of uml state machines?, Software and Systems Modeling, vol.13, pp.1189-1221, 2014. ,
A survey on uml-based aspect-oriented design modeling, ACM Computing Surveys, vol.43, issue.4, p.33, 2011. ,
Aspect-oriented programming beyond dependency injection, Proceedings of the 19th European Conference on Object-Oriented Programming, 2005. ,
, Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime, Software & Systems Modeling, vol.15, pp.31-69, 2016.
, Models@ run.time, vol.42, pp.22-27, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00733338
Characterization of adaptable interpreted-dsml, Proceedings of the 9th European Conference on Modelling Foundations and Applications, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01909109
Run-time efficient probabilistic model checking, Proceedings of the 33rd International Conference on Software Engineering, 2011. ,
Complementary use of runtime validation and model checking, Proceedings of the 2005 IEEE/ACM International Conference on Computer-aided Design, pp.1052-1059, 2005. ,
, DeCPS Workshop, 22nd International Conference on Reliable Software Technologies -Ada-Europe, 2017.
, OMG: OMG Systems Modeling Language (OMG SysML), Ver. 1.4, 2019.
, OMG: Unified Modeling Language (UML), Ver. 2.5, 2019.
Model repositories at the enterprises and systems scale the modelio constellation solution, 3rd International Conference on Model-Driven Engineering and Software Development (MODEL-SWARD), p.2015, 2015. ,
From natural language requirements to passive test cases using guarded assertions, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018. ,
A black-box approach to latency and throughput analysis, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, p.2017 ,
Extending sysml to explore non-functional requirements: The case of information system design, Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012. ,
Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain, 12th IEEE International Conference on Industrial Informatics, 2014. ,
Sysml modeling of functional andnon-functional requirements foriec61131-3 control systems, Progress in Automation, Robotics and Measuring Techniques, pp.91-100, 2015. ,
Fostering analysis from industrial embedded systems modeling, Handbook of Research on Embedded Systems Design, pp.283-300, 2014. ,
Towards scalable model views on heterogeneous model resources, Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.334-344, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01845976