Imen Tounsi

According to our database, Imen Tounsi authored at least 20 papers between 2008 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

Developing IoT-based Smart Health Monitoring Systems using Design Patterns.

Mariem Ben Hassine, Imen Tounsi, Mohamed Hadj Kacem

Proceedings of the 20th ACS/IEEE International Conference on Computer Systems and Applications, 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

MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems.

Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem

IET Softw., 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

2020

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications.

Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

2018

A refinement-based approach for specifying multi-scale software architectures: application to SoS.

Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Transformation of compound SOA Design Patterns.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Proceedings of the 8th International Conference on Ambient Systems, 2017

2015

A refinement-based approach for building valid SOA design patterns.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Int. J. Cloud Comput., 2015

An Approach for SOA Design Patterns Composition.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

A formal approach for SOA design patterns composition.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2013

An Approach for Modeling and Formalizing SOA Design Patterns.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

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

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.

Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Proceedings of the ICEIS 2013, 2013

Building Correct by Construction SOA Design Patterns: Modeling and Refinement.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem

Proceedings of the Software Architecture - 7th European Conference, 2013

2012

The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange.

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2008

Do Organizational Memory and Information Technology Interact to Affect Organizational Information Needs and Provision?

Mohamed El Louadi, Imen Tounsi

Int. J. Knowl. Manag., 2008