Yousra Bendaly Hlaoui

Affiliations:
  • University of Tunis-Elmaner, Tunisia


According to our database1, Yousra Bendaly Hlaoui authored at least 53 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Adaptive user interface based on accessibility context.
Multim. Tools Appl., September, 2023

2022
IoT for Real-time Accessibility Ontology Population to Context-awareness Adapt User Interfaces.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
A Specific Language for Developing Business Process by Refinement based on BPMN 2.0.
Proceedings of the 16th International Conference on Software Technologies, 2021

A Reinforcement Learning Based Approach of Context-driven Adaptive User Interfaces.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

A reactive system for specifying and running flexible cloud service business processes based on machine learning.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives.
Proceedings of the International Multi-Conference on: "Organization of Knowledge and Advanced Technologies", 2020

A control system for managing the flexibility in BPMN models of cloud service workflows.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019
Model driven approach for adapting user interfaces to the context of accessibility: case of visually impaired users.
J. Multimodal User Interfaces, 2019

Institution-based UML activity diagram transformation with semantic preservation.
Int. J. Comput. Sci. Eng., 2019

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.
Proceedings of the Software Technologies - 13th International Conference, 2018

A Refinement based Verification Approach of BPMN Models using NuSMV.
Proceedings of the 13th International Conference on Software Technologies, 2018

Patterns for Modelling and Composing Flexible Workflows from Cloud Services.
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

A New Approach for the Verification of BPMN Models Using Refinement Patterns.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
Generic E-Assessment Process Development based on Reverse Engineering.
Int. J. Inf. Commun. Technol. Educ., 2017

A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation.
Proceedings of the ICEIS 2017, 2017

Adapted E-Assessment System Based on Cloud Computing.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Cloud Adapted Workflow e-Assessment System: Cloud-AWAS.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Modeling Approach for Flexible Workflow Applications of Cloud Services.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users.
Proceedings of the Computer Information Systems and Industrial Management, 2017

A Model Driven Approach for Modelling and Running Flexible Cloud Service Workflows.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016
Learning analytics for the development of adapted e-assessment workflow system.
Comput. Appl. Eng. Educ., 2016

A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

Message from the MVDA Workshop Organizers.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Reverse engineering to create a generic workflow E-Assessment system.
Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015

A Model Driven Approach for Improving the Generation of Accessible User Interfaces.
Proceedings of the ICSOFT-PT 2015, 2015

Using Cloud Computing for E-assessment Process Integration.
Proceedings of the Design for Teaching and Learning in a Networked World, 2015

A Model Driven Approach for Design Flexible e-Assessment.
Proceedings of the CSEDU 2015, 2015

Personalized and Generic E-assessment Process Based on Cloud Computing.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Towards to Compose Cloud Service Flexible Workflow Applications.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Message from the MVDA 2015 Workshop Organizers.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.
Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

Adapted e-Assessment System: Based on Workflow Refinement.
Proceedings of the Emerging Issues in Smart Learning, 2014

A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People.
Proceedings of the ICEIS 2014, 2014

Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

A Meta-model Transformation from UML Activity Diagrams to Event-B Models.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Towards an Institutional Representation for the B Model Oriented Specification.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Institution Theory for Services Oriented Applications.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
A specification approach based on adapted workflow for personalized e-assessment systems.
Proceedings of the Fourth International Conference on Information and Communication Technology and Accessibility, 2013

Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning.
Proceedings of the KEOD 2013, 2013

Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
UML AD Refinement Patterns for Modeling Workflow Applications.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

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.
Proceedings of the ICSOFT 2010, 2010

2009
An MDA approach for composing grid services workflows.
Proceedings of the ICTA 2009, 2009

Patterns for Modeling and Composing Workflows from Grid Services.
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008
Extended UML activity diagram for composing Grid services workflows.
Proceedings of the CRiSIS '08, 2008


  Loading...