Imen Tounsi - RankMe

20 papers B 1C 7Misc 2Journal 5Unranked 5

Year	Rank	Type	Title / 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