![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Yousra Bendaly Hlaoui
Person information
- affiliation: University of Tunis-Elmaner, Tunisia
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j5]Lamia Zouhaier
, Yosra Ben Dali Hlaoui, Leila Ben Ayed:
Adaptive user interface based on accessibility context. Multim. Tools Appl. 82(23): 35621-35650 (2023) - 2022
- [c48]Emna Souidi, Lamia Zouhaier, Yousra Bendaly Hlaoui:
IoT for Real-time Accessibility Ontology Population to Context-awareness Adapt User Interfaces. COMPSAC 2022: 1462-1467 - 2021
- [c47]Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed
:
A Reinforcement Learning Based Approach of Context-driven Adaptive User Interfaces. COMPSAC 2021: 1463-1468 - [c46]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: 1483-1489 - [c45]Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed:
A Specific Language for Developing Business Process by Refinement based on BPMN 2.0. ICSOFT 2021: 489-496 - 2020
- [c44]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: 537-543 - [c43]Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed:
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives. OCTA 2020: 1-2
2010 – 2019
- 2019
- [j4]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): 240-251 (2019) - [j3]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): 293-320 (2019) - [c42]Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed:
A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement. COMPSAC (2) 2019: 549-554 - [c41]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: 561-566 - 2018
- [c40]Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed:
A New Approach for the Verification of BPMN Models Using Refinement Patterns. COMPSAC (1) 2018: 807-808 - [c39]Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni BenAyed:
Patterns for Modelling and Composing Flexible Workflows from Cloud Services. ICEIS (2) 2018: 306-313 - [c38]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: 397-420 - [c37]Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Refinement based Verification Approach of BPMN Models using NuSMV. ICSOFT 2018: 563-574 - 2017
- [j2]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): 1-17 (2017) - [c36]Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni BenAyed:
A Model Driven Approach for Modelling and Running Flexible Cloud Service Workflows. AICCSA 2017: 606-613 - [c35]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: 73-84 - [c34]Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Modeling Approach for Flexible Workflow Applications of Cloud Services. COMPSAC (2) 2017: 175-180 - [c33]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: 187-192 - [c32]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. COMPSAC (1) 2017: 438-447 - [c31]Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation. COMPSAC (1) 2017: 881-886 - [c30]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Adapted E-Assessment System Based on Cloud Computing. ICALT 2017: 251-255 - [c29]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: 467-473 - 2016
- [j1]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): 951-966 (2016) - [c28]Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA Workshop Organizers. COMPSAC Workshops 2016: 214-215 - [c27]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: 157-165 - 2015
- [c26]Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops 2015: 373-374 - [c25]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Personalized and Generic E-assessment Process Based on Cloud Computing. COMPSAC Workshops 2015: 387-392 - [c24]Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed:
Towards to Compose Cloud Service Flexible Workflow Applications. COMPSAC Workshops 2015: 404-409 - [c23]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Model Driven Approach for Design Flexible e-Assessment. CSEDU (1) 2015: 364-371 - [c22]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Using Cloud Computing for E-assessment Process Integration. EC-TEL 2015: 577-581 - [c21]Lamia Zouhaier
, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Model Driven Approach for Improving the Generation of Accessible User Interfaces. ICSOFT-PT 2015: 168-173 - [c20]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Reverse engineering to create a generic workflow E-Assessment system. ICTA 2015: 1-6 - 2014
- [c19]Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Institution Theory for Services Oriented Applications. COMPSAC Workshops 2014: 516-521 - [c18]Lamia Zouhaier
, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. COMPSAC 2014: 535-540 - [c17]Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Towards an Institutional Representation for the B Model Oriented Specification. COMPSAC Workshops 2014: 728-733 - [c16]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: 740-745 - [c15]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: 120-127 - [c14]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Adapted e-Assessment System: Based on Workflow Refinement. ICSLE 2014: 61-68 - [c13]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: 479-483 - 2013
- [c12]Lamia Zouhaier
, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. COMPSAC Workshops 2013: 157-162 - [c11]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: 187-192 - [c10]Lamia Zouhaier
, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning. KEOD 2013: 413-418 - [c9]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A specification approach based on adapted workflow for personalized e-assessment systems. ICTA 2013: 1-6 - 2012
- [c8]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: 224-229 - [c7]Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui:
UML AD Refinement Patterns for Modeling Workflow Applications. COMPSAC Workshops 2012: 236-241 - 2011
- [c6]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: 243-248 - 2010
- [c5]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: 329-332 - [c4]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: 255-260
2000 – 2009
- 2009
- [c3]Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Patterns for Modeling and Composing Workflows from Grid Services. ICEIS 2009: 615-626 - [c2]Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
An MDA approach for composing grid services workflows. ICTA 2009: 337-344 - 2008
- [c1]Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Extended UML activity diagram for composing Grid services workflows. CRiSIS 2008: 207-212
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint