Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Leila Ben Ayed

Leila Jemni Ben Ayed – Leila Jemni BenAyed

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2000
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Ayed00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Ayed00
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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/mta/ZouhaierHA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mta/ZouhaierHA23
Lamia Zouhaier, Yosra Ben Dali Hlaoui, Leila Ben Ayed:
Adaptive user interface based on accessibility context. Multim. Tools Appl. 82(23): 35621-35650 (2023)
2019
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcse/AchouriHA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcse/AchouriHA19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jmui/HlaouiZA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmui/HlaouiZA19
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)
2017
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijdet/EssalmiTAJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdet/EssalmiTAJ17
Fathi Essalmi, Ahmed Tlili, Leila Jemni Ben Ayed, Mohamed Jemni:
Toward Modeling the Learner's Personality Using Educational Games. Int. J. Distance Educ. Technol. 15(4): 21-38 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijicte/HajjejHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijicte/HajjejHA17
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)
2016
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/caee/HlaouiHA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/caee/HlaouiHA16
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)
2015
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/chb/EssalmiAJGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chb/EssalmiAJGK15
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Sabine Graf, Kinshuk:
Generalized metrics for the analysis of E-learning personalization strategies. Comput. Hum. Behav. 48: 310-322 (2015)
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jksucis/LaabidiJABJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jksucis/LaabidiJABJ14
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)
2011
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/MosbahiAK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/MosbahiAK11
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)
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/chb/EssalmiAJKG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chb/EssalmiAJKG10
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf:
A fully personalization strategy of E-learning scenarios. Comput. Hum. Behav. 26(4): 581-591 (2010)
[j3]
- view
  - electronic edition @ uniroma2.it (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ixda/EssalmiAJKG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ixda/EssalmiAJKG10
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)
2009
[j2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/isca/AyedY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isca/AyedY09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jsw/AyedS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsw/AyedS09
Leila Jemni Ben Ayed, Fatma Siala:
Event-B based Verification of Interaction Properties In Multi-Agent Systems. J. Softw. 4(4): 357-364 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZouhaierHA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZouhaierHA21
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed:
A Reinforcement Learning Based Approach of Context-driven Adaptive User Interfaces. COMPSAC 2021: 1463-1468
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/FrajHA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/FrajHA21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/NejiCSA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/NejiCSA21
Sameh Neji, Tarek Chenaina, Abdullah M. Shoeb, Leila Ben Ayed:
HIR: A Hybrid IR Ranking Model. COMPSAC 2021: 1717-1722
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/NejiCSA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/NejiCSA21
Sameh Neji, Tarek Chenaina, Abdullah M. Shoeb, Leila Ben Ayed:
SemApp: A Semantic Approach to Enhance Information Retrieval. ICCSA (3) 2021: 62-78
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/AyariHA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyariHA21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kes/NejiCSA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/NejiCSA21
Sameh Neji, Tarek Chenaina, Abdullah M. Shoeb, Leila Ben Ayed:
HyRa: An Effective Hybrid Ranking Model. KES 2021: 1111-1120
2020
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcloud/FrajHA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcloud/FrajHA20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/octa/ZouhaierHA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/octa/ZouhaierHA20
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Ben Ayed:
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives. OCTA 2020: 1-2
2019
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AyariHA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AyariHA19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/YounesHAB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/YounesHAB19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AyariHA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AyariHA18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/FrajHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/FrajHB18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/HlaouiAA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/HlaouiAA18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/AyariHA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyariHA18
Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Refinement based Verification Approach of BPMN Models using NuSMV. ICSOFT 2018: 563-574
2017
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/FradjHB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/FradjHB17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cisim/ZouhaierHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisim/ZouhaierHA17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/FrajHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/FrajHA17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HlaouiYAF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HlaouiYAF17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HajjejHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HajjejHA17
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. COMPSAC (1) 2017: 438-447
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZouhaierHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZouhaierHA17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/TliliEAJK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/TliliEAJK17
Ahmed Tlili, Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk:
A Smart Educational Game to Model Personality Using Learning Analytics. ICALT 2017: 131-135
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/HajjejHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/HajjejHA17
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Adapted E-Assessment System Based on Cloud Computing. ICALT 2017: 251-255
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/FrajHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/FrajHA17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ozchi/GhaibiDA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ozchi/GhaibiDA17
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
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AyedBYH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AyedBYH16
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui:
Message from the MVDA Workshop Organizers. COMPSAC Workshops 2016: 214-215
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/HajjejHA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/HajjejHA16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/TliliEAJK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/TliliEAJK16
Ahmed Tlili, Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk:
Towards a Generic UML Model to Support Designing Educational Role Playing Games. ICALT 2016: 153-157
2015
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AyedBYH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AyedBYH15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HajjejHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HajjejHA15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/FrajHYA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/FrajHYA15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/HajjejHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/HajjejHA15
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
A Model Driven Approach for Design Flexible e-Assessment. CSEDU (1) 2015: 364-371
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/HajjejHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/HajjejHA15
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Using Cloud Computing for E-assessment Process Integration. EC-TEL 2015: 577-581
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/ZouhaierHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/ZouhaierHA15
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
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icta/HajjejHA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icta/HajjejHA15
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Reverse engineering to create a generic workflow E-Assessment system. ICTA 2015: 1-6
2014
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AchouriHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AchouriHA14
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Institution Theory for Services Oriented Applications. COMPSAC Workshops 2014: 516-521
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZouhaierHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZouhaierHA14
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. COMPSAC 2014: 535-540
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AchouriHA14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AchouriHA14a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/YounesHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/YounesHA14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/ZouhaierHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/ZouhaierHA14
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
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icsle/HajjejHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsle/HajjejHA14
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Adapted e-Assessment System: Based on Workflow Refinement. ICSLE 2014: 61-68
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/YounesHA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/YounesHA14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/AchouriA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/AchouriA14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ZouhaierHA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ZouhaierHA13
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
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/YounesHAJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/YounesHAJ13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/ZouhaierDA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/ZouhaierDA13
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
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/AchouriA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AchouriA13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icta/HajjejHA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icta/HajjejHA13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icta/MadaniAJS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icta/MadaniAJS13
Halima Hebiri Madani, Leila Jemni Ben Ayed, Mohamed Jemni, Demetrios G. Sampson:
Towards accessible and personalized mobile learning for learners with disabilities. ICTA 2013: 1-6
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/southchi/EssalmiAJKG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/southchi/EssalmiAJKG13
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf:
Automating the E-learning Personalization. CHI-KDD 2013: 342-349
2012
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HlaouiAFY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HlaouiAFY12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/YounesAH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/YounesAH12
Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui:
UML AD Refinement Patterns for Modeling Workflow Applications. COMPSAC Workshops 2012: 236-241
2011
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HlaouiA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HlaouiA11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/EssalmiAJKG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/EssalmiAJKG11
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf:
Evaluation of Personalization Strategies Based on Fuzzy Logic. ICALT 2011: 254-256
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iiwas/YounesA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iiwas/YounesA11
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
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/EssalmiAJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/EssalmiAJ10
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/AyedYA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyedYA10
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/YounesA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/YounesA10
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/AyedHH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/AyedHH10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/notere/HlaouiB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/notere/HlaouiB10
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
2009
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/HlaouiA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/HlaouiA09
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Patterns for Modeling and Composing Workflows from Grid Services. ICEIS 2009: 615-626
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icta/EssalmiA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icta/EssalmiA09
Fathi Essalmi, Leila Jemni Ben Ayed:
Personalization of Learning Scenarios for Programming Languages. ICTA 2009: 269-272
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icta/HlaouiB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icta/HlaouiB09
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
An MDA approach for composing grid services workflows. ICTA 2009: 337-344
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/services/YounesA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/services/YounesA09
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/AyedJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/AyedJ09
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/YounesA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/YounesA09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/AyedS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/AyedS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/YounesA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/YounesA08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/HlaouiA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/HlaouiA08
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed:
Extended UML activity diagram for composing Grid services workflows. CRiSIS 2008: 207-212
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/AyedS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/AyedS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/EssalmiAJK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/EssalmiAJK08
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk:
UML Class Diagram as a Navigational Support for E-Learning. ICALT 2008: 946-948
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/GawanmehTA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/GawanmehTA08
Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed:
Event-B based invariant checking of secrecy in group key protocols. LCN 2008: 950-957
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/vveis/AyedS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/AyedS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/YounesA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/YounesA07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/EssalmiAJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/EssalmiAJ07
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni:
A Multi-Parameters Personalization Approach of Learning Scenarios. ICALT 2007: 90-91
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icsoft/MosbahiJJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/MosbahiJJ07
Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray:
A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/MosbahiJA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/MosbahiJA06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalt/EssalmiA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalt/EssalmiA06
Fathi Essalmi, Leila Jemni Ben Ayed:
Graphical UML View from Extended Backus-Naur Form Grammars. ICALT 2006: 544-546
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FekihAM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FekihAM06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SaadA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SaadA05
Mouna Saad, Leila Jemni Ben Ayed:
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. ATVA 2005: 308-322
2002
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/MosbahiJAJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/MosbahiJAJ02
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

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AchouriA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AchouriA16
Amine Achouri, Leila Jemni Ben Ayed:
A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory. CoRR abs/1606.02311 (2016)

Coauthor Index

see FAQ

a service of

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.