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]