Yousra Bendaly Hlaoui
Affiliations:- University of Tunis-Elmaner, Tunisia
According to our database1,
Yousra Bendaly Hlaoui
authored at least 55 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Supervised Machine Learning Models and Schema Matching Techniques for Ontology Alignment.
Proceedings of the 16th International Joint Conference on Knowledge Discovery, 2024
An Ontology Alignment Validation Approach Based on Supervised Machine Learning Algorithms and Automatic Schema Matching Approach.
Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024
2023
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
Proceedings of the 16th International Conference on Software Technologies, 2021
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
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
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
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
Proceedings of the 13th International Conference on Software Technologies, 2018
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
2017
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
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
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
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
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
2016
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
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015
Proceedings of the ICSOFT-PT 2015, 2015
Proceedings of the Design for Teaching and Learning in a Networked World, 2015
Proceedings of the CSEDU 2015, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
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
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
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
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
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013
2012
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012
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
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009
2008
Proceedings of the CRiSIS '08, 2008