Do Organizational Memory and Information Technology Interact to Affect Organizational Information Needs and Provision? - Mohamed El Louadi; Imen Tounsi (Int. J. Knowl. Manag., 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)

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)

A formal approach for SOA design patterns composition. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (AICCSA, 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)

Transformation of compound SOA Design Patterns. - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ANT/SEIT, 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)

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)

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)