| 2008 |
|---|
| 29 | EE | Nasreddine Aoumeur,
Kamel Barkaoui,
Gunter Saake:
Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.
ITNG 2008: 1305-1307 |
| 2007 |
|---|
| 28 | EE | Kamel Barkaoui,
Awatef Hicheur:
Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets.
Business Process Management Workshops 2007: 232-244 |
| 27 | EE | Nasreddine Aoumeur,
Kamel Barkaoui,
Gunter Saake:
Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems.
CSMR 2007: 123-136 |
| 26 | | Chadlia Jerad,
Kamel Barkaoui,
Amel Grissa-Touzi:
On the Design and Analysis of Real-time Systems.
Computers and Their Applications 2007: 380-386 |
| 25 | EE | Chadlia Jerad,
Kamel Barkaoui,
Amel Grissa-Touzi:
Hierarchical Verification in Maude of L f P Software Architectures.
ECSA 2007: 156-170 |
| 24 | | Nasreddine Aoumeur,
Gunter Saake,
Kamel Barkaoui:
Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets.
ICEIS (3) 2007: 152-158 |
| 2006 |
|---|
| 23 | | Kamel Barkaoui,
Ana Cavalcanti,
Antonio Cerone:
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings
Springer 2006 |
| 22 | EE | Awatef Hicheur,
Kamel Barkaoui,
Noura Boudiaf:
Modeling Workflows with Recursive ECATNets.
SYNASC 2006: 389-398 |
| 2005 |
|---|
| 21 | EE | L. Kahloul,
Kamel Barkaoui,
Zaidi Sahnoun:
Using AUML to derive formal modeling agents interactions.
AICCSA 2005: 109 |
| 20 | | Nadia Zeghib,
Mohamed Bettaz,
Kamel Barkaoui:
CIRTA: An ECATNets Based Model for Embedded Systems Specification.
ESA 2005: 261-267 |
| 19 | EE | Kamel Barkaoui,
Jean-Michel Couvreur,
Kais Klai:
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.
ICATPN 2005: 90-107 |
| 18 | EE | 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 |
| 17 | | Hacene Sebih,
Kamel Barkaoui:
A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL.
PDPTA 2005: 1255-1263 |
| 2003 |
|---|
| 16 | EE | Kamel Barkaoui,
Rabah Benamara:
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model.
The Journal of Supercomputing 24(2): 193-202 (2003) |
| 2002 |
|---|
| 15 | EE | Kamel Barkaoui,
Ph. Dechambre,
R. Hachicha:
Verification and Optimisation of an Operating Room Workflow.
HICSS 2002: 210 |
| 14 | EE | Kamel Barkaoui,
Mohamed Jmaiel,
Ali Mili:
Guest editorial.
Journal of Systems and Software 60(2): 87-89 (2002) |
| 2000 |
|---|
| 13 | EE | Mohamed Escheikh,
Kamel Barkaoui,
Ammar Bouallégue:
Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism.
MASCOTS 2000: 416-423 |
| 1999 |
|---|
| 12 | | Kamel Barkaoui,
Rabah Benamara:
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model.
PDPTA 1999: 2836-2842 |
| 1998 |
|---|
| 11 | EE | Kamel Barkaoui,
Jean-François Pradat-Peyre:
Verification in Concurrent Programming with Petri Nets Structural Techniques.
HASE 1998: 124-133 |
| 1997 |
|---|
| 10 | EE | Kamel Barkaoui,
Claude Kaiser,
Jean-François Pradat-Peyre:
Petri nets based proofs of Ada 95 solution for preference control.
APSEC 1997: 238-248 |
| 9 | | Kamel Barkaoui,
Yasmina Maïzi:
Efficient Answer Extraction of Deductive Databases Modeled by HLPN.
DEXA 1997: 324-336 |
| 8 | EE | Kamel Barkaoui,
Rabah Benamara:
Towards an efficient probabilistic deadlock detection method for multidatabase systems.
FTDCS 1997: 84-91 |
| 1996 |
|---|
| 7 | | Kamel Barkaoui,
Jean-François Pradat-Peyre:
On Liveness and Controlled Siphons in Petri Nets.
Application and Theory of Petri Nets 1996: 57-72 |
| 6 | | Kamel Barkaoui,
Yasmina Maïzi:
Optimizing Query Evaluation in Deductive Databases Using Reductions.
DEXA Workshop 1996: 30-39 |
| 5 | EE | Mohamed Bettaz,
Mourad Maouche,
Kamel Barkaoui:
Formal Specification of Communication Protocols with Object-Based ECATNets.
EUROMICRO 1996: 492- |
| 1995 |
|---|
| 4 | | Kamel Barkaoui,
Jean-Michel Couvreur,
Claude Dutheillet:
On Liveness in Extended non Self-Controlling Nets.
Application and Theory of Petri Nets 1995: 25-44 |
| 1993 |
|---|
| 3 | | 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 |
| 1992 |
|---|
| 2 | | 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 |
| 1 | | Kamel Barkaoui,
Noureddine Boudriga,
Amel Touzi:
A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects.
DEXA 1992: 221-225 |
