| 2026 | COMPSAC | E-AGMatch: Schema Matching Approach Guided by an Agentic Prompt for ETL Automation. | Ahlem Ben Younes, Chaima Kachroud, Laila Ben Ayed, Baha Eddine Kalai |
| 2026 | COMPSAC | Ontology-Free Biomedical Knowledge Graph Induction (OF-Bio-KG). | Ahlem Ben Younes, Baha Eddine Kalai, Laila Ben Ayed, Chaima Kachroud |
| 2026 | COMPSAC | A Web-Based Pipeline for Ontology-Free Biomedical Knowledge Graph Construction and Exploration. | Ahlem Ben Younes, Baha Eddine Kalai, Laila Ben Ayed, Chaima Kachroud, Sarra Abidi |
| 2024 | ICSoft | A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0. | Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed |
| 2022 | COMPSAC | An Approach for the Specification and Verification of Hadoop-MapReduce Workflow. | Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed |
| 2019 | COMPSAC | From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi |
| 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 |
| 2016 | COMPSAC | Message from the MVDA Workshop Organizers. | Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui |
| 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 |
| 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 | 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 |
| 2013 | COMPSAC | Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi |
| 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 | IIWAS | An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. | Ahlem Ben Younes, Leila Jemni Ben Ayed |
| 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 UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. | Ahlem Ben Younes, 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 |