The SCEAS System
| |||||||

## Search the dblp DataBase
Kamel Barkaoui:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Kamel Barkaoui, Ph. Dechambre, R. Hachicha
**Verification and Optimisation of an Operating Room Workflow.**[Citation Graph (0, 0)][DBLP] HICSS, 2002, pp:210- [Conf] - 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] - 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] - 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] - 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] - Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf
**Modeling Workflows with Recursive ECATNets.**[Citation Graph (0, 0)][DBLP] SYNASC, 2006, pp:389-398 [Conf] - 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] - 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] - L. Kahloul, Kamel Barkaoui, Zaidi Sahnoun
**Using AUML to derive formal modeling agents interactions.**[Citation Graph (0, 0)][DBLP] AICCSA, 2005, pp:109- [Conf] - 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] - Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi
**Hierarchical Verification in Maude of L**[Citation Graph (0, 0)][DBLP]*f*P Software Architectures. ECSA, 2007, pp:156-170 [Conf] **Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.**[Citation Graph (, )][DBLP]**Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets.**[Citation Graph (, )][DBLP]**Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.**[Citation Graph (, )][DBLP]**Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.**[Citation Graph (, )][DBLP]**Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets.**[Citation Graph (, )][DBLP]**An Event Structure based Coordination Model for Collaborative Sessions.**[Citation Graph (, )][DBLP]**Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks.**[Citation Graph (, )][DBLP]**Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets.**[Citation Graph (, )][DBLP]**Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.**[Citation Graph (, )][DBLP]**Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks.**[Citation Graph (, )][DBLP]**Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions.**[Citation Graph (, )][DBLP]**Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.**[Citation Graph (, )][DBLP]**Towards a tile based LfP semantics.**[Citation Graph (, )][DBLP]**Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes.**[Citation Graph (, )][DBLP]**On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study.**[Citation Graph (, )][DBLP]**An Effective Link Adaptation Method in Cooperative Wireless Networks.**[Citation Graph (, )][DBLP]**Verification of Workflow processes under multilevel security considerations.**[Citation Graph (, )][DBLP]**Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol**[Citation Graph (, )][DBLP]**Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems.**[Citation Graph (, )][DBLP]**Covering Steps Graphs of Time Petri Nets.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |