Leila Jemni Ben Ayed

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