Oussama Karoui
Researcher / author (OpenAlex)
Facts
1 property
🔖 Identifiers · 1
- ORCID iD
- 0000-0002-7061-7108
🔗 Connections
Author of 5
A Deadlock Prevention Policy for a Class of Multithreaded Software,
A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets,
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches,
Dual mode for vehicular platoon safety: Simulation and formal verification,
Performance evaluation of vehicular platoons using Webots
← Authored by 5
A Deadlock Prevention Policy for a Class of Multithreaded Software,
A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets,
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches,
Dual mode for vehicular platoon safety: Simulation and formal verification,
Performance evaluation of vehicular platoons using Webots
Affiliated with 2
Press Enter · cited answer in seconds
0 sources
Summary
Oussama Karoui is a human[1].