| 2018 | COMPSAC | A New Approach for the Verification of BPMN Models Using Refinement Patterns. | Salma Ayari, Yosra Ben Dali Hlaoui, Leila Jemni Ben Ayed |
| 2018 | ICSoft | A Refinement based Verification Approach of BPMN Models using NuSMV. | Salma Ayari, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2018 | ICSoft | Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process. | Yousra Bendaly Hlaoui, Salma Ayari, Leila Jemni Ben Ayed |
| 2017 | COMPSAC | A Modeling Approach for Flexible Workflow Applications of Cloud Services. | Imen Ben Fraj, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2017 | COMPSAC | Cloud Adapted Workflow e-Assessment System: Cloud-AWAS. | Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2017 | COMPSAC | From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. | Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli |
| 2017 | COMPSAC | Users Interfaces Adaptation for Visually Impaired Users Based on Meta-Model Transformation. | Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2017 | ICALT | Adapted E-Assessment System Based on Cloud Computing. | Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2017 | ICALT | A Smart Educational Game to Model Personality Using Learning Analytics. | Ahmed Tlili, Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk |
| 2017 | OZCHI | A tool support for the adaptation of user interfaces based on a business rules management system. | Nadia Ghaibi, Olfa Dassi, Leila Jemni Ben Ayed |
| 2016 | COMPSAC | Message from the MVDA Workshop Organizers. | Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui |
| 2016 | ICALT | Towards a Generic UML Model to Support Designing Educational Role Playing Games. | Ahmed Tlili, Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk |
| 2015 | COMPSAC | Message from the MVDA 2015 Workshop Organizers. | Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui |
| 2015 | COMPSAC | Towards to Compose Cloud Service Flexible Workflow Applications. | Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 2015 | COMPSAC | Personalized and Generic E-assessment Process Based on Cloud Computing. | Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2015 | CSEDU | A Model Driven Approach for Design Flexible e-Assessment. | Fahima Hajjej, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2015 | ICSoft | A Model Driven Approach for Improving the Generation of Accessible User Interfaces. | Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | COMPSAC | Institution Theory for Services Oriented Applications. | Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | COMPSAC | Towards an Institutional Representation for the B Model Oriented Specification. | Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | COMPSAC | A Meta-model Transformation from UML Activity Diagrams to Event-B Models. | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | COMPSAC | Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach. | Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | IIWAS | A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models. | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2014 | IRI | UML activity diagram to event-B: A model transformation approach based on the institution theory. | Amine Achouri, Leila Jemni Ben Ayed |
| 2013 | COMPSAC | Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi |
| 2013 | COMPSAC | Building Adaptive Accessible Context-Aware for User Interface Tailored to Disable Users. | Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2013 | IC3K | Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning. | Lamia Zouhaier, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2013 | ICSoft | Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. | Amine Achouri, Leila Jemni Ben Ayed |
| 2012 | COMPSAC | A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application. | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes |
| 2012 | COMPSAC | UML AD Refinement Patterns for Modeling Workflow Applications. | Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui |
| 2011 | COMPSAC | A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2011 | ICALT | Evaluation of Personalization Strategies Based on Fuzzy Logic. | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf |
| 2011 | IIWAS | An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. | Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 2010 | ICALT | An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy. | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni |
| 2010 | ICSoft | 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. | Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui |
| 2010 | ICSoft | Using AToM3 for the Verification of Workflow Applications. | Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri |
| 2010 | ICSoft | Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. | Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 2009 | SERVICES | UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. | Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 2008 | COMPSAC | From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. | Leila Jemni Ben Ayed, Fatma Siala |
| 2008 | COMPSAC | From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. | Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 2008 | CRiSIS | Extended UML activity diagram for composing Grid services workflows. | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
| 2008 | ICALT | UML Class Diagram as a Navigational Support for E-Learning. | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk |
| 2008 | LCN | Event-B based invariant checking of secrecy in group key protocols. | Amjad Gawanmeh, Sofine Tahar, Leila Jemni Ben Ayed |
| 2007 | COMPSAC | Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. | Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 2007 | ICALT | A Multi-Parameters Personalization Approach of Learning Scenarios. | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni |
| 2007 | ICSoft | A Formal Approach for the Development of Automated Systems. | Olfa Mosbahi, Leila Jemni Ben Ayed, Jacques Jaray |
| 2006 | AICCSA | Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. | Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed |
| 2006 | ICALT | Graphical UML View from Extended Backus-Naur Form Grammars. | Fathi Essalmi, Leila Jemni Ben Ayed |
| 2006 | SAC | Transformation of B specifications into UML class diagrams and state machines. | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
| 2005 | ATVA | Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. | Mouna Saad, Leila Jemni Ben Ayed |
| 2002 | ICFEM | A Specification and Validation Technique Based on STATEMATE and FNLOG. | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |