default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKamel Barkaoui
Person information
- affiliation: CNAM-Laboratoire Cédric, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j57]Wiem Taktak, Mohamed Escheikh
, Kamel Barkaoui:
DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement. Comput. Networks 251: 110637 (2024)- [j56]Kamel Barkaoui, Belgacem Ben Hedia:
Preface to the VECoS 2020 & 2021 special issue of ISSE. Innov. Syst. Softw. Eng. 20(1): 1-2 (2024) - [j55]Walid Ben Mesmia, Kamel Barkaoui:
Production chain modeling based on learning flow stochastic petri nets. Soft Comput. 28(19): 10767-10779 (2024) - [c123]Zexi Huang, Lin Chen, Gaiyun Liu, Kamel Barkaoui:
State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique. CoDIT 2024: 2170-2175 - 2023
- [j54]Umar Suleiman Abubakar, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li:
Adaptive supervisory control for a class of Petri nets with bimodal transitions. Inf. Sci. 650: 119683 (2023) - [c122]Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui:
Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications. ACSW 2023: 112-121 - [c121]Ikhlas Mastour, Layth Sliman, Benoit Charroux, Raoudha Ben Djemaa, Kamel Barkaoui:
Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. ICCA 2023: 1-6 - [c120]Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri:
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. ICNSC 2023: 1-6 - [c119]Chen Shen, Gaiyun Liu, Chunfu Zhong, Kamel Barkaoui:
Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets. ICNSC 2023: 1-6 - [c118]Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui:
Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach. ICTSS 2023: 274-288 - [c117]Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui:
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. VECoS 2023: 30-44 - 2022
- [j53]Rateb Jabbar, Eya Dhib, Ahmed Ben Said, Moez Krichen, Noora Fetais, Esmat Zaidan, Kamel Barkaoui:
Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review. IEEE Access 10: 20995-21031 (2022) - [j52]Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li:
Time based deadlock prevention for Petri nets. Autom. 137: 110119 (2022) - [j51]Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li:
Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 52(5): 3113-3125 (2022) - [e5]Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li:
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13187, Springer 2022, ISBN 978-3-030-98849-4 [contents] - 2021
- [j50]Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Kamel Barkaoui, Yacine Amirat, Wagdy Zahran:
Extended Hapicare: A telecare system with probabilistic diagnosis and self-adaptive treatment. Expert Syst. Appl. 186: 115749 (2021) - [j49]Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou:
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. IEEE CAA J. Autom. Sinica 8(1): 219-226 (2021) - [j48]Walid Ben Mesmia, Mohamed Escheikh, Kamel Barkaoui:
DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. J. Softw. Evol. Process. 33(3) (2021) - [c116]Ammar Boucherit, Kamel Barkaoui, Osman Hasan:
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets 2021: 155-174 - 2020
- [j47]Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li:
Exploiting local persistency for reduced state-space generation. Innov. Syst. Softw. Eng. 16(2): 181-197 (2020) - [j46]Rateb Jabbar, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. Sensors 20(14): 3928 (2020) - [c115]Hossain Kordestani, Kamel Barkaoui, Wagdy Zahran:
HapiFabric: A Teleconsultation Framework Based on Hyperledger Fabric. EMCIS 2020: 399-414 - [c114]Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui:
A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. ENASE 2020: 595-602 - [c113]Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui:
Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. ICEIS (1) 2020: 261-268 - [c112]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. ICIoT 2020: 237-242 - [c111]Rateb Jabbar, Noora Fetais, Moez Krichen, Kamel Barkaoui:
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. ICIoT 2020: 310-317 - [c110]Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui:
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. IWCMC 2020: 1252-1259 - [c109]Ines Gharbi, Kamel Barkaoui, Samir Ben Ahmed:
An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing. MSPN 2020: 195-208 - [c108]Hossain Kordestani, Kamel Barkaoui, Wagdy Zahran:
HapiChain: A Blockchain-based Framework for Patient-Centric Telemedicine. SeGAH 2020: 1-6 - [c107]Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li:
Towards Efficient Partial Order Techniques for Time Petri Nets. VECoS 2020: 100-115 - [i7]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. CoRR abs/2002.03728 (2020) - [i6]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. CoRR abs/2003.07672 (2020)
2010 – 2019
- 2019
- [j45]Xiaoyan Li, GaiYun Liu, Zhiwu Li, Naiqi Wu, Kamel Barkaoui:
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Access 7: 21006-21019 (2019) - [j44]Hao Dou, Kamel Barkaoui, Hanifa Boucheneb, Xiaoning Jiang, Shouguang Wang:
Maximal Good Step Graph Methods for Reducing the Generation of the State Space. IEEE Access 7: 155805-155817 (2019) - [j43]Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui:
Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging. Int. J. Crit. Comput. Based Syst. 9(3): 248-292 (2019) - [c106]Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Aomar Osmani, Yacine Amirat, Kamel Barkaoui, Wagdy Zahran:
Hapicare: A Healthcare Monitoring System with Self-Adaptive Coaching using Probabilistic Reasoning. AICCSA 2019: 1-8 - [c105]Rym Meriah, Kamel Barkaoui, Gaiyun Liu, Olfa Belkahla Driss:
On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. CoDIT 2019: 1752-1757 - [c104]Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui:
Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. IINTEC 2019: 13-18 - [c103]Meriem Zouita, Sadok Bouamama, Kamel Barkaoui:
Improving genetic algorithm using arc consistency technic. KES 2019: 1387-1396 - [c102]Mohamed Escheikh, Kamel Barkaoui:
Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers. SDS 2019: 47-54 - 2018
- [j42]Naiqi Wu, Zhiwu Li, Kamel Barkaoui, Xiaoou Li, Tadahiko Murata, MengChu Zhou:
IoT-based smart and complex systems: a guest editorial report. IEEE CAA J. Autom. Sinica 5(1): 69-73 (2018) - [j41]Manel Amel Djenouhat, Faiza Belala, Kamel Barkaoui:
Architectural method to design and control dynamic composite web services. Int. J. Comput. Appl. Technol. 57(1): 59-71 (2018) - [j40]Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir:
Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres. Int. J. Crit. Comput. Based Syst. 8(3/4): 234-257 (2018) - [j39]Kamel Barkaoui, Hanifa Boucheneb:
Introduction to special issue on verification and evaluation of computer systems. Innov. Syst. Softw. Eng. 14(2): 81-82 (2018) - [j38]Hanifa Boucheneb, Kamel Barkaoui:
Delay-dependent partial order reduction technique for real time systems. Real Time Syst. 54(2): 278-306 (2018) - [c101]Kamel Barkaoui, Hanifa Boucheneb:
On Persistency in Time Petri Nets. FORMATS 2018: 108-124 - [c100]Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu:
Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC 2018: 4369-4374 - [c99]Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li:
Exploiting Local Persistency for Reduced State Space Generation. VECoS 2018: 166-181 - 2017
- [j37]Chengzong Li, Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. IEEE Access 5: 16349-16358 (2017) - [j36]Mohamed Escheikh, Kamel Barkaoui:
On the dependability evaluation of a virtual multiple input multiple output link. Int. J. Crit. Comput. Based Syst. 7(1): 43-58 (2017) - [j35]Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen:
Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385: 39-54 (2017) - [j34]Mohamed Escheikh, Kamel Barkaoui, Hana Jouini:
Versatile workload-aware power management performability analysis of server virtualized systems. J. Syst. Softw. 125: 365-379 (2017) - [j33]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Naiqi Wu, MengChu Zhou:
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. 47(2): 364-379 (2017) - [c98]Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine:
Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. VECoS 2017: 108-123 - [e4]Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents] - 2016
- [j32]Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui:
A bigraph-based framework for specification and analysis of context-aware systems. Int. J. Crit. Comput. Based Syst. 6(4): 322-342 (2016) - [j31]Aymen Louati, Kamel Barkaoui:
Formal Verification of UML2 Timing Diagrams based on Time Petri Nets. Int. J. Inf. Syst. Serv. Sect. 8(2): 87-97 (2016) - [j30]GaiYun Liu, Kamel Barkaoui:
A survey of siphons in Petri nets. Inf. Sci. 363: 198-220 (2016) - [j29]Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaïdi Sahnoun:
Specification and verification of reconfigurable multi-agent system architectures. Multiagent Grid Syst. 12(2): 105-124 (2016) - [c97]Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
Hybrid computing document similarity in large-scale environment. ICNC-FSKD 2016: 2159-2164 - [c96]Walid Ben Mesmia, Borhen Marzougui, Kamel Barkaoui:
Petri Nets for Mobile Agent: Theory and Application. IntelliSys (2) 2016: 216-227 - [c95]Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui:
Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. ISSRE Workshops 2016: 111-118 - [c94]Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir:
On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. VECoS 2016: 77-84 - [c93]Hanane Ariouat, Awatef Hicheur Cairns, Kamel Barkaoui, Jacky Akoka, Nasser Khelifa:
A Two-Step Clustering Approach for Improving Educational Process Model Discovery. WETICE 2016: 38-43 - [c92]Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu:
Modelling and analyzing home care plans using high-level Petri nets. WODES 2016: 284-290 - [i5]Mohamed Escheikh, Hana Jouini, Kamel Barkaoui:
Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission. CoRR abs/1610.02589 (2016) - 2015
- [j28]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua:
On the enforcement of a class of nonlinear constraints on Petri nets. Autom. 55: 116-124 (2015) - [j27]GaiYun Liu, Kamel Barkaoui:
Necessary and sufficient liveness condition of GS3PR Petri nets. Int. J. Syst. Sci. 46(7): 1147-1160 (2015) - [j26]Hanifa Boucheneb, Kamel Barkaoui:
Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. 14(1): 11:1-11:25 (2015) - [j25]Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov:
Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14(4): 62:1-62:2 (2015) - [c91]Hanifa Boucheneb, Kamel Barkaoui:
Strongly Generalized Soundness of Time Workflow Nets. ACSD 2015: 130-139 - [c90]Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen:
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM 2015: 55-71 - [c89]Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen:
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA 2015: 551-562 - [c88]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui:
State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS 2015: 65-76 - [c87]Zohra Sbaï, Kamel Barkaoui:
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. VECoS 2015: 97-108 - [p1]Aymen Louati, Kamel Barkaoui, Chadlia Jerad:
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. Formalisms for Reuse and Systems Integration 2015: 133-147 - 2014
- [j24]Hanifa Boucheneb, Kamel Barkaoui:
On combining the ready sets with the covering steps methods. Int. J. Crit. Comput. Based Syst. 5(1/2): 55-77 (2014) - [j23]Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb:
Transactional Petri nets: a semantic framework for UML2 activities. Int. J. Crit. Comput. Based Syst. 5(3/4): 241-267 (2014) - [j22]Minyar Sassi Hidri, Sonia Alouane-Ksouri, Kamel Barkaoui:
Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities. Int. J. Serv. Sci. Manag. Eng. Technol. 5(1): 66-83 (2014) - [j21]Yufeng Chen, ZhiWu Li, Kamel Barkaoui:
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. Inf. Sci. 256: 74-90 (2014) - [j20]Hanifa Boucheneb, Kamel Barkaoui:
Partial order reduction for checking soundness of time workflow nets. Inf. Sci. 282: 261-276 (2014) - [j19]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Murat Uzam:
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. 44(10): 1384-1400 (2014) - [c86]Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen:
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets 2014: 36-51 - [c85]Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb:
Compatibility Analysis of Time Open Workflow Nets. PNSE @ Petri Nets 2014: 249-268 - [c84]Zohra Sbaï, Kamel Barkaoui:
On Compatibility Analysis of Inter Organizational Business Processes. EOMAS@CAiSE 2014: 171-186 - [c83]Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
Text Retrieval Based on Dyadic Conceptual Projection. DEXA Workshops 2014: 198-202 - [c82]Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala:
A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. EUC 2014: 310-314 - [c81]Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati:
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. FORMATS 2014: 53-68 - [c80]Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
A tripartite graph-based fuzzy co-similarities for document retrieval. FSKD 2014: 575-580 - [c79]Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui:
Specifying and Verifying Concurrent C Programs with TLA+. FTSCS 2014: 206-222 - [c78]Ding Liu, Yifan Hou, Kamel Barkaoui, MengChu Zhou:
Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems. ICNSC 2014: 578-583 - [c77]Aymen Louati, Kamel Barkaoui, Chadlia Jerad:
Time properties verification of UML/MARTE real-time systems. IRI 2014: 386-393 - [c76]Mohamed Escheikh, Hana Jouini, Kamel Barkaoui:
A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems. MASCOTS 2014: 207-212 - [c75]Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui:
Towards Formal Modeling and Verification of Context-Aware Systems. VECoS 2014: 18-24 - [c74]Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Maximally Permissive Petri Net Supervisors with a Novel Structure. WODES 2014: 80-85 - [i4]Aymen Louati, Chadlia Jerad, Kamel Barkaoui:
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. CoRR abs/1401.5612 (2014) - 2013
- [j18]Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
Partitioned-based Fuzzy Clustering to Learn Documents' Triadic Similarity. Int. J. Recent Contributions Eng. Sci. IT 1(1): 5-12 (2013) - [j17]GaiYun Liu, ZhiWu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari:
Robustness of deadlock control for a class of Petri nets with unreliable resources. Inf. Sci. 235: 259-279 (2013) - [j16]Zohra Sbaï, Kamel Barkaoui:
Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels. Ingénierie des Systèmes d Inf. 18(5): 33-57 (2013) - [j15]Hanifa Boucheneb, Kamel Barkaoui:
Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embed. Comput. Syst. 12(1): 7:1-7:24 (2013) - [c73]Maryam Eslamichalandar, Kamel Barkaoui, Hamid Reza Motahari-Nezhad:
Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution. CSE 2013: 301-308 - [c72]Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
A Parallel Comparator of Documents. DEXA Workshops 2013: 48-52 - [c71]Ding Liu, Yifan Hou, Hesuan Hu, Kamel Barkaoui, MengChu Zhou:
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets. ICCA 2013: 1278-1283 - [c70]Ridha Benosman, Kamel Barkaoui, Yves Albrieux:
Exploiting Concurrency for the ESB Architecture. ICECCS 2013: 173-176 - [c69]Ridha Benosman, Kamel Barkaoui, Yves Albrieux:
A new dynamic IPC-memory allocator based on a paging approach. HPCS 2013: 382-389 - [c68]Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui:
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. IRI (best papers) 2013: 77-104 - [c67]Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui:
Verifying SystemC with predicate abstraction: A component based approach. IRI 2013: 536-545 - [i3]Zohra Sbaï, Kamel Barkaoui:
Vérification Formelle des Processus Workflow Collaboratifs. CoRR abs/1306.4308 (2013) - [i2]Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui:
Parallel architectures for fuzzy triadic similarity learning. CoRR abs/1312.6273 (2013) - 2012
- [j14]Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui:
On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis. Int. J. Found. Comput. Sci. 23(7): 1523-1542 (2012) - [c66]Hanifa Boucheneb, Kamel Barkaoui:
Reachability Analysis of P-time Petri Nets with Parametric Markings. ACSD 2012: 72-81 - [c65]Borhen Marzougui, Khaled Hassine, Kamel Barkaoui:
Modeling Migration of Mobile Agents. Business Process Management Workshops 2012: 530-540 - [c64]Awatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui:
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets. FHIES 2012: 1-18 - [c63]Mohamed Escheikh, Kamel Barkaoui:
Network availability modeling of VMIMO link in multi-hop wireless network. ISCC 2012: 876-881 - [c62]Hanifa Boucheneb, Kamel Barkaoui:
Parametric Verification of TimeWorkflow Nets. SEKE 2012: 375-380 - [c61]Ridha Benosman, Yves Albrieux, Kamel Barkaoui:
Performance evaluation of a massively parallel ESB-oriented architecture. SOCA 2012: 1-4 - [c60]Ding Liu, Kamel Barkaoui, MengChu Zhou:
On intrinsically live structure of a class of generalized Petri nets modeling FMS. WODES 2012: 187-192 - [e3]Florian Daniel, Kamel Barkaoui, Schahram Dustdar:
Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I. Lecture Notes in Business Information Processing 99, Springer 2012, ISBN 978-3-642-28107-5 [contents] - [e2]Florian Daniel, Kamel Barkaoui, Schahram Dustdar:
Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II. Lecture Notes in Business Information Processing 100, Springer 2012, ISBN 978-3-642-28114-3 [contents] - 2011
- [j13]Hanifa Boucheneb, Kamel Barkaoui:
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discret. Event Dyn. Syst. 21(2): 171-204 (2011) - [j12]Chafia Bouanaka, Faiza Belala, Kamel Barkaoui:
A tile logic-based semantics for mobile software architectures. Int. J. Crit. Comput. Based Syst. 2(3/4): 288-308 (2011) - [j11]Malika Benammar, Faiza Belala, Kamel Barkaoui:
Implémentation orientée objet d'ABAReL en Maude. Tech. Sci. Informatiques 30(6): 741-767 (2011) - [c59]Amel Ben Dhieb, Kamel Barkaoui:
On the Modeling of Healthcare Workflows Using Recursive ECATNets. Business Process Management Workshops (2) 2011: 99-107 - [c58]Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. ETFA 2011: 1-6 - [c57]Mohamed Escheikh, Kamel Barkaoui:
Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic petri nets. Q2SWinet 2011: 9-16 - [c56]Faiza Belala, Chafia Bouanaka, Kamel Barkaoui:
Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE 2011: 1-8 - 2010
- [j10]Mohamed Escheikh, Kamel Barkaoui:
Opportunistic MAC layer design with stochastic Petri Nets for multimedia ad hoc networks. Concurr. Comput. Pract. Exp. 22(10): 1308-1324 (2010) - [j9]Sabine Boufenara, Faiza Belala, Kamel Barkaoui:
Mapping UML 2.0 Activities to Zero-Safe Nets. J. Softw. Eng. Appl. 3(5): 426-435 (2010) - [j8]Abdallah Missaoui, Kamel Barkaoui:
A Neuro-Fuzzy Model for QoS Based Selection of Web Service. J. Softw. Eng. Appl. 3(6): 588-592 (2010) - [j7]Aicha Choutri, Faiza Belala, Kamel Barkaoui:
A Tile Logic Based Approach for Software Architecture Description Analysis. J. Softw. Eng. Appl. 3(11): 1067-1079 (2010) - [j6]Borhen Marzougui, Khaled Hassine, Kamel Barkaoui:
A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. J. Softw. Eng. Appl. 3(12): 1118-1124 (2010) - [j5]Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui:
Model-based testing approach for mobile agents using the paradigm of reference net. Multiagent Grid Syst. 6(4): 271-292 (2010) - [c55]Borhen Marzougui, Khaled Hassine, Kamel Barkaoui:
Toward a New Model of the Petri Nets: Agent Petri Nets. EMS 2010: 51-56 - [c54]Robert Abo, Kamel Barkaoui, Karim Djouani:
Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. ICDCS Workshops 2010: 189-198 - [c53]Abdallah Missaoui, Zohra Sbaï, Kamel Barkaoui:
Model Checking Verification of Web Services Composition. ACT4SOC 2010: 80-92 - [c52]Robert Abo, Kamel Barkaoui, Hafedh Zayani:
A probabilistic analysis of energy efficiency of wireless sensor network duty-cycled MAC protocols: application to S-MAC and Eco-MAC. Q2SWinet 2010: 41-48 - [c51]Hanifa Boucheneb, Kamel Barkaoui:
On interleaving in {P,A}-Time Petri nets with strong semantics. INFINITY 2010: 17-31 - [i1]Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed:
Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol. CoRR abs/1005.2050 (2010)
2000 – 2009
- 2009
- [c50]Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
On modelling adaptive service-oriented business processes. AICCSA 2009: 47-52 - [c49]Malika Benammar, Faiza Belala, Kamel Barkaoui, Nadira Benlahrache:
Extension d'ABAReL par les Propriétés d'Exécution. CAL 2009: 47-60 - [c48]Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS 2009: 138-146 - [c47]Kamel Barkaoui, Chafia Bouanaka, José Martín Molina Espinosa:
An Event Structure based Coordination Model for Collaborative Sessions. ICEIS (3) 2009: 137-143 - [c46]Nasreddine Aoumeur, Kamel Barkaoui:
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. ICIW 2009: 474-480 - [c45]Mohamed Escheikh, Kamel Barkaoui:
Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks. ISCC 2009: 23-29 - [c44]Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui:
Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. ISPDC 2009: 99-106 - [c43]Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui:
An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. RCIS 2009: 207-216 - [c42]Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions. IEEE International Workshop on Rapid System Prototyping 2009: 18-25 - [c41]Nasreddine Aoumeur, Kamel Barkaoui:
Stepwise engineering and deployment of dynamically adaptive service-oriented business processes. SOCA 2009: 1-9 - [c40]Hanifa Boucheneb, Kamel Barkaoui:
Covering Steps Graphs of Time Petri Nets. INFINITY 2009: 155-165 - 2008
- [j4]Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone:
Guest Editorial. Formal Aspects Comput. 20(4-5): 349-350 (2008) - [c39]Karim Djouani, Jun Chen, Abdellah Akharraz, Kamel Barkaoui:
An Effective Link Adaptation Method in Cooperative Wireless Networks. APSCC 2008: 914-919 - [c38]Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi:
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. BCS Int. Acad. Conf. 2008: 305-317 - [c37]Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur:
Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84 - [c36]Hanifa Boucheneb, Kamel Barkaoui:
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279 - [c35]Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ITNG 2008: 1305-1307 - [c34]Awatef Hicheur, Kamel Barkaoui:
Modelling collaborative workflows using recursive ECATNets. NOTERE 2008: 36:1-36:11 - [c33]Aicha Choutri, Faiza Belala, Kamel Barkaoui:
Towards a tile based LfP semantics. RCIS 2008: 9-16 - [c32]Nasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch:
On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework. SITIS 2008: 195-202 - [c31]Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur:
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM 2008: 19-36 - 2007
- [c30]Kamel Barkaoui, Awatef Hicheur:
Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. Business Process Management Workshops 2007: 232-244 - [c29]Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi:
On the Design and Analysis of Real-time Systems. CATA 2007: 380-386 - [c28]Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. CSMR 2007: 123-136 - [c27]Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi:
Hierarchical Verification in Maude of L f P Software Architectures. ECSA 2007: 156-170 - [c26]Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui:
Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. ICEIS (3) 2007: 152-158 - [c25]Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui:
Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. PM2HW2N 2007: 68-71 - [c24]Abdallah Missaoui, Kamel Barkaoui:
On the Integration of QoS Management in Web Service Architecture. WEBIST (1) 2007: 430-433 - 2006
- [c23]Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz:
Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. AICCSA 2006: 936-943 - [c22]Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf:
Modeling Workflows with Recursive ECATNets. SYNASC 2006: 389-398 - [e1]Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings. Lecture Notes in Computer Science 4281, Springer 2006, ISBN 3-540-48815-4 [contents] - 2005
- [c21]Laïd Kahloul, Kamel Barkaoui, Zaïdi Sahnoun:
Using AUML to derive formal modeling agents interactions. AICCSA 2005: 109 - [c20]Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai:
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107 - [c19]Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui:
CIRTA: An ECATNets Based Model for Embedded Systems Specification. ESA 2005: 261-267 - [c18]Hacene Sebih, Kamel Barkaoui:
A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA 2005: 1255-1263 - [c17]Chadlia Jerad, Kamel Barkaoui:
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. IEEE International Workshop on Rapid System Prototyping 2005: 202-208 - 2003
- [j3]Kamel Barkaoui, Rabah Benamara:
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. J. Supercomput. 24(2): 193-202 (2003) - [c16]Belhassen Zouari, Kamel Barkaoui:
Parameterized supervisor synthesis for a modular class of discrete event systems. SMC 2003: 1874-1879 - 2002
- [j2]Kamel Barkaoui, Mohamed Jmaiel, Ali Mili:
Guest editorial. J. Syst. Softw. 60(2): 87-89 (2002) - [c15]Kamel Barkaoui, Ph. Dechambre, R. Hachicha:
Verification and Optimisation of an Operating Room Workflow. HICSS 2002: 210 - 2000
- [c14]Mohamed Escheikh, Kamel Barkaoui, Ammar Bouallegue:
Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism. MASCOTS 2000: 416-423
1990 – 1999
- 1999
- [c13]Kamel Barkaoui, Rabah Benamara:
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. PDPTA 1999: 2836-2842 - 1998
- [c12]Kamel Barkaoui, Jean-François Pradat-Peyre:
Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE 1998: 124-133 - 1997
- [c11]Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre:
Petri nets based proofs of Ada 95 solution for preference control. APSEC 1997: 238-248 - [c10]Kamel Barkaoui, Yasmina Maïzi:
Efficient Answer Extraction of Deductive Databases Modeled by HLPN. DEXA 1997: 324-336 - [c9]Kamel Barkaoui, Rabah Benamara:
Towards an efficient probabilistic deadlock detection method for multidatabase systems. FTDCS 1997: 84-91 - 1996
- [c8]Kamel Barkaoui, Jean-François Pradat-Peyre:
On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets 1996: 57-72 - [c7]Kamel Barkaoui, Yasmina Maïzi:
Optimizing Query Evaluation in Deductive Databases Using Reductions. DEXA Workshop 1996: 30-39 - [c6]Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui:
Formal Specification of Communication Protocols with Object-Based ECATNets. EUROMICRO 1996: 492- - 1995
- [c5]Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet:
On Liveness in Extended non Self-Controlling Nets. Application and Theory of Petri Nets 1995: 25-44 - 1993
- [c4]Kamel Barkaoui, Claude Dutheillet, Serge Haddad:
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets 1993: 69-88 - 1992
- [c3]Kamel Barkaoui, Michel Minoux:
A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. Application and Theory of Petri Nets 1992: 62-75 - [c2]Kamel Barkaoui, Noureddine Boudriga, Amel Grissa Touzi:
A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. DEXA 1992: 221-225 - 1990
- [j1]Michel Minoux, Kamel Barkaoui:
Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems. Discret. Appl. Math. 29(2-3): 195-210 (1990)
1980 – 1989
- 1988
- [c1]Kamel Barkaoui, Gerard Florin, Céline Fraize, Bernard Lemaire, Stéphane Natkin:
Reliability analysis of non repairable systems using stochastic Petri nets. FTCS 1988: 90-95
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
