Ahlem Ben Younes

22 papers B 2C 3Journal 1Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Trace-Aware LSTM Model Checking for Safety-Critical Systems.
RIF
Chaker Nasri, Ahlem Ben Younes, Leila Ben Ayed
2024 — conf
A Design Pattern-Based Approach for Analyzing MapReduce Applications.
LPKM
Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed
2024 C conf
A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0.
ICSOFT
Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed
2022 B conf
An Approach for the Specification and Verification of Hadoop-MapReduce Workflow.
COMPSAC
Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed
2019 — conf
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications.
COMPSAC (2)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi
2017 — conf
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)
Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli
2016 — conf
Message from the MVDA Workshop Organizers.
COMPSAC Workshops
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
2015 — conf
Message from the MVDA 2015 Workshop Organizers.
COMPSAC Workshops
Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui
2015 — conf
Towards to Compose Cloud Service Flexible Workflow Applications.
COMPSAC Workshops
Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed
2014 — conf
A Meta-model Transformation from UML Activity Diagrams to Event-B Models.
COMPSAC Workshops
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
2014 C conf
A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.
iiWAS
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
2013 — conf
Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams.
COMPSAC Workshops
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi
2012 — conf
A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.
COMPSAC Workshops
Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes
2012 — conf
UML AD Refinement Patterns for Modeling Workflow Applications.
COMPSAC Workshops
Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui
2011 C conf
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.
iiWAS
Ahlem Ben Younes, Leila Jemni Ben Ayed
2010 — conf
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.
ICSOFT (2)
Ahlem Ben Younes, Leila Jemni Ben Ayed
2010 — conf
Using AToM3 for the Verification of Workflow Applications.
ICSOFT (2)
Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri
2009 J jnl
Modeling and Verification of Reactive Systems Using STATEMATE and Event B.
Int. J. Comput. Their Appl.
Leila Jemni Ben Ayed, Ahlem Ben Younes
2009 — conf
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.
SERVICES I
Ahlem Ben Younes, Leila Jemni Ben Ayed
2009 — conf
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.
MSVVEIS
Ahlem Ben Younes, Leila Jemni Ben Ayed
2008 B conf
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.
COMPSAC
Ahlem Ben Younes, Leila Jemni Ben Ayed
2007 — conf
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.
COMPSAC (1)
Ahlem Ben Younes, Leila Jemni Ben Ayed