| 2026 | ANT | An IoT-Based Intelligent Framework for Real-Time Dam Monitoring and Control. | Imen Tounsi, Mohamed Hadj Kacem |
| 2023 | AICCSA | Developing IoT-based Smart Health Monitoring Systems using Design Patterns. | Mariem Ben Hassine, Imen Tounsi, Mohamed Hadj Kacem |
| 2022 | ICOST | Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. | Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem |
| 2022 | ICOST | Modeling IoT Design Patterns Proven Correct by Construction. | Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem |
| 2022 | ISDA | Automated Transformation of IoT Systems Models into Event-B Specifications. | Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem |
| 2020 | ICOST | Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications. | Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi |
| 2018 | SAC | A refinement-based approach for specifying multi-scale software architectures: application to SoS. | Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cdric Eichler, Ahmed Hadj Kacem |
| 2017 | ANT | Model consistency for multi-scale architectures applied to smart systems. | Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem |
| 2017 | ANT | Transformation of compound SOA Design Patterns. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2017 | SAC | Iterative multi-scale modeling of software-intensive systems of systems architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2016 | ECSA | Multi-scale modeling for software-intensive systems-of-systems architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Cdric Eichler, Khalil Drira, Ahmed Hadj Kacem |
| 2016 | WETICE | Multiple Software Product Lines for Service Oriented Architecture. | Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2016 | SERA | Software Architectures: Multi-Scale Refinement. | Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem |
| 2015 | AICCSA | A formal approach for SOA design patterns composition. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2015 | SAC | Towards a multi-scale modeling approach for software architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2014 | AICCSA | Feature model for modeling compound SOA design patterns. | Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2014 | ECSA | A multi-scale modelling perspective for SoS architectures. | Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2013 | ECSA | Building Correct by Construction SOA Design Patterns: Modeling and Refinement. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2013 | SAC | 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 |
| 2013 | WETICE | An Approach for Modeling and Formalizing SOA Design Patterns. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
| 2012 | WETICE | The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2008 | AICCSA | A UML rule-based approach for describing and checking dynamic software architectures. | Mohammed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira |
| 2006 | SAC | Describing dynamic software architectures using an extended UML model. | Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira |
| 2005 | ICITA | Using UML2.0 and GG for Describing the Dynamic of Software Architectures. | Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira |