| 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 | Transformation of compound SOA Design Patterns. | Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira |
| 2015 | AICCSA | A formal approach for SOA design patterns composition. | Imen Tounsi, 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 |