Extended UML activity diagram for composing Grid services workflows. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (CRiSIS, 2008)

Patterns for Modeling and Composing Workflows from Grid Services. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICEIS, 2009)

An MDA approach for composing grid services workflows. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICTA, 2009)

An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B. - Leila Jemni Ben Ayed; Najet Hamdi; Yousra Bendaly Hlaoui (ICSOFT (2), 2010)

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (NOTERE, 2010)

A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2011)

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed; Imen Ben Fraj; Ahlem Ben Younes (COMPSAC Workshops, 2012)

UML AD Refinement Patterns for Modeling Workflow Applications. - Ahlem Ben Younes; Leila Jemni Ben Ayed; Yousra Bendaly Hlaoui (COMPSAC Workshops, 2012)

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed; Rahma Jlassi (COMPSAC Workshops, 2013)

Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2013)

Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (KEOD, 2013)

A specification approach based on adapted workflow for personalized e-assessment systems. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICTA, 2013)

Institution Theory for Services Oriented Applications. - Amine Achouri; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2014)

Towards an Institutional Representation for the B Model Oriented Specification. - Amine Achouri; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2014)

A Meta-model Transformation from UML Activity Diagrams to Event-B Models. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2014)

Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC, 2014)

A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICEIS (3), 2014)

Adapted e-Assessment System: Based on Workflow Refinement. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICSLE, 2014)

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (iiWAS, 2014)

Message from the MVDA 2015 Workshop Organizers. - Leila Jemni Ben Ayed; Fevzi Belli; Ahlem Ben Younes; Yousra Bendaly Hlaoui (COMPSAC Workshops, 2015)

Towards to Compose Cloud Service Flexible Workflow Applications. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Ahlem Ben Younes; Leila Jemni Ben Ayed (COMPSAC Workshops, 2015)

Personalized and Generic E-assessment Process Based on Cloud Computing. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2015)

A Model Driven Approach for Design Flexible e-Assessment. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (CSEDU (1), 2015)

Using Cloud Computing for E-assessment Process Integration. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (EC-TEL, 2015)

A Model Driven Approach for Improving the Generation of Accessible User Interfaces. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICSOFT-PT, 2015)

Reverse engineering to create a generic workflow E-Assessment system. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICTA, 2015)

Message from the MVDA Workshop Organizers. - Leila Jemni Ben Ayed; Fevzi Belli; Ahlem Ben Younes; Yousra Bendaly Hlaoui (COMPSAC Workshops, 2016)

A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (CSEE&T, 2016)

Learning analytics for the development of adapted e-assessment workflow system. - Yousra Bendaly Hlaoui; Fahima Hajjej; Leila Jemni Ben Ayed (Comput. Appl. Eng. Educ., 2016)

A Model Driven Approach for Modelling and Running Flexible Cloud Service Workflows. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Leila Jemni BenAyed (AICCSA, 2017)

Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (CISIM, 2017)

A Modeling Approach for Flexible Workflow Applications of Cloud Services. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC (2), 2017)

Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC (1), 2017)

From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. - Yousra Bendaly Hlaoui; Ahlem Ben Younes; Leila Jemni Ben Ayed; Manel Fathalli (COMPSAC (2), 2017)

Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC (1), 2017)

Adapted E-Assessment System Based on Cloud Computing. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICALT, 2017)

A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICEIS (2), 2017)

Generic E-Assessment Process Development based on Reverse Engineering. - Fahima Hajjej; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (Int. J. Inf. Commun. Technol. Educ., 2017)

A New Approach for the Verification of BPMN Models Using Refinement Patterns. - Salma Ayari; Yosra Ben Dali Hlaoui; Leila Jemni Ben Ayed (COMPSAC (1), 2018)

Patterns for Modelling and Composing Flexible Workflows from Cloud Services. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Leila Jemni BenAyed (ICEIS (2), 2018)

A Refinement based Verification Approach of BPMN Models using NuSMV. - Salma Ayari; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (ICSOFT, 2018)

Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process. - Yousra Bendaly Hlaoui; Salma Ayari; Leila Jemni Ben Ayed (ICSOFT (Selected Papers), 2018)

A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement. - Salma Ayari; Yousra Bendaly Hlaoui; Leila Ben Ayed (COMPSAC (2), 2019)

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Ben Ayed; Mayssa Bessifi (COMPSAC (2), 2019)

Institution-based UML activity diagram transformation with semantic preservation. - Amine Achouri; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (Int. J. Comput. Sci. Eng., 2019)

Model driven approach for adapting user interfaces to the context of accessibility: case of visually impaired users. - Yousra Bendaly Hlaoui; Lamia Zouhaier; Leila Ben Ayed (J. Multimodal User Interfaces, 2019)

A control system for managing the flexibility in BPMN models of cloud service workflows. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Leila Ben Ayed (CLOUD, 2020)

Artificial Intelligence's Impacts in Disablity Human Life: Perspectives. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Ben Ayed (OCTA, 2020)

A reactive system for specifying and running flexible cloud service business processes based on machine learning. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Leila Ben Ayed (COMPSAC, 2021)

A Reinforcement Learning Based Approach of Context-driven Adaptive User Interfaces. - Lamia Zouhaier; Yousra Bendaly Hlaoui; Leila Ben Ayed (COMPSAC, 2021)

A Specific Language for Developing Business Process by Refinement based on BPMN 2.0. - Salma Ayari; Yousra Bendaly Hlaoui; Leila Ben Ayed (ICSOFT, 2021)

IoT for Real-time Accessibility Ontology Population to Context-awareness Adapt User Interfaces. - Emna Souidi; Lamia Zouhaier; Yousra Bendaly Hlaoui (COMPSAC, 2022)

Adaptive user interface based on accessibility context. - Lamia Zouhaier; Yosra Ben Dali Hlaoui; Leila Ben Ayed (Multim. Tools Appl., 2023)

An Ontology Alignment Validation Approach Based on Supervised Machine Learning Algorithms and Automatic Schema Matching Approach. - Faten Abbassi; Yousra Bendaly Hlaoui (COMPSAC, 2024)

Supervised Machine Learning Models and Schema Matching Techniques for Ontology Alignment. - Faten Abbassi; Yousra Bendaly Hlaoui (KEOD, 2024)

Machine Learning for Ontology Alignment. - Faten Abbassi; Yousra Bendaly Hlaoui; Faouzi Ben Charrada (ENASE, 2025)

An Approach to Develop Correct-by-Construction Business Process Models Using a Formal Domain Specific Language. - Yousra Bendaly Hlaoui; Salma Ayari (J. Softw. Evol. Process., 2025)