Leila Ben Ayed

Orcid: 0000-0002-6031-7216

Affiliations:
  • University of Tunis, Laboratory LaTICE, Tunisia
  • University of Manouba, ENSI, Tunisia


According to our database1, Leila Ben Ayed authored at least 98 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0.
Proceedings of the 19th International Conference on Software Technologies, 2024

Deep Learning for Diabetic Retinopathy Early Detection and Severity Grading.
Proceedings of the 7th IEEE International Conference on Advanced Technologies, 2024

2023
Adaptive user interface based on accessibility context.
Multim. Tools Appl., September, 2023

2022
An Approach for the Specification and Verification of Hadoop-MapReduce Workflow.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021
HyRa: An Effective Hybrid Ranking Model.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

A Specific Language for Developing Business Process by Refinement based on BPMN 2.0.
Proceedings of the 16th International Conference on Software Technologies, 2021

SemApp: A Semantic Approach to Enhance Information Retrieval.
Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

A Reinforcement Learning Based Approach of Context-driven Adaptive User Interfaces.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

HIR: A Hybrid IR Ranking Model.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

A reactive system for specifying and running flexible cloud service business processes based on machine learning.
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020
Artificial Intelligence's Impacts in Disablity Human Life: Perspectives.
Proceedings of the International Multi-Conference on: "Organization of Knowledge and Advanced Technologies", 2020

A control system for managing the flexibility in BPMN models of cloud service workflows.
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020

2019
Model driven approach for adapting user interfaces to the context of accessibility: case of visually impaired users.
J. Multimodal User Interfaces, 2019

Institution-based UML activity diagram transformation with semantic preservation.
Int. J. Comput. Sci. Eng., 2019

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

A Grammar Based Approach to BPMN Model Semantic Preservation using Refinement.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.
Proceedings of the Software Technologies - 13th International Conference, 2018

A Refinement based Verification Approach of BPMN Models using NuSMV.
Proceedings of the 13th International Conference on Software Technologies, 2018

Patterns for Modelling and Composing Flexible Workflows from Cloud Services.
Proceedings of the 20th International Conference on Enterprise Information Systems, 2018

A New Approach for the Verification of BPMN Models Using Refinement Patterns.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017
Generic E-Assessment Process Development based on Reverse Engineering.
Int. J. Inf. Commun. Technol. Educ., 2017

Toward Modeling the Learner's Personality Using Educational Games.
Int. J. Distance Educ. Technol., 2017

A tool support for the adaptation of user interfaces based on a business rules management system.
Proceedings of the 29th Australian Conference on Computer-Human Interaction, 2017

A Specification and Execution Approach of Flexible Cloud Service Workflow based on a Meta Model Transformation.
Proceedings of the ICEIS 2017, 2017

A Smart Educational Game to Model Personality Using Learning Analytics.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Adapted E-Assessment System Based on Cloud Computing.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Cloud Adapted Workflow e-Assessment System: Cloud-AWAS.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Modeling Approach for Flexible Workflow Applications of Cloud Services.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Methodology for the Development of Accessible User Interfaces Based on Meta-Model Transformations: The Case of Blind Users.
Proceedings of the Computer Information Systems and Industrial Management, 2017

A Model Driven Approach for Modelling and Running Flexible Cloud Service Workflows.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016
A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory.
CoRR, 2016

Learning analytics for the development of adapted e-assessment workflow system.
Comput. Appl. Eng. Educ., 2016

Towards a Generic UML Model to Support Designing Educational Role Playing Games.
Proceedings of the 16th IEEE International Conference on Advanced Learning Technologies, 2016

A Generic E-Assessment Process Development Based on Reverse Engineering and Cloud Services.
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

Message from the MVDA Workshop Organizers.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Generalized metrics for the analysis of E-learning personalization strategies.
Comput. Hum. Behav., 2015

Reverse engineering to create a generic workflow E-Assessment system.
Proceedings of the 5th International Conference on Information & Communication Technology and Accessibility, 2015

A Model Driven Approach for Improving the Generation of Accessible User Interfaces.
Proceedings of the ICSOFT-PT 2015, 2015

Using Cloud Computing for E-assessment Process Integration.
Proceedings of the Design for Teaching and Learning in a Networked World, 2015

A Model Driven Approach for Design Flexible e-Assessment.
Proceedings of the CSEDU 2015, 2015

Personalized and Generic E-assessment Process Based on Cloud Computing.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Towards to Compose Cloud Service Flexible Workflow Applications.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Message from the MVDA 2015 Workshop Organizers.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
Learning technologies for people with disabilities.
J. King Saud Univ. Comput. Inf. Sci., 2014

UML activity diagram to event-B: A model transformation approach based on the institution theory.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.
Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

Adapted e-Assessment System: Based on Workflow Refinement.
Proceedings of the Emerging Issues in Smart Learning, 2014

A MDA-based Approach for Enabling Accessibility Adaptation of User Interface for Disabled People.
Proceedings of the ICEIS 2014, 2014

Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

A Meta-model Transformation from UML Activity Diagrams to Event-B Models.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Towards an Institutional Representation for the B Model Oriented Specification.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Institution Theory for Services Oriented Applications.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Automating the E-learning Personalization.
Proceedings of the Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data, 2013

Towards accessible and personalized mobile learning for learners with disabilities.
Proceedings of the Fourth International Conference on Information and Communication Technology and Accessibility, 2013

A specification approach based on adapted workflow for personalized e-assessment systems.
Proceedings of the Fourth International Conference on Information and Communication Technology and Accessibility, 2013

Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory.
Proceedings of the ICSOFT 2013, 2013

Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning.
Proceedings of the KEOD 2013, 2013

Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
UML AD Refinement Patterns for Modeling Workflow Applications.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011
A formal approach for the development of reactive systems.
Inf. Softw. Technol., 2011

An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.
Proceedings of the iiWAS'2011, 2011

Evaluation of Personalization Strategies Based on Fuzzy Logic.
Proceedings of the ICALT 2011, 2011

A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Selection of appropriates E-learning personalization strategies from ontological perspectives.
IxD&A, 2010

A fully personalization strategy of E-learning scenarios.
Comput. Hum. Behav., 2010

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.
Proceedings of the ICSOFT 2010, 2010

Using AToM3 for the Verification of Workflow Applications.
Proceedings of the ICSOFT 2010, 2010

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.
Proceedings of the ICSOFT 2010, 2010

An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy.
Proceedings of the ICALT 2010, 2010

2009
Event-B based Verification of Interaction Properties In Multi-Agent Systems.
J. Softw., 2009

Modeling and Verification of Reactive Systems Using STATEMATE and Event B.
Int. J. Comput. Their Appl., 2009

Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.
Proceedings of the Modelling, 2009

An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER.
Proceedings of the Modelling, 2009

UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

An MDA approach for composing grid services workflows.
Proceedings of the ICTA 2009, 2009

Personalization of Learning Scenarios for Programming Languages.
Proceedings of the ICTA 2009, 2009

Patterns for Modeling and Composing Workflows from Grid Services.
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009

2008
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
Proceedings of the Modelling, 2008

Event-B based invariant checking of secrecy in group key protocols.
Proceedings of the LCN 2008, 2008

UML Class Diagram as a Navigational Support for E-Learning.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
Proceedings of the Interactive Systems. Design, 2008

Extended UML activity diagram for composing Grid services workflows.
Proceedings of the CRiSIS '08, 2008

From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A Formal Approach for the Development of Automated Systems.
Proceedings of the ICSOFT 2007, 2007

A Multi-Parameters Personalization Approach of Learning Scenarios.
Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies, 2007

Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Transformation of B specifications into UML class diagrams and state machines.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Graphical UML View from Extended Backus-Naur Form Grammars.
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2002
A Specification and Validation Technique Based on STATEMATE and FNLOG.
Proceedings of the Formal Methods and Software Engineering, 2002

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).
PhD thesis, 2000


  Loading...