Abdessamad Saidi

According to our database, Abdessamad Saidi authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A formal approach to specify and verify Internet of Things architecture.

Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

Internet Things, December, 2023

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., November, 2023

2022

Automated Transformation of IoT Systems Models into Event-B Specifications.

Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

Modeling IoT Design Patterns Proven Correct by Construction.

Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem

Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients.

Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

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), 2021