Abdessamad Saidi

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Reactive Systems

Design Patterns

Key Technologies

Top Venues

Future Gener. Comput. Syst.

Publications

Imen Tounsi, Abdessamad Saidi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. Future Gener. Comput. Syst. 148 (2023)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
A formal approach to specify and verify Internet of Things architecture. Internet Things 24 (2023)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
Automated Transformation of IoT Systems Models into Event-B Specifications. ISDA (2) (2022)
Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem
Modeling IoT Design Patterns Proven Correct by Construction. ICOST (2022)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients. ICOST (2022)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
A Meta-Modeling Approach to Describe Internet of Things Architectures. TACC (2021)