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)

Finite-Time and Fixed-Time Synchronization of Complex-Valued Recurrent Neural Networks with Discontinuous Activations and Time-Varying Delays. - Chaouki Aouiti; Mayssa Bessifi; Xiaodi Li 001 (Circuits Syst. Signal Process., 2020)

Sliding mode control for finite-time and fixed-time synchronization of delayed complex-valued recurrent neural networks with discontinuous activation functions and nonidentical parameters. - Chaouki Aouiti; Mayssa Bessifi (Eur. J. Control, 2021)

Periodically intermittent control for finite-time synchronization of delayed quaternion-valued neural networks. - Chaouki Aouiti; Mayssa Bessifi (Neural Comput. Appl., 2021)

Non-chattering quantized control for synchronization in finite-fixed time of delayed Cohen-Grossberg-type fuzzy neural networks with discontinuous activation. - Chaouki Aouiti; Mayssa Bessifi (Neural Comput. Appl., 2021)

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)