Mayssa Bessifi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2019–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |