Ahlem Ben Younes

According to our database, Ahlem Ben Younes authored at least 20 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

A Tool-Supported Approach for Modelling and Verifying MapReduce Workflow Using Event B and BPMN2.0.

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed

Proceedings of the 19th International Conference on Software Technologies, 2024

2022

An Approach for the Specification and Verification of Hadoop-MapReduce Workflow.

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2019

From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications.

Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2017

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

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Message from the MVDA Workshop Organizers.

Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Towards to Compose Cloud Service Flexible Workflow Applications.

Imen Ben Fraj, Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Message from the MVDA 2015 Workshop Organizers.

Leila Jemni Ben Ayed, Fevzi Belli, Ahlem Ben Younes, Yousra Bendaly Hlaoui

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

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

Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

A Meta-model Transformation from UML Activity Diagrams to Event-B Models.

Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Refinement Based Modeling of Workflow Applications Using UML Activity Diagrams.

Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Rahma Jlassi

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

UML AD Refinement Patterns for Modeling Workflow Applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed, Yousra Bendaly Hlaoui

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application.

Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed, Imen Ben Fraj, Ahlem Ben Younes

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Proceedings of the iiWAS'2011, 2011

2010

Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Proceedings of the ICSOFT 2010, 2010

Using AToM3 for the Verification of Workflow Applications.

Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri

Proceedings of the ICSOFT 2010, 2010

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 UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Proceedings of the Modelling, 2009

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

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2008

From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007