Yousra Bendaly Hlaoui

Publication Activity (10 Years)

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

Top Topics

Reverse Engineer

Uml Activity Diagrams

Top Venues

COMPSAC Workshops

Publications

Emna Souidi, Lamia Zouhaier, Yousra Bendaly Hlaoui
IoT for Real-time Accessibility Ontology Population to Context-awareness Adapt User Interfaces. COMPSAC (2022)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Ben Ayed
A reactive system for specifying and running flexible cloud service business processes based on machine learning. COMPSAC (2021)
Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed
A Specific Language for Developing Business Process by Refinement based on BPMN 2.0. ICSOFT (2021)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives. OCTA (2020)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Ben Ayed
A control system for managing the flexibility in BPMN models of cloud service workflows. CLOUD (2020)
Yousra Bendaly Hlaoui, Lamia Zouhaier, Leila Ben Ayed
Model driven approach for adapting user interfaces to the context of accessibility: case of visually impaired users. J. Multimodal User Interfaces 13 (4) (2019)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Institution-based UML activity diagram transformation with semantic preservation. Int. J. Comput. Sci. Eng. 18 (3) (2019)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. COMPSAC (2) (2019)
Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed
A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement. COMPSAC (2) (2019)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni BenAyed
Patterns for Modelling and Composing Flexible Workflows from Cloud Services. ICEIS (2) (2018)
Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Refinement based Verification Approach of BPMN Models using NuSMV. ICSOFT (2018)
Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process. ICSOFT (Selected Papers) (2018)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni BenAyed
A Model Driven Approach for Modelling and Running Flexible Cloud Service Workflows. AICCSA (2017)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Generic E-Assessment Process Development based on Reverse Engineering. Int. J. Inf. Commun. Technol. Educ. 13 (2) (2017)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation. COMPSAC (1) (2017)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. COMPSAC (1) (2017)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Modeling Approach for Flexible Workflow Applications of Cloud Services. COMPSAC (2) (2017)
Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. COMPSAC (2) (2017)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users. CISIM (2017)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Adapted E-Assessment System Based on Cloud Computing. ICALT (2017)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation. ICEIS (2) (2017)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services. CSEE&T (2016)
Yousra Bendaly Hlaoui, Fahima Hajjej, Leila Jemni Ben Ayed
Learning analytics for the development of adapted e-assessment workflow system. Comput. Appl. Eng. Educ. 24 (6) (2016)
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
Message from the MVDA Workshop Organizers. COMPSAC Workshops (2016)
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Model Driven Approach for Design Flexible e-Assessment. CSEDU (1) (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Reverse engineering to create a generic workflow E-Assessment system. ICTA (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Personalized and Generic E-assessment Process Based on Cloud Computing. COMPSAC Workshops (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Using Cloud Computing for E-assessment Process Integration. EC-TEL (2015)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed
Towards to Compose Cloud Service Flexible Workflow Applications. COMPSAC Workshops (2015)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Model Driven Approach for Improving the Generation of Accessible User Interfaces. ICSOFT-PT (2015)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. COMPSAC (2014)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People. ICEIS (3) (2014)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models. iiWAS (2014)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Adapted e-Assessment System: Based on Workflow Refinement. ICSLE (2014)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Institution Theory for Services Oriented Applications. COMPSAC Workshops (2014)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Towards an Institutional Representation for the B Model Oriented Specification. COMPSAC Workshops (2014)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Meta-model Transformation from UML Activity Diagrams to Event-B Models. COMPSAC Workshops (2014)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning. KEOD (2013)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi
Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. COMPSAC Workshops (2013)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. COMPSAC Workshops (2013)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A specification approach based on adapted workflow for personalized e-assessment systems. ICTA (2013)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes
A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application. COMPSAC Workshops (2012)
Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui
UML AD Refinement Patterns for Modeling Workflow Applications. COMPSAC Workshops (2012)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. COMPSAC Workshops (2011)
Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui
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. ICSOFT (2) (2010)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. NOTERE (2010)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Patterns for Modeling and Composing Workflows from Grid Services. ICEIS (2009)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
An MDA approach for composing grid services workflows. ICTA (2009)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Extended UML activity diagram for composing Grid services workflows. CRiSIS (2008)