| Dual mode for vehicular platoon safety: Simulation and formal verification O Karoui, M Khalgui, A Koubâa, E Guerfala, Z Li, E Tovar Information Sciences 402, 216-232, 2017 | 65 | 2017 |
| System and method for operating a follower vehicle in a vehicle platoon Z Li, O Karoui, A Koubaa, M Khalgui, E Guerfala, E Tovard, N Wu US Patent 9,927,816, 2018 | 50 | 2018 |
| Performance evaluation of vehicular platoons using Webots O Karoui, E Guerfala, A Koubaa, M Khalgui, E Tovard, N Wu, A Al‐Ahmari, ... IET Intelligent Transport Systems 11 (8), 441-449, 2017 | 34 | 2017 |
| A deadlock prevention policy for a class of multithreaded software W Duo, X Jiang, O Karoui, X Guo, D You, S Wang, Y Ruan IEEE Access 8, 16676-16688, 2020 | 24 | 2020 |
| Overview of opacity in discrete event systems Y Guo, X Jiang, C Guo, S Wang, O Karoui IEEE Access 8, 48731-48741, 2020 | 13 | 2020 |
| One-step control-ahead approach for the design of an optimal Petri-net based deadlock prevention policy O Karoui, Z Li, N Wu, M Khalgui, EA Nasr, AM El-Tamimi IEEE Access 6, 34307-34323, 2018 | 11 | 2018 |
| A refined siphon-based deadlock prevention policy for a class of Petri nets SG Wang, X Guo, O Karoui, MC Zhou, D You, A Abusorrah IEEE Transactions on Systems, Man, and Cybernetics: Systems 53 (1), 191-203, 2022 | 10 | 2022 |
| On hierarchical construction of the state space of an automated manufacturing system modeled with Petri nets O Karoui, Y Chen, Z Li, N Wu, M Khalgui IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3613-3627, 2018 | 7 | 2018 |
| System and method for operating a follower vehicle in a vehicle platoon Z Li, O Karoui, A Koubaa, M Khalgui, E Guerfala, E Tovar, N Wu | 6 | 2018 |
| Computation of minimal siphons in Petri nets using problem partitioning approaches D You, O Karoui, S Wang IEEE/CAA Journal of Automatica Sinica 9 (2), 329-338, 2021 | 5 | 2021 |
| State space characterization of disjunctive single-unit resource allocation systems O Karoui, M Khalgui, Y Chen, N Wu, AU Rehman, U Umer IEEE Access 6, 51515-51527, 2018 | 2 | 2018 |
| Systems and methods for reducing CPU time to compute state space of resource allocation system Z Li, O Karoui, N Wu, M Khalgui US Patent 10,346,214, 2019 | 1 | 2019 |
