Ahlem Ben Younes

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 4

Top Topics

Business Processes

Uml Activity Diagrams

Workflow Specification

Top Venues

COMPSAC Workshops

Publications

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed
An Approach for the Specification and Verification of Hadoop-MapReduce Workflow. COMPSAC (2022)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. COMPSAC (2) (2019)
Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli
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) (2017)
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
Message from the MVDA Workshop Organizers. COMPSAC Workshops (2016)
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
Message from the MVDA 2015 Workshop Organizers. COMPSAC Workshops (2015)
Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed
Towards to Compose Cloud Service Flexible Workflow Applications. COMPSAC Workshops (2015)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models. iiWAS (2014)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
A Meta-model Transformation from UML Activity Diagrams to Event-B Models. COMPSAC Workshops (2014)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi
Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams. COMPSAC Workshops (2013)
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes
A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application. COMPSAC Workshops (2012)
Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui
UML AD Refinement Patterns for Modeling Workflow Applications. COMPSAC Workshops (2012)
Ahlem Ben Younes, Leila Jemni Ben Ayed
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. iiWAS (2011)
Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri
Using AToM3 for the Verification of Workflow Applications. ICSOFT (2) (2010)
Ahlem Ben Younes, Leila Jemni Ben Ayed
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. ICSOFT (2) (2010)
Leila Jemni Ben Ayed, Ahlem Ben Younes
Modeling and Verification of Reactive Systems Using STATEMATE and Event B. Int. J. Comput. Their Appl. 16 (4) (2009)
Ahlem Ben Younes, Leila Jemni Ben Ayed
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. SERVICES I (2009)
Ahlem Ben Younes, Leila Jemni Ben Ayed
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS (2009)
Ahlem Ben Younes, Leila Jemni Ben Ayed
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. COMPSAC (2008)
Ahlem Ben Younes, Leila Jemni Ben Ayed
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) (2007)