Leila Jemni Ben Ayed

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 28

Top Topics

Uml Activity Diagrams

Reverse Engineering

Top Venues

COMPSAC Workshops

Publications

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Institution-based UML activity diagram transformation with semantic preservation. Int. J. Comput. Sci. Eng. 18 (3) (2019)
Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed
A New Approach for the Verification of BPMN Models Using Refinement Patterns. COMPSAC (1) (2018)
Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Refinement based Verification Approach of BPMN Models using NuSMV. ICSOFT (2018)
Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process. ICSOFT (Selected Papers) (2018)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Generic E-Assessment Process Development based on Reverse Engineering. Int. J. Inf. Commun. Technol. Educ. 13 (2) (2017)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation. COMPSAC (1) (2017)
Nadia Ghaibi, Olfa Dâassi, Leila Jemni Ben Ayed
A tool support for the adaptation of user interfaces based on a business rules management system. OZCHI (2017)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. COMPSAC (1) (2017)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Modeling Approach for Flexible Workflow Applications of Cloud Services. COMPSAC (2) (2017)
Fathi Essalmi, Ahmed Tlili, Leila Jemni Ben Ayed, Mohamed Jemni
Toward Modeling the Learner's Personality Using Educational Games. Int. J. Distance Educ. Technol. 15 (4) (2017)
Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. COMPSAC (2) (2017)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users. CISIM (2017)
Ahmed Tlili, Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk
A Smart Educational Game to Model Personality Using Learning Analytics. ICALT (2017)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Adapted E-Assessment System Based on Cloud Computing. ICALT (2017)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation. ICEIS (2) (2017)
Amine Achouri, Leila Jemni Ben Ayed
A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory. CoRR (2016)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services. CSEE&T (2016)
Yousra Bendaly Hlaoui, Fahima Hajjej, Leila Jemni Ben Ayed
Learning analytics for the development of adapted e-assessment workflow system. Comput. Appl. Eng. Educ. 24 (6) (2016)
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
Message from the MVDA Workshop Organizers. COMPSAC Workshops (2016)
Ahmed Tlili, Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk
Towards a Generic UML Model to Support Designing Educational Role Playing Games. ICALT (2016)
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Model Driven Approach for Design Flexible e-Assessment. CSEDU (1) (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Reverse engineering to create a generic workflow E-Assessment system. ICTA (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Personalized and Generic E-assessment Process Based on Cloud Computing. COMPSAC Workshops (2015)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Using Cloud Computing for E-assessment Process Integration. EC-TEL (2015)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Sabine Graf, Kinshuk
Generalized metrics for the analysis of E-learning personalization strategies. Comput. Hum. Behav. 48 (2015)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed
Towards to Compose Cloud Service Flexible Workflow Applications. COMPSAC Workshops (2015)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Model Driven Approach for Improving the Generation of Accessible User Interfaces. ICSOFT-PT (2015)
Mohsen Laâbidi, Mohamed Jemni, Leila Jemni Ben Ayed, Hejer Ben Brahim, Amal Ben Jemaa
Learning technologies for people with disabilities. J. King Saud Univ. Comput. Inf. Sci. 26 (Issue) (2014)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. COMPSAC (2014)
Amine Achouri, Leila Jemni Ben Ayed
UML activity diagram to event-B: A model transformation approach based on the institution theory. IRI (2014)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People. ICEIS (3) (2014)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models. iiWAS (2014)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Adapted e-Assessment System: Based on Workflow Refinement. ICSLE (2014)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Institution Theory for Services Oriented Applications. COMPSAC Workshops (2014)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Towards an Institutional Representation for the B Model Oriented Specification. COMPSAC Workshops (2014)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Meta-model Transformation from UML Activity Diagrams to Event-B Models. COMPSAC Workshops (2014)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning. KEOD (2013)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi
Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. COMPSAC Workshops (2013)
Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. COMPSAC Workshops (2013)
Amine Achouri, Leila Jemni Ben Ayed
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. ICSOFT (2013)
Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A specification approach based on adapted workflow for personalized e-assessment systems. ICTA (2013)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf
Automating the E-learning Personalization. CHI-KDD (2013)
Halima Hebiri Madani, Leila Jemni Ben Ayed, Mohamed Jemni, Demetrios G. Sampson
Towards accessible and personalized mobile learning for learners with disabilities. ICTA (2013)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes
A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application. COMPSAC Workshops (2012)
Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui
UML AD Refinement Patterns for Modeling Workflow Applications. COMPSAC Workshops (2012)
Ahlem Ben Younes, Leila Jemni Ben Ayed
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. iiWAS (2011)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf
Evaluation of Personalization Strategies Based on Fuzzy Logic. ICALT (2011)
Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui
A formal approach for the development of reactive systems. Inf. Softw. Technol. 53 (1) (2011)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. COMPSAC Workshops (2011)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf
A fully personalization strategy of E-learning scenarios. Comput. Hum. Behav. 26 (4) (2010)
Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri
Using AToM3 for the Verification of Workflow Applications. ICSOFT (2) (2010)
Ahlem Ben Younes, Leila Jemni Ben Ayed
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. ICSOFT (2) (2010)
Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui
An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B. ICSOFT (2) (2010)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni
An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy. ICALT (2010)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf
Selection of appropriates E-learning personalization strategies from ontological perspectives. IxD&A (2010)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. NOTERE (2010)
Fathi Essalmi, Leila Jemni Ben Ayed
Personalization of Learning Scenarios for Programming Languages. ICTA (2009)
Leila Jemni Ben Ayed, Fatma Siala
Event-B based Verification of Interaction Properties In Multi-Agent Systems. J. Softw. 4 (4) (2009)
Leila Jemni Ben Ayed, Ahlem Ben Younes
Modeling and Verification of Reactive Systems Using STATEMATE and Event B. Int. J. Comput. Their Appl. 16 (4) (2009)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Patterns for Modeling and Composing Workflows from Grid Services. ICEIS (2009)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
An MDA approach for composing grid services workflows. ICTA (2009)
Ahlem Ben Younes, Leila Jemni Ben Ayed
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. SERVICES I (2009)
Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. MSVVEIS (2009)
Ahlem Ben Younes, Leila Jemni Ben Ayed
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS (2009)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Extended UML activity diagram for composing Grid services workflows. CRiSIS (2008)
Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed
Event-B based invariant checking of secrecy in group key protocols. LCN (2008)
Leila Jemni Ben Ayed, Fatma Siala
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. DSV-IS (2008)
Ahlem Ben Younes, Leila Jemni Ben Ayed
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. COMPSAC (2008)
Leila Jemni Ben Ayed, Fatma Siala
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. COMPSAC (2008)
Leila Jemni Ben Ayed, Fatma Siala
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. MSVVEIS (2008)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk
UML Class Diagram as a Navigational Support for E-Learning. ICALT (2008)
Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray
A Formal Approach for the Development of Automated Systems. ICSOFT (SE) (2007)
Ahlem Ben Younes, Leila Jemni Ben Ayed
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) (2007)
Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni
A Multi-Parameters Personalization Approach of Learning Scenarios. ICALT (2007)
Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. AICCSA (2006)
Fathi Essalmi, Leila Jemni Ben Ayed
Graphical UML View from Extended Backus-Naur Form Grammars. ICALT (2006)
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
Transformation of B specifications into UML class diagrams and state machines. SAC (2006)
Mouna Saad, Leila Jemni Ben Ayed
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. ATVA (2005)
Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray
A Specification and Validation Technique Based on STATEMATE and FNLOG. ICFEM (2002)