| 2024 | CoDIT | State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique. | Zexi Huang, Lin Chen, Gaiyun Liu, Kamel Barkaoui |
| 2024 | MEDES | Data-Centric Security Model Based on Attribute-Based Cryptography For Healthcare Systems. | Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui |
| 2024 | VECoS | DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability. | Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
| 2023 | VECoS | A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. | Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
| 2020 | ENASE | A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. | Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui |
| 2020 | IWCMC | A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. | Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui |
| 2020 | VECoS | Towards Efficient Partial Order Techniques for Time Petri Nets. | Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li |
| 2019 | AICCSA | Hapicare: A Healthcare Monitoring System with Self-Adaptive Coaching using Probabilistic Reasoning. | Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Aomar Osmani, Yacine Amirat, Kamel Barkaoui, Wagdy Zahran |
| 2019 | CoDIT | On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. | Rym Meriah, Kamel Barkaoui, Gaiyun Liu, Olfa Belkahla Driss |
| 2019 | KES | Improving genetic algorithm using arc consistency technic. | Meriem Zouita, Sadok Bouamama, Kamel Barkaoui |
| 2018 | SMC | Liveness Enforcement for a Class of Petri Nets via Resource Allocation. | Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu |
| 2018 | VECoS | Exploiting Local Persistency for Reduced State Space Generation. | Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li |
| 2017 | VECoS | Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. | Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine |
| 2016 | ICNC | Hybrid computing document similarity in large-scale environment. | Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui |
| 2016 | ISSRE | Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. | Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui |
| 2016 | WETICE | A Two-Step Clustering Approach for Improving Educational Process Model Discovery. | Hanane Ariouat, Awatef Hicheur Cairns, Kamel Barkaoui, Jacky Akoka, Nasser Khelifa |
| 2016 | VECoS | On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. | Assia Outamazirt, Mohamed Escheikh, Djamil Assani, Kamel Barkaoui, Ouiza Lekadir |
| 2015 | BPM | Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. | Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen |
| 2015 | VECoS | State Space Reduction Strategie for Model Checking Concurrent C Programs. | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |
| 2015 | VECoS | On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. | Zohra Sba, Kamel Barkaoui |
| 2014 | CaiSE | On Compatibility Analysis of Inter Organizational Business Processes. | Zohra Sba, Kamel Barkaoui |
| 2014 | EUC | A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. | Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala |
| 2014 | IRI | Time properties verification of UML/MARTE real-time systems. | Aymen Louati, Kamel Barkaoui, Chadlia Jerad |
| 2014 | MASCOTS | A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems. | Mohamed Escheikh, Hana Jouini, Kamel Barkaoui |
| 2014 | VECoS | Towards Formal Modeling and Verification of Context-Aware Systems. | Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui |
| 2013 | ICECCS | Exploiting Concurrency for the ESB Architecture. | Ridha Benosman, Kamel Barkaoui, Yves Albrieux |
| 2013 | IRI | Verifying SystemC with predicate abstraction: A component based approach. | Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui |
| 2013 | IRI | A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. | Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui |
| 2012 | BPM | Modeling Migration of Mobile Agents. | Borhen Marzougui, Khaled Hassine, Kamel Barkaoui |
| 2012 | ISCC | Network availability modeling of VMIMO link in multi-hop wireless network. | Mohamed Escheikh, Kamel Barkaoui |
| 2012 | SEKE | Parametric Verification of TimeWorkflow Nets. | Hanifa Boucheneb, Kamel Barkaoui |
| 2011 | BPM | On the Modeling of Healthcare Workflows Using Recursive ECATNets. | Amel Ben Dhieb, Kamel Barkaoui |
| 2011 | ETFA | Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. | Yufeng Chen, Zhiwu Li, Kamel Barkaoui |
| 2011 | MSWIM | Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic petri nets. | Mohamed Escheikh, Kamel Barkaoui |
| 2010 | ICSoft | Model Checking Verification of Web Services Composition. | Abdallah Missaoui, Zohra Sba, Kamel Barkaoui |
| 2010 | MSWIM | A probabilistic analysis of energy efficiency of wireless sensor network duty-cycled MAC protocols: application to S-MAC and Eco-MAC. | Robert Abo, Kamel Barkaoui, Hafedh Zayani |
| 2009 | AICCSA | On modelling adaptive service-oriented business processes. | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
| 2009 | ICIW | Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. | Nasreddine Aoumeur, Kamel Barkaoui |
| 2009 | ISCC | Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks. | Mohamed Escheikh, Kamel Barkaoui |
| 2009 | ISPDC | Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. | Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui |
| 2009 | RCIS | An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. | Yacine Kissoum, Zadi Sahnoun, Kamel Barkaoui |
| 2009 | RSP | Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions. | Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake |
| 2008 | APSCC | An Effective Link Adaptation Method in Cooperative Wireless Networks. | Karim Djouani, Jun Chen, Abdellah Akharraz, Kamel Barkaoui |
| 2008 | CRiSIS | Verification of Workflow processes under multilevel security considerations. | Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur |
| 2008 | RCIS | Towards a tile based LfP semantics. | Aicha Choutri, Faiza Belala, Kamel Barkaoui |
| 2007 | BPM | Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. | Kamel Barkaoui, Awatef Hicheur |
| 2007 | CATA | On the Design and Analysis of Real-time Systems. | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
| 2007 | ECSA | Hierarchical Verification in Maude of L | Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi |
| 2007 | MSWIM | Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. | Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui |
| 2007 | WEBIST | On the Integration of QoS Management in Web Service Architecture. | Abdallah Missaoui, Kamel Barkaoui |
| 2006 | AICCSA | Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. | Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz |
| 2006 | SYNASC | Modeling Workflows with Recursive ECATNets. | Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf |
| 2005 | AICCSA | Using AUML to derive formal modeling agents interactions. | Laid Kahloul, Kamel Barkaoui, Zadi Sahnoun |
| 2005 | PDPTA | A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. | Hacene Sebih, Kamel Barkaoui |
| 2005 | RSP | On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. | Chadlia Jerad, Kamel Barkaoui |
| 2003 | SMC | Parameterized supervisor synthesis for a modular class of discrete event systems. | Belhassen Zouari, Kamel Barkaoui |
| 2000 | MASCOTS | Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism. | Mohamed Escheikh, Kamel Barkaoui, Ammar Bouallegue |
| 1999 | PDPTA | On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. | Kamel Barkaoui, Rabah Benamara |
| 1997 | APSEC | Petri nets based proofs of Ada 95 solution for preference control. | Kamel Barkaoui, Claude Kaiser, Jean-Franois Pradat-Peyre |
| 1997 | DEXA | Efficient Answer Extraction of Deductive Databases Modeled by HLPN. | Kamel Barkaoui, Yasmina Mazi |
| 1992 | DEXA | A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. | Kamel Barkaoui, Noureddine Boudriga, Amel Grissa Touzi |