Faiza Belala

Djamel Benmerzoug

Sofiane Mounine Hemam

Aya Lehamdi

Radhia Aouissate

Proceedings of the 4th International Conference on Pattern Analysis and Intelligent Systems, 2022

A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

Towards a Multi-Viewpoints Approach for the SoS Engineering.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems.

[BibT_eX]

[DOI]

Akram Seghiri

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021

A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability.

[BibT_eX]

[DOI]

Int. J. Organ. Collect. Intell., 2021

From CA-BRS to BPMN: Formal Approach for Modeling Adaptive Security in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Djamel Benmerzoug

Sofiane Mounine Hemam

Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), 2021

Towards a Service-Driven Model for Industry-4.0.

[BibT_eX]

[DOI]

Takieddine Bouheroum

Youcef Ouassim Cheloufi

Mohamed Nadir Hassani

Proceedings of the ICSCA 2021, 2021

2020

A Maude-Based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration.

[BibT_eX]

[DOI]

J. Syst. Archit., 2020

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks.

[BibT_eX]

[DOI]

J. King Saud Univ. Comput. Inf. Sci., 2020

A formal quantitative analysis of elastic cloud systems based on PSMaude.

[BibT_eX]

[DOI]

J. King Saud Univ. Comput. Inf. Sci., 2020

Formal modeling and analysis of complex software.

[BibT_eX]

[DOI]

Ramdane Maamri

J. King Saud Univ. Comput. Inf. Sci., 2020

Formalizing and simulating cross-layer elasticity strategies in Cloud systems.

[BibT_eX]

[DOI]

Clust. Comput., 2020

System of Systems Engineering: Meta-Modelling Perspective.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.

[BibT_eX]

[DOI]

Souad Marir

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

System of Systems Modelling: Recent work Review and a Path Forward.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

2019

Design Patterns Formal Composition and Analysis.

[BibT_eX]

[DOI]

Halima Douibi

Int. J. Inf. Technol. Syst. Approach, 2019

Timed CTL checking of time critical cloud applications using timed bigraphs.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2019

A formal framework-based K-Maude for modelling scalable software architectures.

[BibT_eX]

[DOI]

Aïcha Choutri

Int. J. Comput. Aided Eng. Technol., 2019

Formal modelling and verifying elasticity strategies in cloud systems.

[BibT_eX]

[DOI]

IET Softw., 2019

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2019

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Future Internet of Things and Cloud, 2019

Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing.

[BibT_eX]

[DOI]

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport.

[BibT_eX]

[DOI]

Abdeldjalil Boultifat

Sami Resslene Zair

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, 2019

2018

Architectural method to design and control dynamic composite web services.

[BibT_eX]

[DOI]

Manel Amel Djenouhat

Int. J. Comput. Appl. Technol., 2018

Towards a Fuzzy Bigraphical Multi Agent System for Cloud of Clouds Elasticity Management.

[BibT_eX]

[DOI]

Rayene Moudjari

Zaïdi Sahnoun

Int. J. Approx. Reason., 2018

A Maude based Specification for SoS Architecture.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Formal Model for Interaction Specification and Analysis in IoT Applications.

[BibT_eX]

[DOI]

Souad Marir

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

A Component-based Modeling of Edge Systems Computing.

[BibT_eX]

[DOI]

Oussama Nassim Sehout

Mouad Ghiat

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

A Quality-driven Approach for Analyzing Elastic Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, 2018

2017

A bigraphical model for specifying cloud-based elastic systems and their behaviour.

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 2017

A Formal Framework for Scalable Component-Based Systems.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Model. Des., 2017

Big-CAF: a bigraphical-generic cloud architecture framework.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2017

A layered Petri net model to formally analyse time critical web service composition.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2017

BiAgent-Based Model for IoT Applications - Case of a Collision Avoidance System.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

A BRS Based Approach for Modeling Elastic Cloud Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

Formal verification of cloud systems elasticity.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2016

A bigraph-based framework for specification and analysis of context-aware systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2016

Towards modeling and verifying Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

A theoretical approach for modelling Cloud Services Composition.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

Translating AADL systems to Java programs.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016

2015

K-based definition of Real Time Distributed Systems: from a meta-model to maude modules.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Protocol Engineering, 2015

Towards BRS based model for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Protocol Engineering, 2015

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Cloud Forward: From Distributed to Complete Computing, 2015

Towards a Formalization of Real-Time Patterns-Based Designs.

[BibT_eX]

[DOI]

Kamel Boukhelfa

Proceedings of the Computer Science and Its Applications, 2015

2014

RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis.

[BibT_eX]

[DOI]

Int. J. Embed. Real Time Commun. Syst., 2014

Transactional Petri nets: a semantic framework for UML2 activities.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2014

A RT-Maude-based framework for component installation.

[BibT_eX]

[DOI]

Meriem Belguidoum

Int. J. Crit. Comput. Based Syst., 2014

Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems.

[BibT_eX]

[DOI]

Int. J. Adapt. Resilient Auton. Syst., 2014

Model-Checking Cloud Systems Using BigMC.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Towards Formal Modeling and Verification of Context-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

K-Maude Definition of Dynamic Software Architecture.

[BibT_eX]

[DOI]

Aïcha Choutri

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Mop-ECATNets for Formal Modeling Dynamic Web Services.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

Modeling Channel Allocation via BRS: Case of WMNs.

[BibT_eX]

[DOI]

Lakhdar Derdouri

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Verifying Cloud Systems using a Bigraphical Maude-based Model Checker.

[BibT_eX]

[DOI]

Proceedings of the ESaaSA 2014, 2014

Towards a meta-model for dynamic applications.

[BibT_eX]

[DOI]

Aïcha Choutri

Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

A K-based language for Design Patterns.

[BibT_eX]

[DOI]

Halima Douibi

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

2013

Towards formalising installation and reconfiguration tasks of AADL architecture.

[BibT_eX]

[DOI]

Nadira Benlahrache

Int. J. Commun. Networks Distributed Syst., 2013

Towards a Formal Model for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Towards a Bigraph-Based Model for Context-Aware Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 7th European Conference, 2013

2011

Implémentation orientée objet d'ABAReL en Maude.

[BibT_eX]

[DOI]

Malika Benammar

Tech. Sci. Informatiques, 2011

A tile logic-based semantics for mobile software architectures.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2011

A Novel Semantic Framework for Analyzing Dynamic Web Services.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

2010

A Tile Logic Based Approach for Software Architecture Description Analysis.

[BibT_eX]

[DOI]

J. Softw. Eng. Appl., 2010

Mapping UML 2.0 Activities to Zero-Safe Nets.

[BibT_eX]

[DOI]

J. Softw. Eng. Appl., 2010

Vers un Modèle de Déploiement à base de Bigraphes.

[BibT_eX]

[DOI]

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

For more understandable UML diagrams.

[BibT_eX]

[DOI]

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML.

[BibT_eX]

[DOI]

Proceedings of the Langages et Modèles à Objets, 2009

Extension d'ABAReL par les Propriétés d'Exécution.

[BibT_eX]

[DOI]

Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

On Formalizing UML 2.0 Activities: Stream and Exception Parameters.

[BibT_eX]

Narayan C. Debnath

Proceedings of the ISCA 22nd International Conference on Computer Applications in Industry and Engineering, 2009

A synchronization schema in activity diagrams via zero-safe-nets.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Towards a tile based LfP semantics.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

AADL behavioral annex based on generalized rewriting logic.

[BibT_eX]

[DOI]

Malika Benammar

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

Tile logic as an architectural model for mobility.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.

[BibT_eX]

[DOI]

Malika Benammar

Proceedings of the 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 2008

Towards a mobile architecture description language.

[BibT_eX]

[DOI]

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session.

[BibT_eX]

Proceedings of the ICSOFT 2007, 2007

2006

A Contribution to the Formal Checking of Multi-Agents Systems.

[BibT_eX]

[DOI]

A. Boucherit

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2002

A Natural Semantic Framework for ECATNets.

[BibT_eX]

[DOI]

Mohamed Bettaz

Appl. Categorical Struct., 2002

2000

Concurrent Systems Analysis Using ECATNets.

[BibT_eX]

[DOI]