Cyber physical systems: Design challenges, 11th IEEE ISORC, pp.363-369, 2008. ,
Modeling challenges for CPS systems, IEEE/ACM International Workshop on SEsCPS, pp.1-12, 2015. ,
Cyber-physical systems, The Impact of Control Technology, vol.12, issue.1, pp.161-166, 2011. ,
Cyber-physical systems: the next computing revolution, Design Automation Conference, pp.731-736, 2010. ,
Design pattern oriented development of model transformations, Computer Languages, Systems & Structures, vol.46, pp.106-139, 2016. ,
Model-driven software development: technology, engineering, management, 2006. ,
Modeling languages: Syntax, semantics and all that stuff, 2000. ,
Cyber-physical systems-are computing foundations adequate, NSF workshop on cyber-physical systems: research motivation, techniques and roadmap, vol.2, pp.1-9, 2006. ,
Modeling cyber-physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.13-28, 2011. ,
Multi-view power modeling based on UML, MARTE and SysML, 38th Euromicro Conference on Software Engineering and Advanced Applications, pp.17-20, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00720735
SysML-sec: A sysML environment for the design and development of secure embedded systems, APCOSEC, pp.8-11, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-02288385
Model-driven engineering for designing safe and secure embedded systems, pp.4-7, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01974731
SysML-Sec: A model driven approach for designing safe and secure systems, MODELSWARD, pp.655-664, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02287013
Meta-models combination for reusing verification techniques, 7th International Conference on Model-Driven Engineering and Software Development, pp.39-50, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02080768
MBSE with the ARCADIA Method and the Capella Tool, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01258014
Website of capella/arcadia, 2019. ,
Virtual Prototyping of Automotive Systems: Towards Multi-level Design Space Exploration, Conference on Design & Architectures for Signal & Image Processing (DASIP'2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01365609
Model-driven performance evaluation and formal verification for multi-level embedded system design, 5th International Conference on Model-Driven Engineering and Software Development, pp.78-89, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01447148
Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.397-415, 2015. ,
Proverif 2.00: Automatic cryptographic protocol verifier, 2018. ,
Security-aware functional modeling of cyber-physical systems, pp.1-4, 2015. ,
Backus-naur form (BNF), pp.129-131, 2003. ,
Unified modeling language, 2019. ,
Safe and secure model-driven design for embedded systems, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-01894734
Sysml models and model transformation for security, 4th International Conference on Model-Driven Engineering and Software Development (MODEL-SWARD), pp.331-338, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-02287286
Weaving executability into object-oriented meta-languages, International Conference on Model Driven Engineering Languages and Systems, pp.264-278, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00795095
Model driven design and aspect weaving, Software and Systems Modeling, vol.7, issue.2, pp.209-218, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00468233
Constraint-based consistency checking for multi-view models of cyber-physical system, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp.370-376, 2017. ,
View consistency in architectures for cyber-physical systems, IEEE/ACM Conference on Cyber-Physical Systems, pp.151-160, 2011. ,
Aspect-oriented multi-view modeling, 8th ACM Conference on Aspect-oriented Software Development, pp.87-98, 2009. ,
Melange: A meta-language for modular and reusable development of dsls, 2015 ACM SIGPLAN Conference on Software Language Engineering, pp.25-36, 2015. ,
UML4IoT-A UML-based approach to exploit IoT in cyber-physical manufacturing systems, Computers in Industry, vol.82, pp.259-272, 2016. ,