Imen Tounsi

20 papers B 1C 7Misc 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
A formal approach to specify and verify Internet of Things architecture.
Internet Things
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2023 C conf
Developing IoT-based Smart Health Monitoring Systems using Design Patterns.
AICCSA
Mariem Ben Hassine, Imen Tounsi, Mohamed Hadj Kacem
2023 J jnl
Internet of Things design patterns modeling proven correct by construction: Application to aged care solution.
Future Gener. Comput. Syst.
Imen Tounsi, Abdessamad Saidi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2022 C conf
Adopting the Internet of Things Technology to Remotely Monitor COVID-19 Patients.
ICOST
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2022 — conf
Automated Transformation of IoT Systems Models into Event-B Specifications.
ISDA (2)
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2022 C conf
Modeling IoT Design Patterns Proven Correct by Construction.
ICOST
Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem
2021 — conf
A Meta-Modeling Approach to Describe Internet of Things Architectures.
TACC
Abdessamad Saidi, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2021 J jnl
MeidyaCoM-policy: Approach for modelling and checking repair policies for self-healing systems.
IET Softw.
Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem
2020 C conf
Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications.
ICOST
Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi
2018 Misc conf
A refinement-based approach for specifying multi-scale software architectures: application to SoS.
SAC
Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem
2017 — conf
Transformation of compound SOA Design Patterns.
ANT/SEIT
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015 C conf
A formal approach for SOA design patterns composition.
AICCSA
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015 J jnl
A refinement-based approach for building valid SOA design patterns.
Int. J. Cloud Comput.
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2015 — conf
An Approach for SOA Design Patterns Composition.
SOCA
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2013 C conf
An Approach for Modeling and Formalizing SOA Design Patterns.
WETICE
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2013 B conf
Building Correct by Construction SOA Design Patterns: Modeling and Refinement.
ECSA
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2013 Misc conf
Towards an approach for modeling and formalizing SOA design patterns with Event-B.
SAC
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani
2013 — conf
Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns.
ICEIS (2)
Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2012 C conf
The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange.
WETICE
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2008 J jnl
Do Organizational Memory and Information Technology Interact to Affect Organizational Information Needs and Provision?
Int. J. Knowl. Manag.
Mohamed El Louadi, Imen Tounsi