Get started
Author

Kamel Barkaoui

Deadlock avoidance in FMS based on structural theory of Petri nets
2002 · K. Barkaoui, I.B. Abdallah · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 93
On liveness in Extended Non Self-Controlling Nets
1995 · K. Barkaoui, J. M. Couvreur, et al. · Lecture notes in computer science · 42
Verification in concurrent programming with Petri nets structural techniques
2002 · K. Barkaoui, J.-F. Pradat-Peyre · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 12
Using AUML to derive formal modeling agents interactions
2005 · L. Kahloul, K. Barkaoui, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · 8
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems
2007 · Nasreddine Aoumeur, Kamel Barkaoui, et al. · Euromicro Conference on Software Maintenance and Reengineering (CSMR) · 6
Petri nets based proofs of Ada 95 solution for preference control
2002 · K. Barkaoui, C. Kaiser, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 4
The performance of alternative strategies for dealing with deadlocks in FMS
2002 · K. Barkaoui, A. Chaoui, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 4
An Effective Link Adaptation Method in Cooperative Wireless Networks
2008 · Karim Djouani, Jun Chen, et al. · IEEE Asia-Pacific Services Computing Conference (APSCC) · 3
An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets
2021 · Boucherit, Ammar, Barkaoui, Kamel, et al. · HAL · 2
Formal Modeling and Analysis of AADL Threads in Real Time Maude
2012 · F. Belala, M. Benammar, et al. · Journal of Software Engineering and Applications · 2
PDF
Towards a tile based LfP semantics
2008 · A. Choutri, F. Belala, et al. · International Conference on Research Challenges in Information Science (RCIS) · 2
Research in Computer Science
2025 · Djamil Aissani, Kamel Barkaoui, et al. · Communications in computer and information science · 1
Genetic Algorithm-Based Approach for Optimizing Query Performance in Big Data Environments
2024 · Sana Rabaaoui, Kamel Aloui, et al. · IEEE International Conference on Advanced Systems and Emergent Technologies (IC_ASET) · 1
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics
2023 · Ammar Boucherit, Kamel Barkaoui, et al. · IEEE International Conference on Networking, Sensing and Control (ICNSC) · 1
ECA-driven Architectural Connectors Meet Rewrite Logic and Django for Smoothly Developing Adaptive Sound and Efficient AI-Powered Knowledge-Intensive Software Applications
2025 · Nasreddine Aoumeur, Kamel Barkaoui, et al. · International Conference on Machine Learning Techniques and NLP (MLNLP)
PDF
State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique
2024 · Zexi Huang, Lin Chen, et al. · International Conference on Control, Decision and Information Technologies (CoDIT)
Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems
2011 · Faiza Belala, Chafia Bouanaka, et al. · International Conference on New Technologies of Distributed Systems (NOTERE)
A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets
2010 · Yacine Kissoum, Zaidi Sahnoun, et al. · Recent Advances in Computer Science and Communications
On modelling adaptive service-oriented business processes
2009 · Nasreddine Aoumeur, Kamel Barkaoui, et al. · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)
Optimizing query evaluation in deductive databases using reductions
2002 · K. Barkaoui, Y. Maizi · International Workshop on Database and Expert Systems Applications (DEXA)
Towards an efficient probabilistic deadlock detection method for multidatabase systems
2002 · K. Barkaoui, R. Benamara · IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS)
Works count: 21
Citation count: 181
H-index: 5
I10-index: 3
Year
Topic
Type