Leila Ben Ayed
Leila Ben Ayed
Professor - National School of Computer Science ENSI Tunisia - PHD in Computer Science FST-INPL
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
1772010
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
782014
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
702015
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
312006
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
292007
A multi-parameters personalization approach of learning scenarios
F Essalmi, LJB Ayed, M Jemni
Seventh IEEE International Conference on Advanced Learning Technologies …, 2007
252007
Toward an UML-based composition of grid services workflows
YBD Hlaoui, LJ BenAyed
Proceedings of the 2nd international workshop on Agent-oriented software …, 2008
232008
Transformation des spécifications B en des diagrammes UML
H Fekih, L Jemni, S Merz
212004
Graphical uml view from extended backus-naur form grammars
F Essalmi, LJB Ayed
Sixth IEEE International Conference on Advanced Learning Technologies (ICALT …, 2006
202006
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
162017
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
152008
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
142014
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
122017
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
112010
Building adaptive accessible context-aware for user interface tailored to disable users
L Zouhaier, YB Hlaoui, LJB Ayed
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
92013
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
92011
An ontology based approach for selection of appropriate e-learning personalization strategy
F Essalmi, LJB Ayed, M Jemni
2010 10th IEEE International Conference on Advanced Learning Technologies …, 2010
92010
Personalized and generic e-assessment process based on cloud computing
F Hajjej, YB Hlaoui, LJB Ayed
2015 IEEE 39th Annual Computer Software and Applications Conference 3, 387-392, 2015
82015
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
82014
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
82009
The system can't perform the operation now. Try again later.
Articles 1–20