Modelling and Implementation of Complex Systems: Proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30‐31 2022 von Chikhi, Salim, Diaz-Descalzo, Gregorio, Amine, Abdelmalek, Chaoui, Allaoua, Saidouni, Djamel Eddine, Kholladi, Mohamed Khireddine

Volltext

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods von Bouhamed, Mohammed Mounir, Diaz, Gregorio, Chaoui, Allaoua, Kamel, Oussama, Nouara, Radouane

Volltext

Modelling and Implementation of Complex Systems: Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24‐26 2020 von Chikhi, Salim, Amine, Abdelmalek, Chaoui, Allaoua, Saidouni, Djamel Eddine, Kholladi, Mohamed Khireddine

Volltext

Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg von Blghiat, Isam, al-Mansuri, Raida, Chaoui, Allaoua, Mighzili, Said

Volltext

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach von Elhillali Kerkouche, El Bay Bourennane, Allaoua Chaoui

Volltext

Modelling and Implementation of Complex Systems: Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria von Chikhi, Salim, Amine, Abdelmalek, Chaoui, Allaoua, Saidouni, Djamel Eddine

Volltext

FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE: Using Maude Rewriting Logic Language von Djaoui, Chafika, Chaoui, Allaoua

Volltext

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study von Belghiat, Aissam, Kerkouche, Elhillali, Chaoui, Allaoua, Beldjehem, Mokhtar

Volltext

Formal verification of IoT applications using rewriting logic: An MDE-based approach von Fortas, Abdelouahab, Kerkouche, Elhillali, Chaoui, Allaoua

Volltext

Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation von Rahmoune, Yasmina, Chaoui, Allaoua

Volltext

AN APPROACH AND A TOOL FOR MERGING A SET OF MODELS IN PAIRWISE WAY von Boubakir, Mohammed, Chaoui, Allaoua

Volltext

Entanglement swapping via quantum zeno dynamics in noisy environment von Khalfaoui, Khaled, Kerkouche, El Hillali, Boudjedaa, Tahar, Chaoui, Allaoua

Volltext

Optimized exploration of quantum circuits space based on sub-circuits equivalences von Khalfaoui, Khaled, Kerkouche, El Hillali, Boudjedaa, Tahar, Chaoui, Allaoua

Volltext

Optimized search for complex protocols based on entanglement detection von Khalfaoui, Khaled, Kerkouche, El Hillali, Boudjedaa, Tahar, Chaoui, Allaoua

Volltext

SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach von Kamel, Oussama, Chaoui, Allaoua, Diaz, Gregorio, Gharzouli, Mohamed

Volltext

Verification of Model Transformations Using Isabelle/HOL and Scala von Meghzili, Said, Chaoui, Allaoua, Strecker, Martin, Kerkouche, Elhillali

Volltext

Modelling and Implementation of Complex Systems: Proceedings of the 7th International Symposium, MISC 2022, Mostaganem, Algeria, October 30 2022 von Chikhi, Salim, Diaz-Descalzo, Gregorio, Amine, Abdelmalek, Chaoui, Allaoua, Saidouni, Djamel Eddine, Kholladi, Mohamed Khireddine

Volltext

A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems von Elmansouri, Raida, Meghzili, Said, Chaoui, Allaoua

Volltext

Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution von Radja Hamli, Chaoui, Allaoua, Elmansouri, Raida, Khebizi, Ali

Volltext

Adaptive service composition in an ambient environment with a multi-agent system von Chaib, Aouatef, Boussebough, Imane, Chaoui, Allaoua

Volltext