Imen Tounsi

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 11

Top Topics

Health Monitoring Systems

Software Architecture

Design Patterns

Ontology Driven

Top Venues

Int. J. Cloud Comput.

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)
Mariem Ben Hassine, Imen Tounsi, Mohamed Hadj Kacem
Developing IoT-based Smart Health Monitoring Systems using Design Patterns. AICCSA (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)
Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems. IET Softw. 15 (4) (2021)
Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi
Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications. ICOST (2020)
Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem
A refinement-based approach for specifying multi-scale software architectures: application to SoS. SAC (2018)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Transformation of compound SOA Design Patterns. ANT/SEIT (2017)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
A refinement-based approach for building valid SOA design patterns. Int. J. Cloud Comput. 4 (1) (2015)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
A formal approach for SOA design patterns composition. AICCSA (2015)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
An Approach for SOA Design Patterns Composition. SOCA (2015)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani
Towards an approach for modeling and formalizing SOA design patterns with Event-B. SAC (2013)
Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. ICEIS (2) (2013)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
An Approach for Modeling and Formalizing SOA Design Patterns. WETICE (2013)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
Building Correct by Construction SOA Design Patterns: Modeling and Refinement. ECSA (2013)
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange. WETICE (2012)
Mohamed El Louadi, Imen Tounsi
Do Organizational Memory and Information Technology Interact to Affect Organizational Information Needs and Provision? Int. J. Knowl. Manag. 4 (4) (2008)