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

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

Developing IoT-based Smart Health Monitoring Systems using Design Patterns - Mariem Ben Hassine; Imen Tounsi; Mohamed Hadj Kacem (20th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2023, Giza, Egypt, December 4-7, 2023, 2023)

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)

Modeling IoT Design Patterns Proven Correct by Construction - Imen Tounsi; Najeh Khalfi; Abdessamad Saidi; Mohamed Hadj Kacem (Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, 2022)

Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients - Abdessamad Saidi; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, 2022)

Automated Transformation of IoT Systems Models into Event-B Specifications - Abdessamad Saidi; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2, 2022)

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

A Meta-Modeling Approach to Describe Internet of Things Architectures - Abdessamad Saidi; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021, 2021)

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications - Mohamed Hadj Kacem; Imen Tounsi; Najeh Khalfi (The Impact of Digital Technologies on Public Health in Developed and Developing Countries - 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings, 2020)

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)

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 (Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, 2018)

Model consistency for multi-scale architectures applied to smart systems - Ilhem Khlif; Mohamed Hadj Kacem; Marwa Kallel; Khalil Drira; Ahmed Hadj Kacem (The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 2017)

Transformation of compound SOA Design Patterns - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, 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 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems, Volume 2, Porto, Portugal, April 26-29, 2017, 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 (Enterprise Information Systems - 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers, 2017)

Iterative multi-scale modeling of software-intensive systems of systems architectures - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem (Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, 2017)

Multi-scale modeling for software-intensive systems-of-systems architectures - Ilhem Khlif; Mohamed Hadj Kacem; Cédric Eichler; Khalil Drira; Ahmed Hadj Kacem (Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016, 2016)

Software Architectures: Multi-Scale Refinement - Ilhem Khlif; Mohamed Hadj Kacem; Patricia Stolf; Ahmed Hadj Kacem (14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2016, Towson, MD, USA, June 8-10, 2016, 2016)

Multiple Software Product Lines for Service Oriented Architecture - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem (25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, 2016)

Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, Hammamet, Tunisie, 13-15 Mai 2015 - Mohamed Hadj Kacem; Ismael Bouassida Rodriguez; Ernesto Exposito (Éditions RNTI, 2016)

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)

A formal approach for SOA design patterns composition - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015, 2015)

A UML-based Approach for Multi-scale Software Architectures - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015, 2015)

Towards a multi-scale modeling approach for software architectures - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, 2015)

An Approach for SOA Design Patterns Composition - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (8th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015, Rome, Italy, October 19-21, 2015, 2015)

Feature model for modeling compound SOA design patterns - Akram Kamoun; Mohamed Hadj Kacem; Ahmed Hadj Kacem (11th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2014, Doha, Qatar, November 10-13, 2014, 2014)

A multi-scale modelling perspective for SoS architectures - Ilhem Khlif; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (Proceedings of the ECSA 2014 Workshops & Tool Demos Track, European Conference on Software Architecture, 2014, Vienna, Austria, 2014)

Building Correct by Construction SOA Design Patterns: Modeling and Refinement - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem (Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings, 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 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, 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 (Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, 2013)

An Approach for Modeling and Formalizing SOA Design Patterns - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem (2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Hammamet, Tunisia, June 17-20, 2013, 2013)

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

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange - Imen Tounsi; Mohamed Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012, 2012)

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

A UML rule-based approach for describing and checking dynamic software architectures - Mohammed Nadhmi Miladi; Mohamed Hadj Kacem; Achraf Boukhris; Mohamed Jmaiel; Khalil Drira (The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, 2008)

Describing dynamic software architectures using an extended UML model - Mohamed Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, 2006)

An UML-Based Approach for Validation of Software Architecture Descriptions - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers, 2006)

Towards a UML profile for the description of dynamic software architectures - Mohamed Hadj Kacem; Mohammed Nadhmi Miladi; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (Component-Oriented Enterprise Applications, Proceedings of the Conference on Component-Oriented Enterprise Applications (COEA 2005), Erfurt, Germany, 20 September 2005, 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 2005, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, 2005, 2005)

Using UML2.0 and GG for Describing the Dynamic of Software Architectures - Mohamed Hadj Kacem; Mohamed Jmaiel; Ahmed Hadj Kacem; Khalil Drira (Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, 2005)