Kamel Barkaoui, Professor

Email	barkaoui.(@).cnam.fr
Phone	(33) 0140272852
Fax	(33) 0140272709
Login	barkaoui
	VESPA

Presentation

No description available.

Publications 2009

International Major Conference

[BB09]

H. Boucheneb et K. Barkaoui. Covering Steps Graphs of Time Petri Nets . In INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, August 23, ENTCS, pp. 155-165, Elsevier, 2009. (ref. CEDRIC 1793)

[HB09]

A. Hicheur et K. Barkaoui. Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes . In INCOM’09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, June 3-5, pp. 1949-1954, IFAC, 2009. (ref. CEDRIC 1792)

[CDB09]

J. Chen, K. Djouani et K. Barkaoui. Orthogonal and Non-orthogonal Cooperative protocols in WLANs . In VECoS'09, 3rd IEEE International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, July 2-3, eWiC Series, pp. 40-53, BCS British Computer Society, 2009. (ref. CEDRIC 1790)

[ABS09b]

N. Aoumeur, K. Barkaoui et G. Saake. Validating, Composing and Dynamically Adapting Features in Concurrent Product-Lines Applications . In ECBS'09, 16th Annual IEEE International Conference on the Engineering of Computer Based Systems, San Fransisco, USA, April 14-16, IEEE, pp. 138-146, IEEE Computer Society Press, 2009. (ref. CEDRIC 1788)

[BB09b]

H. Boucheneb et K. Barkaoui. On combining the ready sets with the covering steps methods . In VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, July 2-3, eWiC Series, pp. 74-84, BCS British Computer Society, 2009. (ref. CEDRIC 1787)

[BBD09]

A. Bedoui, K. Barkaoui et K. Djouani. Performance Evaluation of the IEEE 802.11 WLAN Supporting QoS . In FeT'09, 8th IFAC International Conference on Fieldbuses and neTworks in industrial and embedded systems, Ansan, Korea, May 20-22, pp. 27-34, IFAC, 2009. (ref. CEDRIC 1783)

[BBH09]

K. Barkaoui, H. Boucheneb et A. Hicheur. Design and Verification of Time-Constrained Workflow with Multi-Level Security . In DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, June 10-12, pp. 25-32, IFAC, 2009. (ref. CEDRIC 1782)

[BBH09b]

K. Barkaoui, H. Boucheneb et A. Hicheur. Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets . In WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, September 4-5, 2008, LNCS 5387, pp. 19-36, Springer, 2009. (ref. CEDRIC 1565)

International conference

[KSB09]

Y. Kissoum, Z. Sahnoun et K. Barkaoui. An Approach for Testing Mobile Agents . In RCIS'09, 3rd IEEE Int. Conf. on Research Challenges in Information Science, Fez, Morocco, April 22-24, IEEE, pp. 207-216, IEEE Computer Society Press, 2009. (ref. CEDRIC 1789)

[ABS09d]

N. Aoumeur, K. Barkaoui et G. Saake. A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications . In ISWPC'09, 4th International Symposium on Wireless Pervasive Computing, Melbourne, Australia, February 11-13, IEEE, pp. 1-8, IEEE Computer Society Press, 2009. (ref. CEDRIC 1786)

[EB09]

M. Escheikh et K. Barkaoui. Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks . In 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, Sousse, Tunisia, July, pp. 31-38, IEEE Computer Society Press, 2009. (ref. CEDRIC 1785)

[BBM09]

K. Barkaoui, C. Bouanaka et J.M. Molina Espinosa. An Event Structure Based Coordination Model for Collaborative Sessions . In ICEIS'09, 11th International Conference on Enterprise Information Systems, Milan, Italy, May 6-10, Information Systems Analysis and Specification, pp. 137-143, INSTICC Press, 2009. (ref. CEDRIC 1784)

[ABS09e]

N. Aoumeur, K. Barkaoui et G. Saake. Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions . In RSP'09, 20th IEEE/IFIP International Symposium on Rapid System Prototyping, Paris, France, June 23-26, pp. 19-26, IFIP-IEEE Computer Society Press, 2009. (ref. CEDRIC 1781)

National conference

[BBB09]

M. Benammar, F. Belala, K. Barkaoui et N. Benlahrache. Extension d'ABAReL par les Propriétés d'Exécution. . In CAL'09, 3ème Conférence sur les Architectures Logicielles, Nancy, France, March 24-27, CAL 2009, pp. 28-41, Revue des Nouvelles Technologies de l'Information (RNTI) Cépaduès, 2009. (ref. CEDRIC 1795)

Publications 2008

International journal

[BCC08]

K. Barkaoui, A. Cavalcanti, A. Cerrone et M. Broy. FACJ . Formal Aspects of Computing Journal, 21(1), Springer, 2008. (ref. CEDRIC 1443)

International Major Conference

[BB08b]

H. Boucheneb et K. Barkaoui. Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs . In FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, September 15-17, LNCS 5215, pp. 265-279, Springer, 2008. (ref. CEDRIC 1697)

[HB08]

A. Hicheur et K. Barkaoui. Modélisation des workflows collaboratifs à l'aide des ECATNets récursifs . In NOTERE'2008, 8th International Conference on New Technologies in Distributed Systems, Lyon, France, June 23-27, IEEE/ACM, pp. 269-279, ACM Edition, 2008. (ref. CEDRIC 1426)

International conference

[ABR08]

N. Aoumeur, K. Barkaoui et C. Rautenstrauch. On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework . In SITIS'08, 4th IEEE International Conference on Signal Image Technology and Internet-Based Systems, Bali, Indonesia, November 30 - December 3, IEEE, pp. 195-202, IEEE Computer Society Press, 2008. (ref. CEDRIC 1695)

[DCA08]

K. Djouani, J. Chen, A. Akharraz et K. Barkaoui. An Effective Link Adaptation Method in Cooperative Wireless Networks . In APSCC'08, IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12, IEEE, pp. 914 - 919, IEEE Computer Society Press, 2008. (ref. CEDRIC 1694)

[DCA08b]

K. Djouani, J. Chen, A. Akharraz et K. Barkaoui. Link adaptation for cooperative Wireless LANs . In WiCOM'08, 4th IEEE International Conference on Wireless Communications, Networking and Mobile Computing, Dalian, China, October 12-14, IEEE, pp. 1-4, IEEE Computer Society Press, 2008. (ref. CEDRIC 1693)

[ABS08]

N. Aoumeur, K. Barkaoui et G. Saake. Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification . In ITNG'08, 5th International Conference on Information Technology: New Generations, Las Vegas, USA, April 7-9, IEEE, pp. 1305-1307, IEEE Computer Society Press, 2008. (ref. CEDRIC 1541)

[CBB08]

A. Choutri, F. Belala et K. Barkaoui. Towards a Tile Based LfP Semantics . In RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, June 3-6, IEEE, pp. 9-16, IEEE Computer Society Press, 2008. (ref. CEDRIC 1540)

[BH08]

K. Barkaoui et A. Hicheur. Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets . In ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, April 9-11, IEEE, pp. 95-99, IEEE Computer Society Press, 2008. (ref. CEDRIC 1508)

National conference

[SBB08]

Z. Sbaï, K. Barkaoui et R. Ben Ayed. Sur la vérification de la cohérence de processus workflow temporisés . In GEI'08, 8èmes Journées Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, March 17–19, pp. 57-68, CPU, 2008. (ref. CEDRIC 1424)

Publications 2007

International journal

International Major Conference

[ZBD07]

H. Zayani, R. Ben Ayed, K. Djouani et K. Barkaoui. ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks . In PM²HW²N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece, October 22-26, ACM, pp. 68-71, ACM Edition, 2007. (ref. CEDRIC 1413)

[ABS07]

N. Aoumeur, K. Barkaoui et G. Saake. Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems . In CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands, March 21-23, IEEE, pp. 123-137, IEEE Computer Society Press, 2007. (ref. CEDRIC 1394)

[BH07]

K. Barkaoui et A. Hicheur. Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets . In CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, September 24, LNCS , pp. 206-217, Springer Verlag, 2007. (ref. CEDRIC 1382)

International conference

[JBG07b]

C. Jerad, K. Barkaoui et A. Grissa-Touzi. On the Design and Analysis of Real-time Systems . In CATA'07, 22th International Conference on Computers and Their Applications, Honolulu, Hawaii, USA, March 28-30, ISCA, pp. 380-386, Acta Press, 2007. (ref. CEDRIC 1427)

[MB07]

A. Missaoui et K. Barkaoui. On The Integration of QOS Management in Web Service Architecture . In WEBIST'07, 3rd International Conference on Web Information Systems and Technologies, Barcelona, Spain, March 3-6, pp. 25-32, INSTICC Press, 2007. (ref. CEDRIC 1422)

[EB07]

M. Escheikh et K. Barkaoui. Performance Analysis of High-Speed TCP Protocols BIC and CUBIC with AQM in Lossy Networks . In CSNA'07, International Conference on Communications Systems, Networks, and Applications, Beijing, China, October 8-10, pp. 55-62, Acta Press, 2007. (ref. CEDRIC 1412)

[BBD07]

A. Bedoui, K. Barkaoui et K. Djouani. Performance Study of IEEE 802.11 WLAN Integrating QoS requirements . In ICWMC'07, 3rd International Conference on Wireless and Mobile Communications, Guadeloupe, French Caribbean, March 4-9, IEEE, pp. 69-73, IEEE Computer Society Press, 2007. (ref. CEDRIC 1393)

[HB07]

A. Hicheur et K. Barkaoui. Formal Modeling and Analysis of Flexible Automated Production Workflows . In CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria, November 3-4, pp. 45-56, IEEE/CNDTA, 2007. (ref. CEDRIC 1387)

[BH07b]

K. Barkaoui et A. Hicheur. A Workflow Model Based on Recursive Petri Nets for Flexible Manufacturing Processes, . In ICPR'07, 19th International Conference on Production Research, Valparaiso, Chile, July 29 - August 2, pp. 1-12, IFPR, 2007. (ref. CEDRIC 1385)

National conference

[BBS07b]

K. Barkaoui, R. Ben Ayed et Z. Sbai. Vérification Paramétrée de la Cohérence des Processus Workflow . In MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, October 17-19, pp. 255-268, Hermes Ed., 2007. (ref. CEDRIC 1416)

[ZBD07c]

H. Zayani, R. Ben Ayed, K. Djouani et K. Barkaoui. ECoMAC : Un protocole MAC économe en énergie pour les réseaux de capteurs sans fil . In GRES'07, 8ème Colloque Francophone sur la gestion de réseaux et de services, Hammamet, Tunisia, November 6-9, pp. 185-192, Hermès-Lavoisier Ed., 2007. (ref. CEDRIC 1411)

[HBB07]

A. Hicheur, K. Barkaoui et N. Boudiaf. Workflow Specification and Analysis Using Recursive ECATNets . In GEI’07, 7èmes Journées Scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Monastir, Tunisia, March 26-28, pp. 15-24, CPU, 2007. (ref. CEDRIC 1388)

Publications 2006

International Major Conference

[BCC06]

K. Barkaoui, A. Cavalcanti et A. Cerone. Theoretical Aspects of Computing . In ICTAC'06, 3rd International Colloquium on Theoretical Aspects of Computing, Tunis, Tunisia, November 20-24, LNCS 4281, Springer, 2006. (ref. CEDRIC 1439)

[HBB06]

A. Hicheur, K. Barkaoui et N. Boudiaf. Modeling Workflows with Recursive ECATNets . In SYNASC'06, 8th IEEE International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 26-29, IEEE, pp. 389-398, IEEE Computer Society Press, 2006. (ref. CEDRIC 1386)

International conference

National conference

[ZBD06]

H. Zayani, R. Ben Ayed, K. Djouani et K. Barkaoui. Etude de protocole MAC dans les réseaux de capteurs sans fil . In GEI’06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Hammamet, Tunisia, March 24-26, CPU Ed., pp. 63-71, CPU, 2006. (ref. CEDRIC 1419)

[SBB06]

Z. Sbai, R. Ben Ayed et K. Barkaoui. Vers l'analyse des processus d'entreprise jPdl fondée sur les réseaux de Petri . In GEI'06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Hammamet, Tunisia, March 24-26, CPU Ed., pp. 171-181, CPU, 2006. (ref. CEDRIC 1417)

Book chapter

Publications 2005

International Major Conference

[BCK05]

K. Barkaoui, J.M. Couvreur et K. Klai. On the Equivalence between Deadlock Freeness and Liveness in Petri Nets . In ICATPN'05, 26th International Conference on Application and Theory of Petri Nets, Miami, USA, June 20-25, LNCS, pp. 90-107, Springer, 2005. (ref. CEDRIC 742)

International conference

[KBS05]

L. Kahloul, K. Barkaoui et Z. Sahnoun. Using AUML to derive formal modelling agents interactions . In AICCSA'05, 3rd ACS/IEEE International Conference on Computer Systems and Applications, Cairo, Egypt, January 3-6, IEEE, pp. 109-116, IEEE Computer Society Press, 2005. (ref. CEDRIC 1384)

[ABS05]

N. Aoumeur, K. Barkaoui et G. Saake. Coordination and Co-Nets for specifying and reconfiguring Agile information systems . In PNCWB'05, 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Miami, Florida, USA, June 20, pp. 1-16, Florida International University, 2005. (ref. CEDRIC 953)

[SB05]

H. Sebih et K. Barkaoui. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL . In PDPTA'05, International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, June 27-30, pp. 1255-1263, CSREA Press, 2005. (ref. CEDRIC 816)

[BBD05]

A. Bedoui, K. Barkaoui et K. Djouani. Global Solution for the Support of QoS by IEEE 802.11 Wireless Local Area Networks . In PWC'05, 10th IFIP International Conference on Personal Wireless Communications, Colmar, France, August 25–27, IFIP, pp. 252-260, Imperial College Press, 2005. (ref. CEDRIC 744)

National journal

National conference

[HB05]

R. Hachicha et K. Barkaoui. Conception orientée agent de systèmes workflows . In GEI'05, 5èmes Journées scientifiques des Jeunes Chercheurs en Génie Électrique et Informatique, Sousse, Tunisia, March 25-27, pp. 26-32, CPU, 2005. (ref. CEDRIC 820)

[BBD05b]

A. Bedoui, K. Barkaoui et K. Djouani. Approche Globale pour la Qualité de Service dans les Réseaux Locaux sans Fils IEEE 802.11 . In ISPS’2005, 7th International Symposium on Programming and Systems, Algiers, Algeria, May 9-11, pp. 131-140, USTHB-DZ, 2005. (ref. CEDRIC 741)

Publications 2004

International conference

National conference

Publications 2003

International journal

International Major Conference

[CEB03]

I. Chouaieb, R. Ezzine et K. Barkaoui. On performance analysis of Web oriented systems . In Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, pp. 59-66, 2003. (ref. CEDRIC 748)

[BS03]

K. Barkaoui et Z. Sahnoun. Distance Learning as Opportunity for Improving Quality Learning . In 4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc, 2003. (ref. CEDRIC 747)

International conference

[BB03b]

A. Bedoui et K. Barkaoui. Un cadre pour une meilleure qualité de service du réseau TUNIPAC . In Actes de la Conférence SETIT, Tunis, 2003. (ref. CEDRIC 955)

[SBB03]

H. Sebih, K. Barkaoui, M. Bettaz, F. Belala et Z. Sahnoun. Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets . In 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, 2003. (download) (ref. CEDRIC 818)

[EBE03]

R. Elloumi, K. Barkaoui et M. Escheikh. Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur web . In Actes de la Conférence SETIT, Mars, Tunisie., 2003. (ref. CEDRIC 746)

[BZ03]

K. Barkaoui et B. Zouari. On the Equivalence between Liveness and deadlock Freeness in Petri Nets . In ISPS’03, 5th International Symposium on Programming and Systems, Algiers, Algeria, May 5-7, pp. 213-224, 2003. (ref. CEDRIC 745)

[BR03b]

K. Barkaoui et J. Romhain. Parametrised Verification of Class of Resource Allocation systems . In Actes de la Conférence Internationale sur la Productique, CIP’03, CDTA - Alger, pp. 52-59, 2003. (ref. CEDRIC 626)

National conference

Publications 2002

International journal

International conference

[BSS02]

K. Barkaoui, R. Seghiri et Z. Sahnoun. Agent Based Software Process Modeling Using Object Oriented Petri Nets . In EurAsian Workshop on Agents for Information Management (EURASIA-ICT), Shiraz, Iran, 2002. (ref. CEDRIC 752)

[ABS02]

N. Aoumeur, K. Barkaoui et G. Saake. Increasing Conceptual Modelling Reusability Using Componentization and Reflection . In 1st Workshop on Knowledge Foraging for Dynamic Networking of Communities and Economies, Australian Computer Press, 2002. (ref. CEDRIC 751)

Publications 2001

International conference

[BB01]

K. Barkaoui et R. Ben Jeddou. Multi--log-logistic software reliability model . In Supplement of the International Conference on Dependable systems and networks, DSN'01, 2001. (ref. CEDRIC 762)

Publications 2000

International conference

[BB00]

K. Barkaoui et R. Benamara. A probabilistic analysis of transaction deadlock in multidatabase environnement . In Artificial and Computational Intelligence for Decision and Control ACIDCA'2000, pp. 31- 37, 2000. (ref. CEDRIC 753)

[ABS00]

N. Aoumeur, K. Barkaoui et G. Saake. On the Benefits of Rewrite Logic as Semantics for Algebraic Petri Nets in Computing Siphons and Traps . In 10th Int. Conf. on Computing and Information (ICCI '00), 2000. . (ref. CEDRIC 134)

Publications 1999

International conference

[CBM99]

A. Chaoui, M. Bettaz, M. Maouche et K. Barkaoui. Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE . In MOSIM'99, SCS International, pp. 131-136, 1999. (ref. CEDRIC 1446)

Publications 1998

International conference

[BP98]

K. Barkaoui et L. Petrucci. Structural Analysis of Workflow Nets with Shared Ressources . In Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), pp. 82-95, Computing Science Report, 1998. (ref. CEDRIC 1395)

[BP98b]

K. Barkaoui et J.-F. Pradat-Peyre. Verification in Concurrent Programming with Petri nets Structural Techniques . In Third IEEE International High-Assurance Systems Engineering Symposium, Nov. 13 - 14, pp. 124-133, IEEE Computer Society Press, 1998. (download) (ref. CEDRIC 416)

Book

Publications 1997

International conference

[BM97]

K. Barkaoui et Y. Maizi. A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net) . In IEEE International Conference on Systems, Man, and Cybernetics, Orlando, US, 12-15 Oct., pp. 2386-2391, 1997. (ref. CEDRIC 1453)

[BCB97]

K. Barkaoui, A. Chaoui et R. Benamara. Analyse comparative de stratégies de controle d'interblocage dans les systémes de production flexibles . In MOSIM'97, Hermes Ed., 1997. (ref. CEDRIC 1449)

[CBR97]

A. Chaoui, K. Barkaoui, R. Robbana et B. Zouari. Towards an efficient structural control policy for automated manufacturing systems . In EDA'97, Bangkok, Tailand, pp. 751-752, 1997. (ref. CEDRIC 1448)

[BCB97b]

K. Barkaoui, A. Chaoui et R. Benamara. The performance of alternative strategies for dealing with deadlocks in FMS . In 6th Int. Conf. on Emerging Technologies and Factory Automation Proceedings (ETFA'97), pp. 281 - 286, IEEE Computer Society Press, 1997. (ref. CEDRIC 1445)

[BB97]

K. Barkaoui et R. Benamara:. Towards an efficient probabilistic deadlock detection method for multidatabase systems . In 6th Workshop on Future Trends of Distributed Computing Syst. FTDCS'97, pp. 84-91, IEEE Computer Society Press, 1997. (ref. CEDRIC 1432)

[BKP97]

K. Barkaoui, C. Kaiser et J.-F. Pradat-Peyre. Petri nets based proofs of Ada 95 solution for preference control . In 3rd Asia-Pacific Software Engineering Conference APSEC’97, pp. 238-248, IEEE Computer Society, 1997. (ref. CEDRIC 1398)

[BM97b]

K. Barkaoui et Y. Maïzi. Efficient Answer Extraction of Deductive Databases Modelled by HLPN . In Int. Conference on Database and Expert Systems Applications DEXA’97, LNCS 1308, pp. 324-336, Springer, 1997. (ref. CEDRIC 1397)

[BCZ97]

K. Barkaoui, A. Chaoui et B. Zouari. Supervisory control of discrete event systems based on structure theory of Petri nets . In IEEE Int. Conf. on Systems, Man and Cybernetics, SMC’97, pp. 3750-3755, IEEE Computer Society Press, 1997. (ref. CEDRIC 1396)

[BKP97b]

K. Barkaoui, C. Kaiser et J.-F. Pradat-Peyre. Petri nets based proofs of Ada 95 solution for preference control . In APSEC '97 / ICSC '97, 1997. (ref. CEDRIC 419)

Publications 1996

International journal

International conference

[BBR96]

K. Barkaoui, R. Benamara et G. Rival. Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems . In Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, pp. 322-327, 1996. (ref. CEDRIC 1454)

[BM96]

K. Barkaoui et Y. Maïzi. Optimizing Query Evaluation in Deductive Databases Using Reductions . In 7th Int. Workshop on Database and Expert Syst. Applications, pp. 30-39, 1996. (ref. CEDRIC 1433)

[BMB96]

M. Bettaz, M. Maouche et K. Barkaoui. Formal Specification of Communication Protocols with Object-Based ECATNets . In 22nd EUROMICRO Conference, pp. 492 - 499, IEEE Computer Society Press, 1996. (ref. CEDRIC 1400)

[BB96b]

K. Barkaoui et I. Ben Abdallah. Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets . In 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, pp. 1–15, 1996. (ref. CEDRIC 1399)

[BP96]

K. Barkaoui et J.-F. Pradat-Peyre. On Liveness and Controlled Siphons in Petri Nets . In International Conference in Application and Theory of Petri Nets (ICATPN'96), LNCS 1091, Springer-Verlag, 1996. Osaka, Japan, pages 57-72. (download) (ref. CEDRIC 418)

Publications 1995

International conference

[BB95]

K. Barkaoui et I. Ben Abdallah. A Deadlock Prevention Method for a Class of FMS . In IEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMC’95, pp. 4119-4124, IEEE Computer Society Press, 1995. (ref. CEDRIC 1402)

[BB95b]

K. Barkaoui et I. Ben Abdallah. Deadlock avoidance in FMS based on structural theory of Petri nets . In INRIA/IEEE International Conference on Emerging Technologies and Factory Automation ETFA’95, pp. 499 - 510, IEEE Computer Society Press, 1995. (ref. CEDRIC 1401)

Publications 1994

International conference

[BP94]

K. Barkaoui et J.F. Peyre. Combining Linear Programming and Graph Analysis for Petri Nets Validation . In 7th SIAM Conference on Discrete Mathematics, 1994. (ref. CEDRIC 476)

Publications 1993

International conference

Publications 1992

International conference

[BBT92]

K. Barkaoui, N. Boudriga et A. Touzi. A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects . In the International Conference on Database and Expert Systems Applications DEXA’92, pp. 221-225, Springer-Verlag, 1992. (ref. CEDRIC 1436)

[BM92]

K. Barkaoui et M. Minoux. A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets . In Application and Theory of Petri Nets, LNCS 616, pp. 62-75, Springer Berlin / Heidelberg, 1992. (ref. CEDRIC 1435)

Publications 1990

International journal

Publications 1989

International conference

Publications 1988

International conference

[BM88]

K. Barkaoui et M. Minoux. Polynomial Time Algorithms for Proving or Disproving Commoner’s Structural Property . In the 9th International Conference on Application and Theory of Petri Nets ICATPN'88, 1988. (ref. CEDRIC 1407)

Publications 1987

National journal