Kamel Barkaoui

G. Y. Liu, Z. W. 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)

Hanifa Boucheneb, Kamel Barkaoui: Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embedded Comput. Syst. 12(1): 7 (2013)

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)

Hanifa Boucheneb, Kamel Barkaoui: Reachability Analysis of P-time Petri Nets with Parametric Markings. ACSD 2012: 72-81

Borhen Marzougui, Khaled Hassine, Kamel Barkaoui: Modeling Migration of Mobile Agents. Business Process Management Workshops 2012: 530-540

Mohamed Escheikh, Kamel Barkaoui: Network availability modeling of VMIMO link in multi-hop wireless network. ISCC 2012: 876-881

Hanifa Boucheneb, Kamel Barkaoui: Parametric Verification of TimeWorkflow Nets. SEKE 2012: 375-380

Ridha Benosman, Yves Albrieux, Kamel Barkaoui: Performance evaluation of a massively parallel ESB-oriented architecture. SOCA 2012: 1-4

Florian Daniel, Kamel Barkaoui, Schahram Dustdar (Eds.): 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

Florian Daniel, Kamel Barkaoui, Schahram Dustdar (Eds.): 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

Hanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discrete Event Dynamic Systems 21(2): 171-204 (2011)

Chafia Bouanaka, Faiza Belala, Kamel Barkaoui: A tile logic-based semantics for mobile software architectures. IJCCBS 2(3/4): 288-308 (2011)

Malika Benammar, Faiza Belala, Kamel Barkaoui: Implémentation orientée objet d'ABAReL en Maude. Technique et Science Informatiques 30(6): 741-767 (2011)

Amel Ben Dhieb, Kamel Barkaoui: On the Modeling of Healthcare Workflows Using Recursive ECATNets. Business Process Management Workshops (2) 2011: 99-107

Yufeng Chen, Zhiwu Li, Kamel Barkaoui: Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. ETFA 2011: 1-6

Mohamed Escheikh, Kamel Barkaoui: Opportunistic MAC layer design with stochastic Petri Nets for multimedia ad hoc networks. Concurrency and Computation: Practice and Experience 22(10): 1308-1324 (2010)

Sabine Boufenara, Faiza Belala, Kamel Barkaoui: Mapping UML 2.0 Activities to Zero-Safe Nets. JSEA 3(5): 426-435 (2010)

Abdallah Missaoui, Kamel Barkaoui: A Neuro-Fuzzy Model for QoS Based Selection of Web Service. JSEA 3(6): 588-592 (2010)

Aicha Choutri, Faiza Belala, Kamel Barkaoui: A Tile Logic Based Approach for Software Architecture Description Analysis. JSEA 3(11): 1067-1079 (2010)

Borhen Marzougui, Khaled Hassine, Kamel Barkaoui: A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. JSEA 3(12): 1118-1124 (2010)

Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui: Model-based testing approach for mobile agents using the paradigm of reference net. Multiagent and Grid Systems 6(4): 271-292 (2010)

Robert Abo, Kamel Barkaoui, Karim Djouani: Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. ICDCS Workshops 2010: 189-198

Abdallah Missaoui, Zohra Sbaï, Kamel Barkaoui: Model Checking Verification of Web Services Composition. ACT4SOC 2010: 80-92

Hanifa Boucheneb, Kamel Barkaoui: On interleaving in {P,A}-Time Petri nets with strong semantics. INFINITY 2010: 17-31

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)

Hanifa Boucheneb, Kamel Barkaoui: Covering Steps Graphs of Time Petri Nets. Electr. Notes Theor. Comput. Sci. 239: 155-165 (2009)

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: On modelling adaptive service-oriented business processes. AICCSA 2009: 47-52

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS 2009: 138-146

Kamel Barkaoui, Chafia Bouanaka, José Martín Molina Espinosa: An Event Structure based Coordination Model for Collaborative Sessions. ICEIS (3) 2009: 137-143

Nasreddine Aoumeur, Kamel Barkaoui: Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. ICIW 2009: 474-480

Mohamed Escheikh, Kamel Barkaoui: Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks. ISCC 2009: 23-29

Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui: Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. ISPDC 2009: 99-106

Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui: An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. RCIS 2009: 207-216

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

Nasreddine Aoumeur, Kamel Barkaoui: Stepwise engineering and deployment of dynamically adaptive service-oriented business processes. SOCA 2009: 1-9

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)

Karim Djouani, Jun Chen, Abdellah Akharraz, Kamel Barkaoui: An Effective Link Adaptation Method in Cooperative Wireless Networks. APSCC 2008: 914-919

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

Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur: Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84

Hanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ITNG 2008: 1305-1307

Aicha Choutri, Faiza Belala, Kamel Barkaoui: Towards a tile based LfP semantics. RCIS 2008: 9-16

Nasreddine Aoumeur, Kamel Barkaoui, Claus Rautenstrauch: On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework. SITIS 2008: 195-202

Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM 2008: 19-36

Kamel Barkaoui, Awatef Hicheur: Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. Business Process Management Workshops 2007: 232-244

Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi: On the Design and Analysis of Real-time Systems. Computers and Their Applications 2007: 380-386

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. CSMR 2007: 123-136

Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi: Hierarchical Verification in Maude of L f P Software Architectures. ECSA 2007: 156-170

Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui: Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. ICEIS (3) 2007: 152-158

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

Abdallah Missaoui, Kamel Barkaoui: On the Integration of QoS Management in Web Service Architecture. WEBIST (1) 2007: 430-433

Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz: Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. AICCSA 2006: 936-943

Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf: Modeling Workflows with Recursive ECATNets. SYNASC 2006: 389-398

Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (Eds.): 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

L. Kahloul, Kamel Barkaoui, Zaïdi Sahnoun: Using AUML to derive formal modeling agents interactions. AICCSA 2005: 109

Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai: On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107

Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui: CIRTA: An ECATNets Based Model for Embedded Systems Specification. ESA 2005: 261-267

Hacene Sebih, Kamel Barkaoui: A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA 2005: 1255-1263

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

Kamel Barkaoui, Rabah Benamara: On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. The Journal of Supercomputing 24(2): 193-202 (2003)

Belhassen Zouari, Kamel Barkaoui: Parameterized supervisor synthesis for a modular class of discrete event systems. SMC 2003: 1874-1879

Kamel Barkaoui, Mohamed Jmaiel, Ali Mili: Guest editorial. Journal of Systems and Software 60(2): 87-89 (2002)

Kamel Barkaoui, Ph. Dechambre, R. Hachicha: Verification and Optimisation of an Operating Room Workflow. HICSS 2002: 210

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

Kamel Barkaoui, Rabah Benamara: On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. PDPTA 1999: 2836-2842

Kamel Barkaoui, Jean-François Pradat-Peyre: Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE 1998: 124-133

Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre: Petri nets based proofs of Ada 95 solution for preference control. APSEC 1997: 238-248

Kamel Barkaoui, Yasmina Maïzi: Efficient Answer Extraction of Deductive Databases Modeled by HLPN. DEXA 1997: 324-336

Kamel Barkaoui, Rabah Benamara: Towards an efficient probabilistic deadlock detection method for multidatabase systems. FTDCS 1997: 84-91

Kamel Barkaoui, Jean-François Pradat-Peyre: On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets 1996: 57-72

Kamel Barkaoui, Yasmina Maïzi: Optimizing Query Evaluation in Deductive Databases Using Reductions. DEXA Workshop 1996: 30-39

Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui: Formal Specification of Communication Protocols with Object-Based ECATNets. EUROMICRO 1996: 492-

Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet: On Liveness in Extended non Self-Controlling Nets. Application and Theory of Petri Nets 1995: 25-44

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

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

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

Michel Minoux, Kamel Barkaoui: Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems. Discrete Applied Mathematics 29(2-3): 195-210 (1990)

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