Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. - Ahlem Ben Younes; Leila Jemni Ben Ayed (COMPSAC (1), 2007)

From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. - Ahlem Ben Younes; Leila Jemni Ben Ayed (COMPSAC, 2008)

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 (SERVICES I, 2009)

Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. - Ahlem Ben Younes; Leila Jemni Ben Ayed (MSVVEIS, 2009)

Modeling and Verification of Reactive Systems Using STATEMATE and Event B. - Leila Jemni Ben Ayed; Ahlem Ben Younes (Int. J. Comput. Their Appl., 2009)

Using AToM3 for the Verification of Workflow Applications. - Leila Jemni Ben Ayed; Ahlem Ben Younes; Amin Ben Brahim Achouri (ICSOFT (2), 2010)

Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. - Ahlem Ben Younes; Leila Jemni Ben Ayed (ICSOFT (2), 2010)

An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. - Ahlem Ben Younes; Leila Jemni Ben Ayed (iiWAS, 2011)

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application. - Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed; Imen Ben Fraj; Ahlem Ben Younes (COMPSAC Workshops, 2012)

UML AD Refinement Patterns for Modeling Workflow Applications. - Ahlem Ben Younes; Leila Jemni Ben Ayed; Yousra Bendaly Hlaoui (COMPSAC Workshops, 2012)

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed; Rahma Jlassi (COMPSAC Workshops, 2013)

A Meta-model Transformation from UML Activity Diagrams to Event-B Models. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Jemni Ben Ayed (COMPSAC Workshops, 2014)

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 (iiWAS, 2014)

Message from the MVDA 2015 Workshop Organizers. - Leila Jemni Ben Ayed; Fevzi Belli; Ahlem Ben Younes; Yousra Bendaly Hlaoui (COMPSAC Workshops, 2015)

Towards to Compose Cloud Service Flexible Workflow Applications. - Imen Ben Fraj; Yousra Bendaly Hlaoui; Ahlem Ben Younes; Leila Jemni Ben Ayed (COMPSAC Workshops, 2015)

Message from the MVDA Workshop Organizers. - Leila Jemni Ben Ayed; Fevzi Belli; Ahlem Ben Younes; Yousra Bendaly Hlaoui (COMPSAC Workshops, 2016)

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 (COMPSAC (2), 2017)

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. - Ahlem Ben Younes; Yousra Bendaly Hlaoui; Leila Ben Ayed; Mayssa Bessifi (COMPSAC (2), 2019)

An Approach for the Specification and Verification of Hadoop-MapReduce Workflow. - Mayssa Bessifi; Ahlem Ben Younes; Leila Ben Ayed (COMPSAC, 2022)

A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0. - Mayssa Bessifi; Ahlem Ben Younes; Leila Ben Ayed (ICSOFT, 2024)

A Design Pattern-Based Approach for Analyzing MapReduce Applications. - Mayssa Bessifi; Ahlem Ben Younes; Leila Ben Ayed (LPKM, 2024)