default search action
Leila Ben Ayed
Leila Jemni Ben Ayed – Leila Jemni BenAyed
Person information
- affiliation: University of Tunis, Laboratory LaTICE, Tunisia
- affiliation: University of Manouba, ENSI, Tunisia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c83]Dhia ElHak Bouslimi, Yahia Bouslimi, Afef Kacem Echi, Leila Ben Ayed:
Deep Learning for Diabetic Retinopathy Early Detection and Severity Grading. ATSIP 2024: 165-170 - [c82]Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed:
A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0. ICSOFT 2024: 504-510 - 2023
- [j13]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
- [c81]Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed:
An Approach for the Specification and Verification of Hadoop-MapReduce Workflow. COMPSAC 2022: 1828-1831 - 2021
- [c80]Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed
A Reinforcement Learning Based Approach of Context-driven Adaptive User Interfaces. COMPSAC 2021: 1463-1468 - [c79]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 - [c78]Sameh Neji, Tarek Chenaina, Abdullah M. Shoeb, Leila Ben Ayed
HIR: A Hybrid IR Ranking Model. COMPSAC 2021: 1717-1722 - [c77]Sameh Neji, Tarek Chenaina, Abdullah M. Shoeb, Leila Ben Ayed:
SemApp: A Semantic Approach to Enhance Information Retrieval. ICCSA (3) 2021: 62-78 - [c76]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 - [c75]Sameh Neji, Tarek Chenaina, Abdullah M. Shoeb, Leila Ben Ayed
HyRa: An Effective Hybrid Ranking Model. KES 2021: 1111-1120 - 2020
- [c74]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 - [c73]Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed:
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives. OCTA 2020: 1-2
2010 – 2019
- 2019
- [j12]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) - [j11]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) - [c72]Salma Ayari, Yousra Bendaly Hlaoui, Leila Ben Ayed:
A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement. COMPSAC (2) 2019: 549-554 - [c71]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
- [c70]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 - [c69]Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni BenAyed:
Patterns for Modelling and Composing Flexible Workflows from Cloud Services. ICEIS (2) 2018: 306-313 - [c68]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 - [c67]Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Refinement based Verification Approach of BPMN Models using NuSMV. ICSOFT 2018: 563-574 - 2017
- [j10]Fathi Essalmi, Ahmed Tlili
Toward Modeling the Learner's Personality Using Educational Games. Int. J. Distance Educ. Technol. 15(4): 21-38 (2017) - [j9]Fahima Hajjej
Generic E-Assessment Process Development based on Reverse Engineering. Int. J. Inf. Commun. Technol. Educ. 13(2): 1-17 (2017) - [c66]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 - [c65]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 - [c64]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 - [c63]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 - [c62]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. COMPSAC (1) 2017: 438-447 - [c61]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 - [c60]Ahmed Tlili
A Smart Educational Game to Model Personality Using Learning Analytics. ICALT 2017: 131-135 - [c59]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Adapted E-Assessment System Based on Cloud Computing. ICALT 2017: 251-255 - [c58]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 - [c57]Nadia Ghaibi, Olfa Dâassi, Leila Jemni Ben Ayed:
A tool support for the adaptation of user interfaces based on a business rules management system. OZCHI 2017: 162-169 - 2016
- [j8]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) - [c56]Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA Workshop Organizers. COMPSAC Workshops 2016: 214-215 - [c55]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 - [c54]Ahmed Tlili
Towards a Generic UML Model to Support Designing Educational Role Playing Games. ICALT 2016: 153-157 - [i1]Amine Achouri, Leila Jemni Ben Ayed:
A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory. CoRR abs/1606.02311 (2016) - 2015
- [j7]Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni
Generalized metrics for the analysis of E-learning personalization strategies. Comput. Hum. Behav. 48: 310-322 (2015) - [c53]Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops 2015: 373-374 - [c52]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Personalized and Generic E-assessment Process Based on Cloud Computing. COMPSAC Workshops 2015: 387-392 - [c51]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 - [c50]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Model Driven Approach for Design Flexible e-Assessment. CSEDU (1) 2015: 364-371 - [c49]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Using Cloud Computing for E-assessment Process Integration. EC-TEL 2015: 577-581 - [c48]Lamia Zouhaier
A Model Driven Approach for Improving the Generation of Accessible User Interfaces. ICSOFT-PT 2015: 168-173 - [c47]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Reverse engineering to create a generic workflow E-Assessment system. ICTA 2015: 1-6 - 2014
- [j6]Mohsen Laâbidi, Mohamed Jemni, Leila Jemni Ben Ayed, Hejer Ben Brahim, Amal Ben Jemaa:
Learning technologies for people with disabilities. J. King Saud Univ. Comput. Inf. Sci. 26(Issue): 29-45 (2014) - [c46]Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Institution Theory for Services Oriented Applications. COMPSAC Workshops 2014: 516-521 - [c45]Lamia Zouhaier
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. COMPSAC 2014: 535-540 - [c44]Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Towards an Institutional Representation for the B Model Oriented Specification. COMPSAC Workshops 2014: 728-733 - [c43]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 - [c42]Lamia Zouhaier
A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People. ICEIS (3) 2014: 120-127 - [c41]Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Adapted e-Assessment System: Based on Workflow Refinement. ICSLE 2014: 61-68 - [c40]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 - [c39]Amine Achouri, Leila Jemni Ben Ayed:
UML activity diagram to event-B: A model transformation approach based on the institution theory. IRI 2014: 823-829 - 2013
- [c38]Lamia Zouhaier
Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. COMPSAC Workshops 2013: 157-162 - [c37]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 - [c36]Lamia Zouhaier
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning. KEOD 2013: 413-418 - [c35]Amine Achouri, Leila Jemni Ben Ayed:
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. ICSOFT 2013: 178-185 - [c34]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 - [c33]Halima Hebiri Madani, Leila Jemni Ben Ayed, Mohamed Jemni
Towards accessible and personalized mobile learning for learners with disabilities. ICTA 2013: 1-6 - [c32]Fathi Essalmi
Automating the E-learning Personalization. CHI-KDD 2013: 342-349 - 2012
- [c31]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 - [c30]Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui:
UML AD Refinement Patterns for Modeling Workflow Applications. COMPSAC Workshops 2012: 236-241 - 2011
- [j5]Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui
A formal approach for the development of reactive systems. Inf. Softw. Technol. 53(1): 14-33 (2011) - [c29]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 - [c28]Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni
Evaluation of Personalization Strategies Based on Fuzzy Logic. ICALT 2011: 254-256 - [c27]Ahlem Ben Younes, Leila Jemni Ben Ayed:
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. iiWAS 2011: 523-526 - 2010
- [j4]Fathi Essalmi
A fully personalization strategy of E-learning scenarios. Comput. Hum. Behav. 26(4): 581-591 (2010) - [j3]Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf:
Selection of appropriates E-learning personalization strategies from ontological perspectives. IxD&A 9-10: 65-84 (2010) - [c26]Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni
An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy. ICALT 2010: 724-725 - [c25]Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri:
Using AToM3 for the Verification of Workflow Applications. ICSOFT (2) 2010: 32-39 - [c24]Ahlem Ben Younes, Leila Jemni Ben Ayed:
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. ICSOFT (2) 2010: 312-316 - [c23]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 - [c22]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
- [j2]Leila Jemni Ben Ayed, Ahlem Ben Younes:
Modeling and Verification of Reactive Systems Using STATEMATE and Event B. Int. J. Comput. Their Appl. 16(4): 200-219 (2009) - [j1]Leila Jemni Ben Ayed, Fatma Siala:
Event-B based Verification of Interaction Properties In Multi-Agent Systems. J. Softw. 4(4): 357-364 (2009) - [c21]Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Patterns for Modeling and Composing Workflows from Grid Services. ICEIS 2009: 615-626 - [c20]Fathi Essalmi, Leila Jemni Ben Ayed:
Personalization of Learning Scenarios for Programming Languages. ICTA 2009: 269-272 - [c19]Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
An MDA approach for composing grid services workflows. ICTA 2009: 337-344 - [c18]Ahlem Ben Younes, Leila Jemni Ben Ayed:
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. SERVICES I 2009: 330-333 - [c17]Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi:
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. MSVVEIS 2009: 119-124 - [c16]Ahlem Ben Younes, Leila Jemni Ben Ayed:
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS 2009: 149-155 - 2008
- [c15]Leila Jemni Ben Ayed, Fatma Siala:
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. COMPSAC 2008: 581-584 - [c14]Ahlem Ben Younes, Leila Jemni Ben Ayed:
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. COMPSAC 2008: 643-648 - [c13]Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Extended UML activity diagram for composing Grid services workflows. CRiSIS 2008: 207-212 - [c12]Leila Jemni Ben Ayed, Fatma Siala:
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. DSV-IS 2008: 102-107 - [c11]Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni
UML Class Diagram as a Navigational Support for E-Learning. ICALT 2008: 946-948 - [c10]Amjad Gawanmeh
Event-B based invariant checking of secrecy in group key protocols. LCN 2008: 950-957 - [c9]Leila Jemni Ben Ayed, Fatma Siala:
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. MSVVEIS 2008: 190-198 - 2007
- [c8]Ahlem Ben Younes, Leila Jemni Ben Ayed:
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) 2007: 163-170 - [c7]Fathi Essalmi
A Multi-Parameters Personalization Approach of Learning Scenarios. ICALT 2007: 90-91 - [c6]Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray:
A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310 - 2006
- [c5]Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed:
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. AICCSA 2006: 834-841 - [c4]Fathi Essalmi
Graphical UML View from Extended Backus-Naur Form Grammars. ICALT 2006: 544-546 - [c3]Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz:
Transformation of B specifications into UML class diagrams and state machines. SAC 2006: 1840-1844 - 2005
- [c2]Mouna Saad, Leila Jemni Ben Ayed:
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. ATVA 2005: 308-322 - 2002
- [c1]Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray:
A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM 2002: 216-220 - 2000
- [b1]Leila Jemni Ben Ayed:
Une approche formelle pour la spécification et la vérification des systèmes temps-réel. (A formal approach for the specification and the verification of real-time systems). National Polytechnic Institute of Lorraine, Nancy, France, 2000
Coauthor Index
Yousra Bendaly Hlaoui
aka: Yosra Ben Dali Hlaoui
aka: Yosra Ben Dali Hlaoui
[j13] [c80] [c79] [c76] [c74] [c73] [j12] [j11] [c72] [c71] [c70] [c69] [c68] [c67] [j9] [c66] [c65] [c64] [c63] [c62] [c61] [c59] [c58] [j8] [c56] [c55] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c38] [c37] [c36] [c34] [c31] [c30] [c29] [c23] [c22] [c21] [c19] [c13]
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-09-07 01:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: