Mohamed Tahar Bhiri

49 papers A 1B 4C 18Journal 10Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
A correct-by-construction approach for development of reliable planning problems.
J. Log. Comput.
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
2022 B conf
An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns.
ICCCI
Badr Siala, Mohamed Tahar Bhiri
2022 — conf
Automatic Processing of Planning Problems: Application on Representative Case Studies.
ICCCI (CCIS Volume)
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul
2022 B conf
Validating Event-B models using PDDL.
KES
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
2022 B conf
Xtend Transformation from PDDL to Event-B.
ICCCI
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
2021 C conf
A Formal Approach Combining Event-B and PDDL for Planning Problems.
ICSOFT
Sabrine Ammar, Mohamed Tahar Bhiri
2021 C conf
Formal Event-B Modeling of the MICONIC Application.
SoMeT
Sabrine Ammar, Mohamed Tahar Bhiri
2020 J jnl
An MDE-Based Tool for Early Analysis of UML2.0/PSM Atomic and Composite Components.
IEEE Syst. J.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2018 C conf
A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.
PDCAT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2018 J jnl
A contractual approach for the verification of UML2.0 software architectures.
Int. J. Comput. Appl. Technol.
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2018 — conf
Automatic Planning: From Event-B to PDDL.
MEDI Workshops
Sabrine Ammar, Mohamed Tahar Bhiri
2017 J jnl
An Event-B framework for the validation of Event-B refinement plugins.
CoRR
Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala
2017 C conf
Automatic Refinement for Event-B through Annotated Patterns.
PDP
Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri
2017 C conf
Behavioral Verification of Service Component Architecture.
WETICE
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Cloud Software Architecture.
SoMeT
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
2017 C conf
Towards a Formal Verification Approach for Service Component Architecture.
SoMeT
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
2017 — conf
Towards a formal approach for the verification of SCA/BPEL software architectures.
IISA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech
2017 C conf
UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.
ISDA
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Layth Sliman
2017 C conf
Wr2Fdr Tool Maintenance for Models Checking.
SoMeT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2016 C conf
An Event-B Development Process for the Distributed BIP Framework.
ICFEM
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
2016 — conf
Behavioral Verification of UML2.0 Software Architecture.
SKG
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
2016 C conf
Behavioral Verification of UML2.0/PoSM Components.
SoMeT
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech
2016 C conf
Coupling Event-B/ProB for the Analysis of the Software Architecture Evolution Described in PDDL.
ISDA
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
2016 C conf
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.
WETICE
Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa
2016 — conf
Verification and validation of PDDL descriptions using Event-B formal method.
ICMCS
Farah Fourati, Mohamed Tahar Bhiri, Riadh Robbana
2015 J jnl
Pattern-based model refactoring for the introduction association relationship.
J. King Saud Univ. Comput. Inf. Sci.
Boulbaba Ben Ammar, Mohamed Tahar Bhiri
2015 — conf
Towards a Practical Approach to Check Service Component Architecture.
SKG
Imen Haddad, Mourad Kmimech, Taoufik Sakka Rouis, Mohamed Tahar Bhiri
2014 — conf
From an abstract specification in event-b toward an UML/OCL model.
FormaliSE
Imen Sayar, Mohamed Tahar Bhiri
2013 C conf
Checking Non-functional Properties of UML2.0 Components Assembly.
WETICE
Mohamed Tahar Bhiri, Taoufik Sakka Rouis, Mourad Kmimech
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
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 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
2009 C conf
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model.
ICSEA
Mourad Kmimech, Mohamed Tahar Bhiri, Philippe Aniorté
2008 J jnl
Incremental development of UML specifications using operation refinements.
Innov. Syst. Softw. Eng.
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
2008 J jnl
Modélisation événementielle pour la construction de diagrammes de classes.
Ingénierie des Systèmes d Inf.
Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières
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
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