Follow
Leila Ben Ayed
Leila Ben Ayed
Professor - National School of Computer Science ENSI Tunisia - PHD in Computer Science FST-INPL-MES
Verified email at ensi-uma.tn
Title
Cited by
Cited by
Year
A fully personalization strategy of E-learning scenarios
F Essalmi, LJB Ayed, M Jemni, S Graf
Computers in Human Behavior 26 (4), 581-591, 2010
2532010
Learning technologies for people with disabilities
M Laabidi, M Jemni, LJB Ayed, HB Brahim, AB Jemaa
Journal of King Saud University-Computer and Information Sciences 26 (1), 29-45, 2014
1312014
Generalized metrics for the analysis of E-learning personalization strategies
F Essalmi, LJB Ayed, M Jemni, S Graf
Computers in Human Behavior 48, 310-322, 2015
1212015
Transformation of B specifications into UML class diagrams and state machines
H Fekih, LJB Ayed, S Merz
Proceedings of the 2006 ACM symposium on Applied computing, 1840-1844, 2006
362006
Using UML activity diagrams and event B for distributed and parallel applications
AB Younes, LJB Ayed
31st Annual International Computer Software and Applications Conference …, 2007
342007
Toward modeling the learner's personality using educational games
F Essalmi, A Tlili, LJB Ayed, M Jemni
International Journal of Distance Education Technologies (IJDET) 15 (4), 21-38, 2017
272017
Toward an UML-based composition of grid services workflows
YBD Hlaoui, LJ BenAyed
Proceedings of the 2nd international workshop on Agent-oriented software …, 2008
272008
A smart educational game to model personality using learning analytics
A Tlili, F Essalmi, LJB Ayed, M Jemni
2017 IEEE 17th International conference on advanced learning technologies …, 2017
262017
A multi-parameters personalization approach of learning scenarios
F Essalmi, LJB Ayed, M Jemni
Seventh IEEE International Conference on Advanced Learning Technologies …, 2007
262007
Transformation des spécifications B en des diagrammes UML
H Fekih, L Jemni, S Merz
252004
A meta-model transformation from UML activity diagrams to Event-B models
AB Younes, YB Hlaoui, LJB Ayed
2014 IEEE 38th International Computer Software and Applications Conference …, 2014
212014
Graphical uml view from extended backus-naur form grammars
F Essalmi, LJB Ayed
Sixth IEEE International Conference on Advanced Learning Technologies (ICALT …, 2006
212006
From UML activity diagrams to Event B for the specification and the verification of workflow applications
AB Younes, LJB Ayed
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
182008
Model driven approach for adapting user interfaces to the context of accessibility: case of visually impaired users
LBA , yousra Hlaoui Bendaly, Lamia Zouhaier
Journal of Multimodal User Interfaces 13 (4), 293-320, 2019
162019
Symbolic model checking supporting formal verification of grid service workflow models specified by UML activity diagrams
YB Hlaoui, LJ Benayed
2010 10th Annual International Conference on New Technologies of Distributed …, 2010
152010
Learning analytics for the development of adapted e‐assessment workflow system
Y Bendaly Hlaoui, F Hajjej, L Jemni Ben Ayed
Computer Applications in Engineering Education 24 (6), 951-966, 2016
142016
A formal semantic for UML 2.0 activity diagram based on institution theory
A Achouri, LJ Ayed
arXiv preprint arXiv:1606.02311, 2016
132016
Generating accessible multimodal user interfaces using MDA-based adaptation approach
L Zouhaier, YB Hlaoui, LJB Ayed
2014 IEEE 38th Annual Computer Software and Applications Conference, 535-540, 2014
132014
A model transformation approach based on homomorphic mappings between UML activity diagrams and bpel4ws specifications of grid service workflows
YB Hlaoui, LJ Benayed
2011 IEEE 35th Annual Computer Software and Applications Conference …, 2011
122011
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification
AB Younes, LJB Ayed
2009 Congress on Services-I, 330-333, 2009
122009
The system can't perform the operation now. Try again later.
Articles 1–20