Mohamed Graiet

84 papers A 7B 9C 13Journal 22Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems. Computing Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2025	—	`conf`	Declarative, Generic Definition and Effective Implementation of Transfer Learning Algorithms. AIAI (2) Tayeb Diab, Mohamed Graiet, Mario Südholt
2025	B	`conf`	Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks. WiMob Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2025	J	`jnl`	Ensuring the Correctness and Reliability of CBPS System Using Event-B. Softw. Test. Verification Reliab. Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet
2025	J	`jnl`	On Guaranteeing Trustworthiness and Better Outcomes in Internet of Things Environments. Concurr. Comput. Pract. Exp. Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2025	—	`conf`	Une approche de clustering conceptuel via des k-motifs relaxés fréquents. EGC Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024	B	`conf`	A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. CCGrid Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek
2024	—	`conf`	An Event-B Based Approach for Horizontally Scalable IoT Applications. ICSOC (1) Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2024	—	`conf`	Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. ACIIDS (Companion 1) Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2024	J	`jnl`	Formal verification for security and attacks in IoT physical layer. J. Reliab. Intell. Environ. Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares
2024	A	`conf`	On the Discovery of Conceptual Clustering Models Through Pattern Mining. ECAI Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2024	B	`conf`	On the Effects of Similarity in Community Detection. KES Motaz Ben Hassine, Mourad Kmimech, Mohamed Graiet
2024	J	`jnl`	Service to service communication based on CBPS system: refinement and verification. Soft Comput. Sarah Hussein Toman, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2024	C	`conf`	Towards a Model for Energy-Efficient and Flexible IoT Systems. VECoS Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2023	C	`conf`	A Correct by Construction Model for CBPS Systems Verification. ISCC Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2023	B	`conf`	A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
2023	J	`jnl`	Adaptive configuration of IoT applications in the fog infrastructure. Computing Houda Chouat, Imed Abbassi, Mohamed Graiet, Mario Südholt
2023	J	`jnl`	Formal modelling and verification of scalable service composition in IoT environment. Serv. Oriented Comput. Appl. Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
2023	J	`jnl`	Formal reconfiguration model for cloud resources. Softw. Syst. Model. Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2023	C	`conf`	Refinement and Verification for IoT Service Composition. ISCC Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet
2022	J	`jnl`	A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. IEEE Trans. Serv. Comput. Imed Abbassi, Amel Mammar, Mohamed Graiet
2022	J	`jnl`	An Event-B model for dynamically managing cloud resources. Innov. Syst. Softw. Eng. Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2022	J	`jnl`	An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Comput. J. Amel Mammar, Lazhar Hamel, Mohamed Graiet
2022	J	`jnl`	An optimization approach for cloud composite services. J. Supercomput. Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2022	B	`conf`	Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
2022	—	`conf`	ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. ICCCI (CCIS Volume) Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hédi Hamdi, Mohamed Graiet
2022	—	`conf`	TuniSER: Toward a Tunisian Speech Emotion Recognition System. ICNLSP Abir Messaoudi, Hatem Haddad, Moez Benhaj Hmida, Mohamed Graiet
2021	—	`conf`	A Survey on Formal Verification for Solidity Smart Contracts. ACSW Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet
2021	C	`conf`	A genetic-based requirements-aware approach for reliable IoT applications in the Fog. WETICE Houda Chouat, Imed Abbassi, Mohamed Graiet
2021	—	`conf`	Tunisian Dialectal End-to-end Speech Recognition based on DeepSpeech. ACLING Abir Messaoudi, Hatem Haddad, Chayma Fourati, Moez Ben Haj Hmida, Aymen Ben Elhaj Mabrouk, Mohamed Graiet
2020	J	`jnl`	An Event-B based approach for cloud composite services verification. Formal Aspects Comput. Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
2020	B	`conf`	Dynamic Reconfiguration of Cloud Composite Services Using Event-B. ICSR Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2019	—	`conf`	On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
2019	J	`jnl`	Towards correct cloud resource allocation in FOSS applications. Future Gener. Comput. Syst. Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet
2018	—	`conf`	A Formal Approach for Cloud Composite Services Verification. SOCA Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki
2018	J	`jnl`	A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul
2018	J	`jnl`	An Automatic Configuration Algorithm for Reliable and Efficient Composite Services. IEEE Trans. Netw. Serv. Manag. Imed Abbassi, Mohamed Graiet
2018	—	`conf`	Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. OTM Conferences (1) Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2018	—	`conf`	Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
2018	—	`conf`	[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
2017	—	`conf`	A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. OTM Conferences (1) Imed Abbassi, Mohamed Graiet, Sindyana Jlassi, Abir Elkhalfa, Layth Sliman
2017	J	`jnl`	A verification and deployment approach for elastic component-based applications. Formal Aspects Comput. Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata
2017	A	`conf`	Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
2017	J	`jnl`	Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
2017	C	`conf`	Track Report for Formal Verification of Service Based Systems: FVSBS 2017. WETICE Mohamed Graiet, Kais Klai
2016	A	`conf`	A Formal Guidance Approach for Correct Process Configuration. ICSOC Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
2016	—	`conf`	A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
2016	A	`conf`	An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
2016	B	`conf`	Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
2016	C	`conf`	Track Report for Formal Verification of Service Based Systems: FVSBS 2016. WETICE Mohamed Graiet, Kais Klai
2015	—	`conf`	A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel
2015	A	`conf`	A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. ICWS Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane
2015	J	`jnl`	Adaptation d'exécution de modèles par contrats. Tech. Sci. Informatiques Eric Cariou, Olivier Le Goaër, Franck Barbier, Samson Pierre, Mohamed Graiet
2015	—	`conf`	Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. ACSD Ala-Eddine Ben Salem, Mohamed Graiet
2015	—	`conf`	Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane
2015	C	`conf`	FVSBS 2015 Track Report: Formal Verification of Service Based Systems. WETICE Mohamed Graiet, Kais Klai
2015	A	`conf`	Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
2015	C	`conf`	Formal Modeling for Verifying SCA Dynamic Composition with Event-B. WETICE Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2015	B	`conf`	Formal modeling for verifying SCA composition. RCIS Lazhar Hamel, Mohamed Graiet, Mourad Kmimech
2015	—	`conf`	Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
2014	—	`conf`	A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
2014	C	`conf`	Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. WETICE Imed Abbassi, Mohamed Graiet, Nejib Ben Hadj-Alouane
2014	C	`conf`	Track Report of Formal Verification of Service Based Systems (FVSBS 2014). WETICE Mohamed Graiet, Zied Jaoua, Kais Klai
2013	A	`conf`	Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
2013	—	`conf`	Formal Verification of SCA Assembly Model with Event-B. SKG Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2012	—	`conf`	Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri
2012	—	`conf`	Event-B Formalisation of Web Services for Dynamic Composition. SKG Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2012	—	`conf`	Patrons transactionnels dynamiques pour des services composés fiables et flexibles. CAL Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua
2012	J	`jnl`	Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2012	J	`jnl`	Transformation exogène de Wright vers Ada. Tech. Sci. Informatiques Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet
2011	—	`conf`	ATL Transformation for the Generation of SCA Model. SKG Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	C	`conf`	MDE approach for the generation and verification of SCA model. iiWAS Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	—	`conf`	Profile UML2.0 for Specification of the SCA Architectures. SKG Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	C	`conf`	Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	—	`conf`	Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
2011	—	`conf`	UML/OCL and Refinement. ECBS Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté
2011	B	`conf`	Verifying Composite Service Transactional Behavior with EVENT-B. ECSA Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011	—	`conf`	Verifying Composite Service Transactional Behavior with EVENT-B. SKG Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011	—	`conf`	Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0. CAL Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté
2010	C	`conf`	Towards an approach of formal verification of mediation protocol based on web services. iiWAS Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2008	J	`jnl`	Vérification formelle d'architectures logicielles à base d'UML. Obj. Logiciel Base données Réseaux Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou
2007	—	`—`	Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures). Mohamed Graiet
2006	—	`conf`	Adaptation d'UML2.0 à l'ADL Wright. CAL Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin
2006	—	`conf`	Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. INFORSID Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir