Mohamed Hadj Kacem

41 papers B 1C 11Misc 5Journal 7Unranked 15

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	J	`jnl`	A model transformation approach for multiscale modeling of software architectures applied to smart cities. Concurr. Comput. Pract. Exp. Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, 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
2019	J	`jnl`	Feature models as service contracts in service oriented architecture. Int. J. Serv. Technol. Manag. Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
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`	Feature Model as a Design-pattern-based Service Contract for the Service Provider in the Service Oriented Architecture. ICEIS (Revised Selected Papers) Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2017	—	`conf`	Feature Model based on Design Pattern for the Service Provider in the Service Oriented Architecture. ICEIS (2) Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2017	Misc	`conf`	Iterative multi-scale modeling of software-intensive systems of systems architectures. SAC Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2017	—	`conf`	Model consistency for multi-scale architectures applied to smart systems. ANT/SEIT Ilhem Khlif, Mohamed Hadj Kacem, Marwa Kallel, Khalil Drira, Ahmed Hadj Kacem
2017	—	`conf`	Transformation of compound SOA Design Patterns. ANT/SEIT Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2016	—	`ed.`	Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, Hammamet, Tunisie, 13-15 Mai 2015 CAL Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, Ernesto Exposito
2016	—	`conf`	Multi-scale modeling for software-intensive systems-of-systems architectures. SiSoS@ECSA Ilhem Khlif, Mohamed Hadj Kacem, Cédric Eichler, Khalil Drira, Ahmed Hadj Kacem
2016	C	`conf`	Multiple Software Product Lines for Service Oriented Architecture. WETICE Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem
2016	C	`conf`	Software Architectures: Multi-Scale Refinement. SERA Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem
2015	—	`conf`	A UML-based Approach for Multi-scale Software Architectures. ICEIS (2) Ilhem Khlif, 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
2015	Misc	`conf`	Towards a multi-scale modeling approach for software architectures. SAC Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2014	—	`conf`	A multi-scale modelling perspective for SoS architectures. ECSA Workshops Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
2014	C	`conf`	Feature model for modeling compound SOA design patterns. AICCSA Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem
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	J	`jnl`	Modeling and enforcing invariants of dynamic software architectures. Softw. Syst. Model. Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel
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	C	`conf`	A UML rule-based approach for describing and checking dynamic software architectures. AICCSA Mohammed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira
2008	—	`—`	Modélisation des applications distribuées à architecture dynamique : Conception et Validation. (Modeling of distributed applications in dynamic architecture: Design and Validation). Mohamed Hadj Kacem
2006	—	`conf`	An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2006	Misc	`conf`	Describing dynamic software architectures using an extended UML model. SAC Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
2005	—	`conf`	Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. ICEIS (3) Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2005	—	`conf`	Towards a UML profile for the description of dynamic software architectures. COEA Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
2005	—	`conf`	Using UML2.0 and GG for Describing the Dynamic of Software Architectures. ICITA (1) Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira