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
1642010
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
672014
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
562015
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
302006
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
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
A multi-parameters personalization approach of learning scenarios
F Essalmi, LJB Ayed, M Jemni
Seventh IEEE International Conference on Advanced Learning Technologies …, 2007
222007
Graphical uml view from extended backus-naur form grammars
F Essalmi, LJB Ayed
Sixth IEEE International Conference on Advanced Learning Technologies (ICALT …, 2006
182006
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
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
132017
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
102017
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
102014
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
102010
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
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
82013
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
82011
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
Patterns for modeling and composing workflows from grid services
YB Hlaoui, LJB Ayed
International Conference on Enterprise Information Systems, 615-626, 2009
82009
Event-B based invariant checking of secrecy in group key protocols
A Gawanmeh, S Tahar, LJB Ayed
2008 33rd IEEE Conference on Local Computer Networks (LCN), 950-957, 2008
82008
The system can't perform the operation now. Try again later.
Articles 1–20