The SCEAS System
Navigation Menu

Search the dblp DataBase


Kamel Barkaoui: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kamel Barkaoui, Jean-François Pradat-Peyre
    On Liveness and Controlled Siphons in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:57-72 [Conf]
  2. Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet
    On Liveness in Extended non Self-Controlling Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:25-44 [Conf]
  3. Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
    On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:90-107 [Conf]
  4. Kamel Barkaoui, Claude Dutheillet, Serge Haddad
    An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:69-88 [Conf]
  5. Kamel Barkaoui, Michel Minoux
    A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:62-75 [Conf]
  6. Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre
    Petri nets based proofs of Ada 95 solution for preference control. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:238-248 [Conf]
  7. Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
    Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. [Citation Graph (0, 0)][DBLP]
    CSMR, 2007, pp:123-136 [Conf]
  8. Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui
    CIRTA: An ECATNets Based Model for Embedded Systems Specification. [Citation Graph (0, 0)][DBLP]
    ESA, 2005, pp:261-267 [Conf]
  9. Kamel Barkaoui, Noureddine Boudriga, Amel Touzi
    A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. [Citation Graph (0, 0)][DBLP]
    DEXA, 1992, pp:221-225 [Conf]
  10. Kamel Barkaoui, Yasmina Maïzi
    Efficient Answer Extraction of Deductive Databases Modeled by HLPN. [Citation Graph (0, 0)][DBLP]
    DEXA, 1997, pp:324-336 [Conf]
  11. Kamel Barkaoui, Yasmina Maïzi
    Optimizing Query Evaluation in Deductive Databases Using Reductions. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 1996, pp:30-39 [Conf]
  12. Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui
    Formal Specification of Communication Protocols with Object-Based ECATNets. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1996, pp:492-0 [Conf]
  13. Kamel Barkaoui, Rabah Benamara
    Towards an efficient probabilistic deadlock detection method for multidatabase systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1997, pp:84-91 [Conf]
  14. Kamel Barkaoui, Jean-François Pradat-Peyre
    Verification in Concurrent Programming with Petri Nets Structural Techniques. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:124-133 [Conf]
  15. Kamel Barkaoui, Ph. Dechambre, R. Hachicha
    Verification and Optimisation of an Operating Room Workflow. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:210- [Conf]
  16. Mohamed Escheikh, Kamel Barkaoui, Ammar Bouallégue
    Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2000, pp:416-423 [Conf]
  17. Kamel Barkaoui, Rabah Benamara
    On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:2836-2842 [Conf]
  18. Hacene Sebih, Kamel Barkaoui
    A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2005, pp:1255-1263 [Conf]
  19. Chadlia Jerad, Kamel Barkaoui
    On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2005, pp:202-208 [Conf]
  20. Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf
    Modeling Workflows with Recursive ECATNets. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:389-398 [Conf]
  21. Kamel Barkaoui, Mohamed Jmaiel, Ali Mili
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:2, pp:87-89 [Journal]
  22. Kamel Barkaoui, Rabah Benamara
    On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 2003, v:24, n:2, pp:193-202 [Journal]
  23. L. Kahloul, Kamel Barkaoui, Zaidi Sahnoun
    Using AUML to derive formal modeling agents interactions. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:109- [Conf]
  24. Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
    On the Design and Analysis of Real-time Systems. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2007, pp:380-386 [Conf]
  25. Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
    Hierarchical Verification in Maude of L f P Software Architectures. [Citation Graph (0, 0)][DBLP]
    ECSA, 2007, pp:156-170 [Conf]

  26. Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. [Citation Graph (, )][DBLP]

  27. Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. [Citation Graph (, )][DBLP]

  28. Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. [Citation Graph (, )][DBLP]

  29. Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. [Citation Graph (, )][DBLP]

  30. Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. [Citation Graph (, )][DBLP]

  31. An Event Structure based Coordination Model for Collaborative Sessions. [Citation Graph (, )][DBLP]

  32. Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks. [Citation Graph (, )][DBLP]

  33. Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. [Citation Graph (, )][DBLP]

  34. Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. [Citation Graph (, )][DBLP]

  35. Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. [Citation Graph (, )][DBLP]

  36. Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions. [Citation Graph (, )][DBLP]

  37. Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. [Citation Graph (, )][DBLP]

  38. Towards a tile based LfP semantics. [Citation Graph (, )][DBLP]

  39. Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. [Citation Graph (, )][DBLP]

  40. On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study. [Citation Graph (, )][DBLP]

  41. An Effective Link Adaptation Method in Cooperative Wireless Networks. [Citation Graph (, )][DBLP]

  42. Verification of Workflow processes under multilevel security considerations. [Citation Graph (, )][DBLP]

  43. Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol [Citation Graph (, )][DBLP]

  44. Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems. [Citation Graph (, )][DBLP]

  45. Covering Steps Graphs of Time Petri Nets. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002