Kamel Barkaoui

199 papers A 2B 11C 35Misc 6Journal 67Unranked 74

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Ultra-Robust Privacy Preserving Scheme for Federated Learning using Distributed Homomorphic Encryption. IACR Cryptol. ePrint Arch. Ikhlas Mastour, Layth Sliman, Boussad Ait Salem, Balthazar Bauer, Raoudha Ben Djemaa, Kamel Barkaoui
2025	J	`jnl`	Exploring the Landscape of IoT Ransomware Prediction Through Machine Learning Techniques: A Comprehensive Survey. SN Comput. Sci. Ines Gharbi, Mohamed Belaoued, Abdelouahid Derhab, Kamel Barkaoui
2025	—	`ed.`	Research in Computer Science - 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings CARI Djamil Aïssani, Kamel Barkaoui, Mathieu Roche
2025	J	`jnl`	Scalable Load Balancing scheme for wireless distributed controllers in SDDC. Comput. Networks Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui
2024	C	`conf`	DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability. VECoS Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui
2024	J	`jnl`	DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement. Comput. Networks Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui
2024	C	`conf`	Data-Centric Security Model Based on Attribute-Based Cryptography For Healthcare Systems. MEDES Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui
2024	J	`jnl`	Preface to the VECoS 2020 & 2021 special issue of ISSE. Innov. Syst. Softw. Eng. Kamel Barkaoui, Belgacem Ben Hedia
2024	J	`jnl`	Production chain modeling based on learning flow stochastic petri nets. Soft Comput. Walid Ben Mesmia, Kamel Barkaoui
2024	C	`conf`	State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique. CoDIT Zexi Huang, Lin Chen, Gaiyun Liu, Kamel Barkaoui
2023	C	`conf`	A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. VECoS Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui
2023	—	`conf`	A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics. ICNSC Ammar Boucherit, Kamel Barkaoui, Mohammed Lamine Lamouri
2023	J	`jnl`	Adaptive supervisory control for a class of Petri nets with bimodal transitions. Inf. Sci. Umar Suleiman Abubakar, Gaiyun Liu, Kamel Barkaoui, ZhiWu Li
2023	—	`conf`	Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets. ICNSC Chen Shen, Gaiyun Liu, Chunfu Zhong, Kamel Barkaoui
2023	—	`conf`	Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications. ACSW Bachar Kachouh, Layth Sliman, Abed Ellatif Samhat, Kamel Barkaoui
2023	—	`conf`	Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. ICCA Ikhlas Mastour, Layth Sliman, Benoit Charroux, Raoudha Ben Djemaa, Kamel Barkaoui
2023	C	`conf`	Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach. ICTSS Mohamed Escheikh, Wiem Taktak, Kamel Barkaoui
2022	J	`jnl`	Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, ZhiWu Li
2022	J	`jnl`	Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review. IEEE Access Rateb Jabbar, Eya Dhib, Ahmed Ben Said, Moez Krichen, Noora Fetais, Esmat Zaidan, Kamel Barkaoui
2022	J	`jnl`	Time based deadlock prevention for Petri nets. Autom. Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, Gaiyun Liu, ZhiWu Li
2022	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers VECoS Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li
2021	—	`conf`	An Enhanced Rewriting Logic Based Semantics for High Level Petri nets. PNSE@Petri Nets Ammar Boucherit, Kamel Barkaoui, Osman Hasan
2021	J	`jnl`	Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. IEEE CAA J. Autom. Sinica Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou
2021	J	`jnl`	DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. J. Softw. Evol. Process. Walid Ben Mesmia, Mohamed Escheikh, Kamel Barkaoui
2021	J	`jnl`	Extended Hapicare: A telecare system with probabilistic diagnosis and self-adaptive treatment. Expert Syst. Appl. Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Kamel Barkaoui, Yacine Amirat, Wagdy Zahran
2020	B	`conf`	A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. ENASE Rateb Jabbar, Moez Krichen, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui
2020	B	`conf`	A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. IWCMC Rateb Jabbar, Moez Krichen, Mohammed Shinoy, Mohamed Kharbeche, Noora Fetais, Kamel Barkaoui
2020	—	`conf`	Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. ICEIS (1) Rateb Jabbar, Moez Krichen, Noora Fetais, Kamel Barkaoui
2020	—	`conf`	An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing. MSPN Ines Gharbi, Kamel Barkaoui, Samir Ben Ahmed
2020	J	`jnl`	Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. Sensors Rateb Jabbar, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2020	—	`conf`	Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. ICIoT Rateb Jabbar, Noora Fetais, Moez Krichen, Kamel Barkaoui
2020	—	`conf`	Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. ICIoT Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2020	J	`jnl`	Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. CoRR Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2020	J	`jnl`	Exploiting local persistency for reduced state-space generation. Innov. Syst. Softw. Eng. Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li
2020	—	`conf`	HapiChain: A Blockchain-based Framework for Patient-Centric Telemedicine. SeGAH Hossain Kordestani, Kamel Barkaoui, Wagdy Zahran
2020	—	`conf`	HapiFabric: A Teleconsultation Framework Based on Hyperledger Fabric. EMCIS Hossain Kordestani, Kamel Barkaoui, Wagdy Zahran
2020	C	`conf`	Towards Efficient Partial Order Techniques for Time Petri Nets. VECoS Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, ZhiWu Li
2020	J	`jnl`	Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. CoRR Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2019	J	`jnl`	Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Access Xiaoyan Li, Gaiyun Liu, ZhiWu Li, Naiqi Wu, Kamel Barkaoui
2019	C	`conf`	Hapicare: A Healthcare Monitoring System with Self-Adaptive Coaching using Probabilistic Reasoning. AICCSA Hossain Kordestani, Roghayeh Mojarad, Abdelghani Chibani, Aomar Osmani, Yacine Amirat, Kamel Barkaoui, Wagdy Zahran
2019	B	`conf`	Improving genetic algorithm using arc consistency technic. KES Meriem Zouita, Sadok Bouamama, Kamel Barkaoui
2019	J	`jnl`	Maximal Good Step Graph Methods for Reducing the Generation of the State Space. IEEE Access Hao Dou, Kamel Barkaoui, Hanifa Boucheneb, Xiaoning Jiang, Shouguang Wang
2019	C	`conf`	On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. CoDIT Rym Meriah, Kamel Barkaoui, Gaiyun Liu, Olfa Belkahla Driss
2019	J	`jnl`	Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging. Int. J. Crit. Comput. Based Syst. Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui
2019	—	`conf`	Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers. SDS Mohamed Escheikh, Kamel Barkaoui
2019	—	`conf`	Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. IINTEC Rateb Jabbar, Mohammed Shinoy, Mohamed Kharbeche, Khalifa Al-Khalifa, Moez Krichen, Kamel Barkaoui
2018	J	`jnl`	Architectural method to design and control dynamic composite web services. Int. J. Comput. Appl. Technol. Manel Amel Djenouhat, Faiza Belala, Kamel Barkaoui
2018	J	`jnl`	Delay-dependent partial order reduction technique for real time systems. Real Time Syst. Hanifa Boucheneb, Kamel Barkaoui
2018	C	`conf`	Exploiting Local Persistency for Reduced State Space Generation. VECoS Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li
2018	J	`jnl`	Introduction to special issue on verification and evaluation of computer systems. Innov. Syst. Softw. Eng. Kamel Barkaoui, Hanifa Boucheneb
2018	J	`jnl`	IoT-based smart and complex systems: a guest editorial report. IEEE CAA J. Autom. Sinica Naiqi Wu, ZhiWu Li, Kamel Barkaoui, Xiaoou Li, Tadahiko Murata, MengChu Zhou
2018	B	`conf`	Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu
2018	—	`conf`	On Persistency in Time Petri Nets. FORMATS Kamel Barkaoui, Hanifa Boucheneb
2018	J	`jnl`	Performance analysis of the Int. J. Crit. Comput. Based Syst. Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir
2017	J	`jnl`	Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Naiqi Wu, MengChu Zhou
2017	J	`jnl`	Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
2017	C	`conf`	Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. VECoS Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine
2017	J	`jnl`	On the dependability evaluation of a virtual multiple input multiple output link. Int. J. Crit. Comput. Based Syst. Mohamed Escheikh, Kamel Barkaoui
2017	J	`jnl`	Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. IEEE Access Chengzong Li, Yufeng Chen, ZhiWu Li, Kamel Barkaoui
2017	C	`ed.`	Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings VECoS Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar
2017	J	`jnl`	Versatile workload-aware power management performability analysis of server virtualized systems. J. Syst. Softw. Mohamed Escheikh, Kamel Barkaoui, Hana Jouini
2016	C	`conf`	A Two-Step Clustering Approach for Improving Educational Process Model Discovery. WETICE Hanane Ariouat, Awatef Hicheur Cairns, Kamel Barkaoui, Jacky Akoka, Nasser Khelifa
2016	J	`jnl`	A bigraph-based framework for specification and analysis of context-aware systems. Int. J. Crit. Comput. Based Syst. Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui
2016	J	`jnl`	A survey of siphons in Petri nets. Inf. Sci. Gaiyun Liu, Kamel Barkaoui
2016	J	`jnl`	Formal Verification of UML2 Timing Diagrams based on Time Petri Nets. Int. J. Inf. Syst. Serv. Sect. Aymen Louati, Kamel Barkaoui
2016	—	`conf`	Hybrid computing document similarity in large-scale environment. ICNC-FSKD Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
2016	J	`jnl`	Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission. CoRR Mohamed Escheikh, Hana Jouini, Kamel Barkaoui
2016	—	`conf`	Modelling and analyzing home care plans using high-level Petri nets. WODES Kamel Barkaoui, Awatef Hicheur, Ahmed Kheldoun, Ding Liu
2016	C	`conf`	On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. VECoS Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir
2016	—	`conf`	Petri Nets for Mobile Agent: Theory and Application. IntelliSys (2) Walid Ben Mesmia, Borhen Marzougui, Kamel Barkaoui
2016	J	`jnl`	Specification and verification of reconfigurable multi-agent system architectures. Multiagent Grid Syst. Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaïdi Sahnoun
2016	—	`conf`	Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. ISSRE Workshops Mohamed Escheikh, Zayneb Tayachi, Kamel Barkaoui
2015	—	`conf`	A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. CIIA Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen
2015	J	`jnl`	Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov
2015	J	`jnl`	Necessary and sufficient liveness condition of GS Int. J. Syst. Sci. Gaiyun Liu, Kamel Barkaoui
2015	C	`conf`	On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. VECoS Zohra Sbaï, Kamel Barkaoui
2015	J	`jnl`	On the enforcement of a class of nonlinear constraints on Petri nets. Autom. Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua
2015	A	`conf`	Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach. BPM Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen
2015	C	`conf`	State Space Reduction Strategie for Model Checking Concurrent C Programs. VECoS Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
2015	—	`conf`	Strongly Generalized Soundness of Time Workflow Nets. ACSD Hanifa Boucheneb, Kamel Barkaoui
2015	J	`jnl`	Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. Hanifa Boucheneb, Kamel Barkaoui
2015	—	`ch.`	Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT. Formalisms for Reuse and Systems Integration Aymen Louati, Kamel Barkaoui, Chadlia Jerad
2014	C	`conf`	A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System. EUC Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala
2014	—	`conf`	A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. ADECS @ Petri Nets Ahmed Kheldoun, Jiafeng Zhang, Kamel Barkaoui, Malika Ioualalen
2014	B	`conf`	A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems. MASCOTS Mohamed Escheikh, Hana Jouini, Kamel Barkaoui
2014	—	`conf`	A tripartite graph-based fuzzy co-similarities for document retrieval. FSKD Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
2014	—	`conf`	Compatibility Analysis of Time Open Workflow Nets. PNSE @ Petri Nets Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb
2014	—	`conf`	Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. FORMATS Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati
2014	J	`jnl`	Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. CoRR Aymen Louati, Chadlia Jerad, Kamel Barkaoui
2014	J	`jnl`	Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities. Int. J. Serv. Sci. Manag. Eng. Technol. Minyar Sassi Hidri, Sonia Alouane-Ksouri, Kamel Barkaoui
2014	—	`conf`	Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems. ICNSC Ding Liu, Yifan Hou, Kamel Barkaoui, MengChu Zhou
2014	—	`conf`	Maximally Permissive Petri Net Supervisors with a Novel Structure. WODES Yufeng Chen, ZhiWu Li, Kamel Barkaoui
2014	J	`jnl`	Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. Inf. Sci. Yufeng Chen, ZhiWu Li, Kamel Barkaoui
2014	J	`jnl`	New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. IEEE Trans. Syst. Man Cybern. Syst. Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Murat Uzam
2014	—	`conf`	On Compatibility Analysis of Inter Organizational Business Processes. EOMAS@CAiSE Zohra Sbaï, Kamel Barkaoui
2014	J	`jnl`	On combining the ready sets with the covering steps methods. Int. J. Crit. Comput. Based Syst. Hanifa Boucheneb, Kamel Barkaoui
2014	J	`jnl`	Partial order reduction for checking soundness of time workflow nets. Inf. Sci. Hanifa Boucheneb, Kamel Barkaoui
2014	—	`conf`	Specifying and Verifying Concurrent C Programs with TLA+. FTSCS Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
2014	—	`conf`	Text Retrieval Based on Dyadic Conceptual Projection. DEXA Workshops Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
2014	Misc	`conf`	Time properties verification of UML/MARTE real-time systems. IRI Aymen Louati, Kamel Barkaoui, Chadlia Jerad
2014	C	`conf`	Towards Formal Modeling and Verification of Context-Aware Systems. VECoS Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui
2014	J	`jnl`	Transactional Petri nets: a semantic framework for UML2 activities. Int. J. Crit. Comput. Based Syst. Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb
2013	—	`conf`	A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. IRI (best papers) Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
2013	—	`conf`	A Parallel Comparator of Documents. DEXA Workshops Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
2013	—	`conf`	A new dynamic IPC-memory allocator based on a paging approach. HPCS Ridha Benosman, Kamel Barkaoui, Yves Albrieux
2013	—	`conf`	Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution. CSE Maryam Eslamichalandar, Kamel Barkaoui, Hamid Reza Motahari-Nezhad
2013	B	`conf`	Exploiting Concurrency for the ESB Architecture. ICECCS Ridha Benosman, Kamel Barkaoui, Yves Albrieux
2013	—	`conf`	Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets. ICCA Ding Liu, Yifan Hou, Hesuan Hu, Kamel Barkaoui, MengChu Zhou
2013	J	`jnl`	Parallel architectures for fuzzy triadic similarity learning. CoRR Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
2013	J	`jnl`	Partitioned-based Fuzzy Clustering to Learn Documents' Triadic Similarity. Int. J. Recent Contributions Eng. Sci. IT Sonia Alouane-Ksouri, Minyar Sassi Hidri, Kamel Barkaoui
2013	J	`jnl`	Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embed. Comput. Syst. Hanifa Boucheneb, Kamel Barkaoui
2013	J	`jnl`	Robustness of deadlock control for a class of Petri nets with unreliable resources. Inf. Sci. Gaiyun Liu, ZhiWu Li, Kamel Barkaoui, Abdulrahman Al-Ahmari
2013	Misc	`conf`	Verifying SystemC with predicate abstraction: A component based approach. IRI Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
2013	J	`jnl`	Vérification Formelle des Processus Workflow Collaboratifs. CoRR Zohra Sbaï, Kamel Barkaoui
2013	J	`jnl`	Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels. Ingénierie des Systèmes d Inf. Zohra Sbaï, Kamel Barkaoui
2012	—	`ed.`	Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I Business Process Management Workshops (1) Florian Daniel, Kamel Barkaoui, Schahram Dustdar
2012	—	`ed.`	Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II Business Process Management Workshops (2) Florian Daniel, Kamel Barkaoui, Schahram Dustdar
2012	—	`conf`	Modeling Migration of Mobile Agents. Business Process Management Workshops Borhen Marzougui, Khaled Hassine, Kamel Barkaoui
2012	—	`conf`	Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets. FHIES Awatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui
2012	C	`conf`	Network availability modeling of VMIMO link in multi-hop wireless network. ISCC Mohamed Escheikh, Kamel Barkaoui
2012	J	`jnl`	On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis. Int. J. Found. Comput. Sci. Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui
2012	—	`conf`	On intrinsically live structure of a class of generalized Petri nets modeling FMS. WODES Ding Liu, Kamel Barkaoui, MengChu Zhou
2012	C	`conf`	Parametric Verification of TimeWorkflow Nets. SEKE Hanifa Boucheneb, Kamel Barkaoui
2012	—	`conf`	Performance evaluation of a massively parallel ESB-oriented architecture. SOCA Ridha Benosman, Yves Albrieux, Kamel Barkaoui
2012	—	`conf`	Reachability Analysis of P-time Petri Nets with Parametric Markings. ACSD Hanifa Boucheneb, Kamel Barkaoui
2011	J	`jnl`	A tile logic-based semantics for mobile software architectures. Int. J. Crit. Comput. Based Syst. Chafia Bouanaka, Faiza Belala, Kamel Barkaoui
2011	J	`jnl`	Implémentation orientée objet d'ABAReL en Maude. Tech. Sci. Informatiques Malika Benammar, Faiza Belala, Kamel Barkaoui
2011	—	`conf`	On the Modeling of Healthcare Workflows Using Recursive ECATNets. Business Process Management Workshops (2) Amel Ben Dhieb, Kamel Barkaoui
2011	C	`conf`	Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. ETFA Yufeng Chen, ZhiWu Li, Kamel Barkaoui
2011	—	`conf`	Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic petri nets. Q2SWinet Mohamed Escheikh, Kamel Barkaoui
2011	J	`jnl`	Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discret. Event Dyn. Syst. Hanifa Boucheneb, Kamel Barkaoui
2011	—	`conf`	Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE Faiza Belala, Chafia Bouanaka, Kamel Barkaoui
2010	J	`jnl`	A Neuro-Fuzzy Model for QoS Based Selection of Web Service. J. Softw. Eng. Appl. Abdallah Missaoui, Kamel Barkaoui
2010	J	`jnl`	A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. J. Softw. Eng. Appl. Borhen Marzougui, Khaled Hassine, Kamel Barkaoui
2010	J	`jnl`	A Tile Logic Based Approach for Software Architecture Description Analysis. J. Softw. Eng. Appl. Aicha Choutri, Faiza Belala, Kamel Barkaoui
2010	—	`conf`	A probabilistic analysis of energy efficiency of wireless sensor network duty-cycled MAC protocols: application to S-MAC and Eco-MAC. Q2SWinet Robert Abo, Kamel Barkaoui, Hafedh Zayani
2010	J	`jnl`	Mapping UML 2.0 Activities to Zero-Safe Nets. J. Softw. Eng. Appl. Sabine Boufenara, Faiza Belala, Kamel Barkaoui
2010	—	`conf`	Model Checking Verification of Web Services Composition. ACT4SOC Abdallah Missaoui, Zohra Sbaï, Kamel Barkaoui
2010	J	`jnl`	Model-based testing approach for mobile agents using the paradigm of reference net. Multiagent Grid Syst. Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui
2010	—	`conf`	On interleaving in {P,A}-Time Petri nets with strong semantics INFINITY Hanifa Boucheneb, Kamel Barkaoui
2010	J	`jnl`	Opportunistic MAC layer design with stochastic Petri Nets for multimedia Concurr. Comput. Pract. Exp. Mohamed Escheikh, Kamel Barkaoui
2010	J	`jnl`	Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol CoRR Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed
2010	—	`conf`	Toward a New Model of the Petri Nets: Agent Petri Nets. EMS Borhen Marzougui, Khaled Hassine, Kamel Barkaoui
2010	—	`conf`	Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. ICDCS Workshops Robert Abo, Kamel Barkaoui, Karim Djouani
2009	B	`conf`	An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. RCIS Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui
2009	—	`conf`	An Event Structure based Coordination Model for Collaborative Sessions. ICEIS (3) Kamel Barkaoui, Chafia Bouanaka, José Martín Molina Espinosa
2009	—	`conf`	Covering Steps Graphs of Time Petri Nets. INFINITY Hanifa Boucheneb, Kamel Barkaoui
2009	C	`conf`	Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. ISPDC Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui
2009	—	`conf`	Extension d'ABAReL par les Propriétés d'Exécution. CAL Malika Benammar, Faiza Belala, Kamel Barkaoui, Nadira Benlahrache
2009	C	`conf`	On modelling adaptive service-oriented business processes. AICCSA Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
2009	C	`conf`	Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks. ISCC Mohamed Escheikh, Kamel Barkaoui
2009	C	`conf`	Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions. IEEE International Workshop on Rapid System Prototyping Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
2009	—	`conf`	Stepwise engineering and deployment of dynamically adaptive service-oriented business processes. SOCA Nasreddine Aoumeur, Kamel Barkaoui
2009	C	`conf`	Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. ICIW Nasreddine Aoumeur, Kamel Barkaoui
2009	—	`conf`	Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
2008	C	`conf`	An Effective Link Adaptation Method in Cooperative Wireless Networks. APSCC Karim Djouani, Jun Chen, Abdellah Akharraz, Kamel Barkaoui
2008	J	`jnl`	Guest Editorial. Formal Aspects Comput. Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone
2008	—	`conf`	Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur
2008	—	`conf`	Modelling collaborative workflows using recursive ECATNets. NOTERE Awatef Hicheur, Kamel Barkaoui
2008	—	`conf`	On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework. SITIS Nasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch
2008	—	`conf`	On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. BCS Int. Acad. Conf. Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
2008	—	`conf`	Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS Hanifa Boucheneb, Kamel Barkaoui
2008	—	`conf`	Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ITNG Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
2008	B	`conf`	Towards a tile based LfP semantics. RCIS Aicha Choutri, Faiza Belala, Kamel Barkaoui
2008	C	`conf`	Verification of Workflow processes under multilevel security considerations. CRiSIS Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur
2007	—	`conf`	Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. ICEIS (3) Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui
2007	—	`conf`	Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. PM2HW2N Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui
2007	B	`conf`	Hierarchical Verification in Maude of L ECSA Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
2007	—	`conf`	Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. CSMR Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
2007	Misc	`conf`	On the Design and Analysis of Real-time Systems. CATA Chadlia Jerad, Kamel Barkaoui, Amel Grissa Touzi
2007	—	`conf`	On the Integration of QoS Management in Web Service Architecture. WEBIST (1) Abdallah Missaoui, Kamel Barkaoui
2007	—	`conf`	Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. Business Process Management Workshops Kamel Barkaoui, Awatef Hicheur
2006	C	`conf`	Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. AICCSA Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz
2006	Misc	`conf`	Modeling Workflows with Recursive ECATNets. SYNASC Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf
2006	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings ICTAC Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone
2005	Misc	`conf`	A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA Hacene Sebih, Kamel Barkaoui
2005	A	`conf`	CIRTA: An ECATNets Based Model for Embedded Systems Specification. ESA Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui
2005	—	`conf`	On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
2005	C	`conf`	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. IEEE International Workshop on Rapid System Prototyping Chadlia Jerad, Kamel Barkaoui
2005	C	`conf`	Using AUML to derive formal modeling agents interactions. AICCSA Laid Kahloul, Kamel Barkaoui, Zaïdi Sahnoun
2003	J	`jnl`	On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. J. Supercomput. Kamel Barkaoui, Rabah Benamara
2003	B	`conf`	Parameterized supervisor synthesis for a modular class of discrete event systems. SMC Belhassen Zouari, Kamel Barkaoui
2002	J	`jnl`	Guest editorial. J. Syst. Softw. Kamel Barkaoui, Mohamed Jmaiel, Ali Mili
2002	—	`conf`	Verification and Optimisation of an Operating Room Workflow. HICSS Kamel Barkaoui, Ph. Dechambre, R. Hachicha
2000	B	`conf`	Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism. MASCOTS Mohamed Escheikh, Kamel Barkaoui, Ammar Bouallegue
1999	Misc	`conf`	On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. PDPTA Kamel Barkaoui, Rabah Benamara
1998	—	`conf`	Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE Kamel Barkaoui, Jean-François Pradat-Peyre
1997	C	`conf`	Efficient Answer Extraction of Deductive Databases Modeled by HLPN. DEXA Kamel Barkaoui, Yasmina Maïzi
1997	C	`conf`	Petri nets based proofs of Ada 95 solution for preference control. APSEC Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre
1997	—	`conf`	Towards an efficient probabilistic deadlock detection method for multidatabase systems. FTDCS Kamel Barkaoui, Rabah Benamara
1996	—	`conf`	Formal Specification of Communication Protocols with Object-Based ECATNets. EUROMICRO Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui
1996	—	`conf`	On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets Kamel Barkaoui, Jean-François Pradat-Peyre
1996	—	`conf`	Optimizing Query Evaluation in Deductive Databases Using Reductions. DEXA Workshop Kamel Barkaoui, Yasmina Maïzi
1995	—	`conf`	On Liveness in Extended non Self-Controlling Nets. Application and Theory of Petri Nets Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet
1993	—	`conf`	An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Application and Theory of Petri Nets Kamel Barkaoui, Claude Dutheillet, Serge Haddad
1992	—	`conf`	A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. Application and Theory of Petri Nets Kamel Barkaoui, Michel Minoux
1992	C	`conf`	A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. DEXA Kamel Barkaoui, Noureddine Boudriga, Amel Grissa Touzi
1990	J	`jnl`	Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems. Discret. Appl. Math. Michel Minoux, Kamel Barkaoui
1988	—	`conf`	Reliability analysis of non repairable systems using stochastic Petri nets. FTCS Kamel Barkaoui, Gerard Florin, Céline Fraize, Bernard Lemaire, Stéphane Natkin