Mayssa Bessifi

According to our database, Mayssa Bessifi authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

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

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

Periodically intermittent control for finite-time synchronization of delayed quaternion-valued neural networks.

Chaouki Aouiti, Mayssa Bessifi

Neural Comput. Appl., 2021

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

2020

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

Circuits Syst. Signal Process., 2020

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