Dual mode for vehicular platoon safety: Simulation and formal verification. - Oussama Karoui; Mohamed Khalgui; Anis Koubâa; Emna Guerfala; Zhiwu Li 001; Eduardo Tovar (Inf. Sci., 2017)

State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems. - Oussama Karoui; Mohamed Khalgui; Yufeng Chen 001; Naiqi Wu; Ateekh-Ur-Rehman; Usama Umer (IEEE Access, 2018)

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. - Oussama Karoui; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui; Emad S. Abouel Nasr; Abdul-Aziz Mohammed El-Tamimi (IEEE Access, 2018)

A Deadlock Prevention Policy for a Class of Multithreaded Software. - Wenli Duo; Xiaoning Jiang; Oussama Karoui; Xin Guo; Dan You; Shouguang Wang; Yuan Ruan (IEEE Access, 2020)

Overview of Opacity in Discrete Event Systems. - Ye Guo; Xiaoning Jiang; Chen Guo; Shouguang Wang; Oussama Karoui (IEEE Access, 2020)

On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. - Oussama Karoui; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu; Mohamed Khalgui (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. - Dan You; Oussama Karoui; Shouguang Wang (IEEE CAA J. Autom. Sinica, 2022)

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. - ShouGuang Wang; Xin Guo; Oussama Karoui; MengChu Zhou; Dan You; Abdullah Abusorrah (IEEE Trans. Syst. Man Cybern. Syst., 2023)