Mohamed Tahar Bhiri

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 24

Top Topics

Formal Verification

Software Architecture

Planning Problems

Top Venues

Publications

Badr Siala, Mohamed Tahar Bhiri
An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns. ICCCI (2022)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Validating Event-B models using PDDL. KES (2022)
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul
Automatic Processing of Planning Problems: Application on Representative Case Studies. ICCCI (CCIS Volume) (2022)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Xtend Transformation from PDDL to Event-B. ICCCI (2022)
Sabrine Ammar, Mohamed Tahar Bhiri
A Formal Approach Combining Event-B and PDDL for Planning Problems. ICSOFT (2021)
Sabrine Ammar, Mohamed Tahar Bhiri
Formal Event-B Modeling of the MICONIC Application. SoMeT (2021)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components. IEEE Syst. J. 14 (2) (2020)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
A contractual approach for the verification of UML2.0 software architectures. Int. J. Comput. Appl. Technol. 57 (1) (2018)
Sabrine Ammar, Mohamed Tahar Bhiri
Automatic Planning: From Event-B to PDDL. MEDI Workshops (2018)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures. PDCAT (2018)
Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala
An Event-B framework for the validation of Event-B refinement plugins. CoRR (2017)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components. ISDA (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Towards a Formal Verification Approach for Service Component Architecture. SoMeT (2017)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
Wr2Fdr Tool Maintenance for Models Checking. SoMeT (2017)
Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri
Automatic Refinement for Event-B through Annotated Patterns. PDP (2017)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
Towards a formal approach for the verification of SCA/BPEL software architectures. IISA (2017)
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
Towards a Formal Verification Approach for Cloud Software Architecture. SoMeT (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Behavioral Verification of Service Component Architecture. WETICE (2017)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
Behavioral Verification of UML2.0/PoSM Components. SoMeT (2016)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures. WETICE (2016)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Verification and validation of PDDL descriptions using Event-B formal method. ICMCS (2016)
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
An Event-B Development Process for the Distributed BIP Framework. ICFEM (2016)
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
Behavioral Verification of UML2.0 Software Architecture. SKG (2016)
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL. ISDA (2016)
Imen Haddad, Mourad Kmimech, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
Towards a Practical Approach to Check Service Component Architecture. SKG (2015)
Boulbaba Ben Ammar, Mohamed Tahar Bhiri
Pattern-based model refactoring for the introduction association relationship. J. King Saud Univ. Comput. Inf. Sci. 27 (2) (2015)
Imen Sayar, Mohamed Tahar Bhiri
From an abstract specification in event-b toward an UML/OCL model. FormaliSE (2014)
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS (2013)
Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech
Checking Non-functional Properties of UML2.0 Components Assembly. WETICE (2013)
Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet
Transformation exogène de Wright vers Ada. Tech. Sci. Informatiques 31 (7) (2012)
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. 8 (1) (2012)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops (2012)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA (2011)
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Profile UML2.0 for Specification of the SCA Architectures. SKG (2011)
Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté
Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0. CAL (2011)
Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG (2011)
Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté
UML/OCL and Refinement. ECBS (2011)
Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS (2011)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. SKG (2011)
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
MDE approach for the generation and verification of SCA model. iiWAS (2011)
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
ATL Transformation for the Generation of SCA Model. SKG (2011)
Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Towards an approach of formal verification of mediation protocol based on web services. iiWAS (2010)
Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model. ICSEA (2009)
Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou
Vérification formelle d'architectures logicielles à base d'UML. Obj. Logiciel Base données Réseaux 14 (1-2) (2008)
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
Incremental development of UML specifications using operation refinements. Innov. Syst. Softw. Eng. 4 (3) (2008)
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
Modélisation événementielle pour la construction de diagrammes de classes. Ingénierie des Systèmes d Inf. 13 (3) (2008)
Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin
Adaptation d'UML2.0 à l'ADL Wright. CAL (2006)
Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir
Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. INFORSID (2006)