Mayssa Bessifi

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Workflow Specification

Top Venues

Neural Comput. Appl.

Eur. J. Control

Circuits Syst. Signal Process.

Publications

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed
An Approach for the Specification and Verification of Hadoop-MapReduce Workflow. COMPSAC (2022)
Chaouki Aouiti, Mayssa Bessifi
Sliding mode control for finite-time and fixed-time synchronization of delayed complex-valued recurrent neural networks with discontinuous activation functions and nonidentical parameters. Eur. J. Control 59 (2021)
Chaouki Aouiti, Mayssa Bessifi
Periodically intermittent control for finite-time synchronization of delayed quaternion-valued neural networks. Neural Comput. Appl. 33 (12) (2021)
Chaouki Aouiti, Mayssa Bessifi
Non-chattering quantized control for synchronization in finite-fixed time of delayed Cohen-Grossberg-type fuzzy neural networks with discontinuous activation. Neural Comput. Appl. 33 (23) (2021)
Chaouki Aouiti, Mayssa Bessifi, Xiaodi Li
Finite-Time and Fixed-Time Synchronization of Complex-Valued Recurrent Neural Networks with Discontinuous Activations and Time-Varying Delays. Circuits Syst. Signal Process. 39 (11) (2020)
Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. COMPSAC (2) (2019)