Leila Ben Ayed
Leila Ben Ayed
Professor - National School of Computer Science ENSI Tunisia - PHD in Computer Science FST-INPL-MES
Verified email at
Cited by
Cited by
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
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
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
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
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
Toward an UML-based composition of grid services workflows
YBD Hlaoui, LJ BenAyed
Proceedings of the 2nd international workshop on Agent-oriented software …, 2008
A multi-parameters personalization approach of learning scenarios
F Essalmi, LJB Ayed, M Jemni
Seventh IEEE International Conference on Advanced Learning Technologies …, 2007
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
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
Transformation des spécifications B en des diagrammes UML
H Fekih, L Jemni, S Merz
Graphical uml view from extended backus-naur form grammars
F Essalmi, LJB Ayed
Sixth IEEE International Conference on Advanced Learning Technologies (ICALT …, 2006
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
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
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
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
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
A formal semantic for UML 2.0 activity diagram based on institution theory
A Achouri, LJ Ayed
arXiv preprint arXiv:1606.02311, 2016
From graphical design in STATEMATE to formal specification in Event B
LJB Ayed, AB Younes
2006 2nd International Conference on Information & Communication …, 2006
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
Towards accessible and personalized mobile learning for learners with disabilities
HH Madani, LJB Ayed, M Jemni, DG Sampson
Fourth International Conference on Information and Communication Technology …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20