Concepedia

Oussama Karoui

OK

7

Publications

164

Citations

7

H-Index

2017

Active since

Affiliations

Zhejiang Gongshang University(Current)

Macau University of Science and Technology

Xidian University

Prince Sultan University

National Institute of Applied Science and Technology

Oussama Karoui is an author at Zhejiang Gongshang University specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceComputer EngineeringProcess ControlFormal VerificationOperations ResearchTransportation EngineeringCryptography

Publications per year

2017–2022

7

Publications

7

Dual mode for vehicular platoon safety: Simulation and formal verification

Oussama Karoui, Mohamed Khalgui, Anis Koubâa et al. · Information Sciences · 2017 · 51 citations

Vehicle Communication, Engineering, Connected Car +7

Performance evaluation of vehicular platoons using Webots

Oussama Karoui, Emna Guerfala, Anis Koubâa et al. · IET Intelligent Transport Systems · 2017 · 27 citations

Automotive Engineering, Vehicle Dynamics (Space Vehicle Dynamics), Safety Issue +14

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Shouguang Wang, Xin Guo, Oussama Karoui et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2022 · 24 citations

Petri Net, Modified Mip Technique, Engineering +15

A Deadlock Prevention Policy for a Class of Multithreaded Software

Wenli Duo, Xiaoning Jiang, Oussama Karoui et al. · IEEE Access · 2020 · 22 citations · Full text

Engineering, Software Engineering, Multithreading (Computer Architecture) +20

Overview of Opacity in Discrete Event Systems

Ye Guo, Xiaoning Jiang, Guo Chen et al. · IEEE Access · 2020 · 17 citations · Full text

Petri Net, Engineering, Information Security +20

Rows per page

1–5 of 7