| 2022 | ICCCI | Automatic Processing of Planning Problems: Application on Representative Case Studies. | Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2022 | ICCCI | Xtend Transformation from PDDL to Event-B. | Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
| 2022 | ICCCI | An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns. | Badr Siala, Mohamed Tahar Bhiri |
| 2022 | KES | Validating Event-B models using PDDL. | Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
| 2021 | ICSoft | A Formal Approach Combining Event-B and PDDL for Planning Problems. | Sabrine Ammar, Mohamed Tahar Bhiri |
| 2021 | SoMeT | Formal Event-B Modeling of the MICONIC Application. | Sabrine Ammar, Mohamed Tahar Bhiri |
| 2018 | MEDI | Automatic Planning: From Event-B to PDDL. | Sabrine Ammar, Mohamed Tahar Bhiri |
| 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 | PDP | Automatic Refinement for Event-B through Annotated Patterns. | Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri |
| 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 | ICFEM | An Event-B Development Process for the Distributed BIP Framework. | Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali |
| 2016 | ISDA | Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. | Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana |
| 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 |
| 2014 | ICSE | From an abstract specification in event-b toward an UML/OCL model. | Imen Sayar, Mohamed Tahar Bhiri |
| 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 |