Leila Jemni Ben Ayed

81 papers B 14C 8Misc 3Journal 12Unranked 43

Year	Rank	Type	Title / 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