Mohamed Tahar Bhiri

发表

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior

Mohamed Graiet, Walid Gaaloul, Imed Abbassi, 2013, 2013 IEEE 20th International Conference on Web Services.

Towards a Formal Verification Approach for Cloud Software Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Badran Raddaoui, 2017, SoMeT.

Behavioral Verification of UML2.0/PoSM Components

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2016, SoMeT.

Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service

Mohamed Graiet, Mohamed Tahar Bhiri, Mourad Kmimech, 2011, 2011 Seventh International Conference on Semantics, Knowledge and Grids.

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2017, ISDA.

Verification and validation of PDDL descriptions using Event-B formal method

Mohamed Tahar Bhiri, Riadh Robbana, Farah Fourati, 2016, 2016 5th International Conference on Multimedia Computing and Systems (ICMCS).

Behavioral Verification of Service Component Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Badran Raddaoui, 2017, 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

Automatic Planning: From Event-B to PDDL

Mohamed Tahar Bhiri, Sabrine Ammar, 2018, MEDI Workshops.

MDE approach for the generation and verification of SCA model

Soumaya Louhichi, Mohamed Graiet, Walid Gaaloul, 2011, iiWAS '11.

Refinement Patterns for an Incremental Construction of Class Diagrams

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, 2014 .

Architecture des systèmes avec la norme UML2.0 et l'ADL Wright

Mohamed Graiet, Mohamed Tahar Bhiri, Noureddine Belkhatir, 2006, INFORSID.

Profile UML2.0 for Specification of the SCA Architectures

Mohamed Graiet, Walid Gaaloul, Mohamed Tahar Bhiri, 2011, 2011 Seventh International Conference on Semantics, Knowledge and Grids.

Towards an approach of formal verification of mediation protocol based on web services

Mohamed Graiet, Walid Gaaloul, Mohamed Tahar Bhiri, 2010, iiWAS.

Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model

Mohamed Tahar Bhiri, Mourad Kmimech, Philippe Aniorté, 2009, 2009 Fourth International Conference on Software Engineering Advances.

UML/OCL and Refinement

Mohamed Graiet, Mohamed Tahar Bhiri, Philippe Aniorté, 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

Towards a formal approach for the verification of SCA/BPEL software architectures

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2017, IISA.

A Proof-based Approach for Verifying Composite Service Transactional Behavior

Mohamed Graiet, Walid Gaaloul, Lazhar Hamel, 2011, ICSEA 2011.

An Event-B framework for the validation of Event-B refinement plugins pdf

Mamoun Filali, Jean-Paul Bodeveix, Mohamed Tahar Bhiri, 2017, ArXiv.

ATL Transformation of UML 2.0 for the Generation of SCA Model

Soumaya Louhichi, Mohamed Graiet, Walid Gaaloul, 2011, ICSEA 2011.

Towards an incremental development of UML specifications

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières, 2007 .

Transformation of Composite Web Service for QoS Extension into ACME\Armani

Mohamed Graiet, Mohamed Tahar Bhiri, Eric Cariou, 2011, ICSEA 2011.

Towards a transformation of composite web service with QoS extension into ACME\Armani

Mohamed Graiet, Walid Gaaloul, Mohamed Tahar Bhiri, 2011, iiWAS '11.

Transformation exogène de Wright vers Ada

Mohamed Graiet, Mohamed Tahar Bhiri, Mourad Kmimech, 2012, Tech. Sci. Informatiques.

Towards a Formal Verification Approach for Service Component Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Badran Raddaoui, 2017, SoMeT.

From an abstract specification in event-b toward an UML/OCL model

Mohamed Tahar Bhiri, Imen Sayar, Imen Sayar, 2014, FormaliSE 2014.

Verifying Composite Service Transactional Behavior with EVENT-B

Mohamed Graiet, Walid Gaaloul, Lazhar Hamel, 2011, 2011 Seventh International Conference on Semantics, Knowledge and Grids.

Incremental development of UML specifications using operation refinements

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières, 2008, Innovations in Systems and Software Engineering.

Pattern-based model refactoring for the introduction association relationship

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Boulbaba Ben Ammar, 2015, J. King Saud Univ. Comput. Inf. Sci..

Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0

Mohamed Graiet, Mohamed Tahar Bhiri, Mourad Kmimech, 2011, CAL.

An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2020, IEEE Systems Journal.

An Event-B Development Process for the Distributed BIP Framework

Mamoun Filali, Jean-Paul Bodeveix, Mohamed Tahar Bhiri, 2016, ICFEM.

Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADL

Mohamed Graiet, Mohamed Tahar Bhiri, Mourad Kmimech, 2010 .

Wr2Fdr Tool Maintenance for Models Checking

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2017, SoMeT.

Adaptation d'UML2.0 à l'ADL Wright

Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, 2006, CAL.

Towards a Practical Approach to Check Service Component Architecture

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2015, 2015 11th International Conference on Semantics, Knowledge and Grids (SKG).

A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures

Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman, 2018, PDCAT.

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case

Mohamed Graiet, Lazhar Hamel, Mohamed Tahar Bhiri, 2012, Business Process Management Workshops.

ATL Transformation for the Generation of SCA Model

Soumaya Louhichi, Mohamed Graiet, Walid Gaaloul, 2011, 2011 Seventh International Conference on Semantics, Knowledge and Grids.

Vérification formelle d'architectures logicielles à base d'UML

Abdelmajid Ben Hamadou, Mohamed Graiet, Mohamed Tahar Bhiri, 2008, Obj. Logiciel Base données Réseaux.

Verifying Composite Service Transactional Behavior with EVENT-B

Mohamed Graiet, Walid Gaaloul, Lazhar Hamel, 2011, ECSA.

Automatic Refinement for Event-B through Annotated Patterns

Mamoun Filali, Jean-Paul Bodeveix, Mohamed Tahar Bhiri, 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

Modélisation événementielle pour la construction de diagrammes de classes

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières, 2008, Ingénierie des Systèmes d Inf..

Checking Non-functional Properties of UML2.0 Components Assembly

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2013, WETICE.

A contractual approach for the verification of UML2.0 software architectures

Mohamed Tahar Bhiri, Mourad Kmimech, Taoufik Sakka Rouis, 2018, Int. J. Comput. Appl. Technol..

Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL

Mohamed Tahar Bhiri, Riadh Robbana, Farah Fourati, 2016, ISDA.

Formal Event-B Modeling of the MICONIC Application

Mohamed Tahar Bhiri, Sabrine Ammar, 2021, SoMeT.

A Formal Approach Combining Event-B and PDDL for Planning Problems

Mohamed Tahar Bhiri, Sabrine Ammar, 2021, ICSOFT.