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
2282010
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
1042014
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
1032015
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
352006
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
332007
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 multi-parameters personalization approach of learning scenarios
F Essalmi, LJB Ayed, M Jemni
Seventh IEEE International Conference on Advanced Learning Technologies …, 2007
262007
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
242017
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
232017
Transformation des spécifications B en des diagrammes UML
H Fekih, L Jemni, S Merz
232004
Graphical uml view from extended backus-naur form grammars
F Essalmi, LJB Ayed
Sixth IEEE International Conference on Advanced Learning Technologies (ICALT …, 2006
192006
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
182014
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
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
122016
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
A formal semantic for UML 2.0 activity diagram based on institution theory
A Achouri, LJ Ayed
arXiv preprint arXiv:1606.02311, 2016
112016
From graphical design in STATEMATE to formal specification in Event B
LJB Ayed, AB Younes
2006 2nd International Conference on Information & Communication …, 2006
112006
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
102014
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
102013
The system can't perform the operation now. Try again later.
Articles 1–20