A Meta-Modeling Approach to Describe Internet of Things Architectures. - Abdessamad Saidi 002; Mohamed Hadj Kacem; Imen Tounsi; Ahmed Hadj Kacem (TACC, 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)

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)