| 2026 | ICAART | A Rank Aggregation-Based Framework for Finding Optimal k-Plexes in Large Graphs. | Hajer Raddaoui, Haythem Mahfoudh, Mourad Kmimech, Mohamed Othmani |
| 2024 | ECAI | On the Discovery of Conceptual Clustering Models Through Pattern Mining. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2024 | KES | On the Effects of Similarity in Community Detection. | Motaz Ben Hassine, Mourad Kmimech, Mohamed Graiet |
| 2023 | DaWaK | A Non-overlapping Community Detection Approach Based on α-Structural Similarity. | Motaz Ben Hassine, Sad Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet |
| 2022 | DaWaK | Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data. | Sad Jabbour, Mourad Kmimech, Badran Raddaoui |
| 2022 | ICCCI | ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. | Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hdi Hamdi, Mohamed Graiet |
| 2020 | SoMeT | Cohesive Subgraph Models for Overlapping Community Search over Networks. | Khaled Adeyl, Mourad Kmimech, Nizar Mhadhbi, Badran Raddaoui |
| 2020 | SoMeT | Toward a Mixed Tangle-Blockchain Architecture. | Motaz Ben Hassine, Mourad Kmimech, Hussein Hellani, Layth Sliman |
| 2019 | HIS | Tangle the Blockchain: Toward IOTA and Blockchain Integration for IoT Environment. | Hussein Hellani, Layth Sliman, Motaz Ben Hassine, Abed Ellatif Samhat, Ernesto Exposito, Mourad Kmimech |
| 2018 | PDCAT | A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
| 2017 | ISDA | UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman |
| 2017 | WETICE | Behavioral Verification of Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Cloud Software Architecture. | Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui |
| 2017 | SoMeT | Towards a Formal Verification Approach for Service Component Architecture. | Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui |
| 2017 | SoMeT | Wr2Fdr Tool Maintenance for Models Checking. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
| 2016 | WETICE | UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa |
| 2016 | SoMeT | Behavioral Verification of UML2.0/PoSM Components. | Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech |
| 2015 | ICWS | A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. | Imed Abbassi, Mohamed Graiet, Souha Boubaker, Mourad Kmimech, Nejib Ben Hadj-Alouane |
| 2015 | ICWS | Formal Behavioral Modeling for Verifying SCA Composition with Event-B. | Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech |
| 2015 | RCIS | Formal modeling for verifying SCA composition. | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech |
| 2014 | WETICE | Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. | Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul |
| 2013 | ICWS | Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. | Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul |
| 2013 | WETICE | Checking Non-functional Properties of UML2.0 Components Assembly. | Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech |
| 2012 | BPM | Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri |
| 2011 | ECSA | Verifying Composite Service Transactional Behavior with EVENT-B. | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2011 | IIWAS | MDE approach for the generation and verification of SCA model. | Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2011 | IIWAS | Towards a transformation of composite web service with QoS extension into ACME\Armani. | Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2010 | IIWAS | Towards an approach of formal verification of mediation protocol based on web services. | Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2009 | ICSEA | Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model. | Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniort |