Towards a UML profile for the description of dynamic software architectures. - Mohamed Hadj Kacem; Mohammed Nadhmi Miladi; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (COEA, 2005)

Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (ICEIS (3), 2005)

Using UML2.0 and GG for Describing the Dynamic of Software Architectures. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (ICITA (1), 2005)

Describing dynamic software architectures using an extended UML model. - Mohamed Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (SAC, 2006)

An UML-Based Approach for Validation of Software Architecture Descriptions. - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (TEAA, 2006)

A UML rule-based approach for describing and checking dynamic software architectures. - Mohammed Nadhmi Miladi; Mohamed Hadj Kacem; Achraf Boukhris; Mohamed Jmaiel; Khalil Drira (AICCSA, 2008)

Modélisation des applications distribuées à architecture dynamique : Conception et Validation. (Modeling of distributed applications in dynamic architecture: Design and Validation). - Mohamed Hadj Kacem (2008)

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (WETICE, 2012)

Modeling and enforcing invariants of dynamic software architectures. - Slim Kallel; Mohamed Hadj Kacem; Mohamed Jmaiel (Softw. Syst. Model., 2012)

Building Correct by Construction SOA Design Patterns: Modeling and Refinement. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem (ECSA, 2013)

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. - Imen Tounsi; Zied Hrichi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2013)

Towards an approach for modeling and formalizing SOA design patterns with Event-B. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira; Emna Mezghani (SAC, 2013)

An Approach for Modeling and Formalizing SOA Design Patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2013)

Feature model for modeling compound SOA design patterns. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem (AICCSA, 2014)

A multi-scale modelling perspective for SoS architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ECSA Workshops, 2014)

A formal approach for SOA design patterns composition. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (AICCSA, 2015)

A UML-based Approach for Multi-scale Software Architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2015)

Towards a multi-scale modeling approach for software architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (SAC, 2015)

An Approach for SOA Design Patterns Composition. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (SOCA, 2015)

A refinement-based approach for building valid SOA design patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (Int. J. Cloud Comput., 2015)

Multi-scale modeling for software-intensive systems-of-systems architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Cédric Eichler; Khalil Drira; Ahmed Hadj Kacem (SiSoS@ECSA, 2016)

Software Architectures: Multi-Scale Refinement. - Ilhem Khlif; Mohamed Hadj Kacem; Patricia Stolf; Ahmed Hadj Kacem (SERA, 2016)

Multiple Software Product Lines for Service Oriented Architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem (WETICE, 2016)

Model consistency for multi-scale architectures applied to smart systems. - Ilhem Khlif; Mohamed Hadj Kacem; Marwa Kallel; Khalil Drira; Ahmed Hadj Kacem (ANT/SEIT, 2017)

Transformation of compound SOA Design Patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ANT/SEIT, 2017)

Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (2), 2017)

Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS (Revised Selected Papers), 2017)

Iterative multi-scale modeling of software-intensive systems of systems architectures. - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem (SAC, 2017)

A refinement-based approach for specifying multi-scale software architectures: application to SoS. - Ilhem Khlif; Imen Tounsi; Mohamed Hadj Kacem; Cédric Eichler; Ahmed Hadj Kacem (SAC, 2018)

Feature models as service contracts in service oriented architecture. - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (Int. J. Serv. Technol. Manag., 2019)

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications. - Mohamed Hadj Kacem; Imen Tounsi; Najeh Khalfi (ICOST, 2020)

A Meta-Modeling Approach to Describe Internet of Things Architectures. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (TACC, 2021)

MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. - Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (IET Softw., 2021)

Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (ICOST, 2022)

Modeling IoT Design Patterns Proven Correct by Construction. - Imen Tounsi; Najeh Khalfi; Abdessamad Saidi 002; Mohamed Hadj Kacem (ICOST, 2022)

Automated Transformation of IoT Systems Models into Event-B Specifications. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (ISDA (2), 2022)

A model transformation approach for multiscale modeling of software architectures applied to smart cities. - Ilhem Khlif; Mohamed Hadj Kacem; Cédric Eichler; Khalil Drira; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2022)

Developing IoT-based Smart Health Monitoring Systems using Design Patterns. - Mariem Ben Hassine; Imen Tounsi; Mohamed Hadj Kacem (AICCSA, 2023)

Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. - Imen Tounsi; Abdessamad Saidi 002; Mohamed Hadj Kacem; Ahmed Hadj Kacem (Future Gener. Comput. Syst., 2023)

A formal approach to specify and verify Internet of Things architecture. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (Internet Things, 2023)