Author of the publication

A Formal MDE Framework for Inter-DSL Collaboration.

, , , and . COORDINATION, volume 13908 of Lecture Notes in Computer Science, page 232-249. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proposition d'un Processus de Développement pour la Modélisation Sécurisée des Systèmes d'Information., and . CIIA, volume 547 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)BRAIN-IoT Architecture and Platform for Building IoT Systems., , , , and . IoTBDS, page 67-77. SCITEPRESS, (2022)Fog Computing and Blockchain for Massive IoT Deployment., , , and . MECO, page 1-4. IEEE, (2020)Risk Assessment in IoT Case Study: Collaborative Robots System., , , , and . SAM IoT, volume 2739 of CEUR Workshop Proceedings, page 3-10. CEUR-WS.org, (2020)Applied Statistical Model Checking for a Sensor Behavior Analysis., , , and . QUATIC, volume 1266 of Communications in Computer and Information Science, page 399-411. Springer, (2020)Learning and analysis of sensors behavior in IoT systems using statistical model checking., , , and . Softw. Qual. J., 30 (2): 367-388 (2022)Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems., , , , , , , , , and . SAM IoT, volume 2739 of CEUR Workshop Proceedings, page 80-90. CEUR-WS.org, (2020)Formal Modeling and Simulation of Collaborative Intelligent Robots., , , , , and . ESOCC Workshops, volume 1360 of Communications in Computer and Information Science, page 41-52. Springer, (2020)Analysis and Prediction of Viral Infections using Statistical Model Checking., and . MEDES, page 43-48. ACM, (2021)Asset-Driven Approach for Security Risk Assessment in IoT Systems., , , , , , and . CRiSIS, volume 12528 of Lecture Notes in Computer Science, page 149-163. Springer, (2020)