Kamel Barkaoui

	2012
66		Florian Daniel, Kamel Barkaoui, Schahram Dustdar: Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II Springer 2012
65		Florian Daniel, Kamel Barkaoui, Schahram Dustdar: Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I Springer 2012
	2011
64		Amel Ben Dhieb, Kamel Barkaoui: On the Modeling of Healthcare Workflows Using Recursive ECATNets. Business Process Management Workshops (2) 2011: 99-107
63		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)
62		Chafia Bouanaka, Faiza Belala, Kamel Barkaoui: A tile logic-based semantics for mobile software architectures. IJCCBS 2(3/4): 288-308 (2011)
61		Malika Benammar, Faiza Belala, Kamel Barkaoui: Implémentation orientée objet d'ABAReL en Maude. Technique et Science Informatiques 30(6): 741-767 (2011)
	2010
60		Abdallah Missaoui, Zohra Sbaï, Kamel Barkaoui: Model Checking Verification of Web Services Composition. ACT4SOC 2010: 80-92
59		Robert Abo, Kamel Barkaoui, Karim Djouani: Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. ICDCS Workshops 2010: 189-198
58		Hanifa Boucheneb, Kamel Barkaoui: On interleaving in {P,A}-Time Petri nets with strong semantics INFINITY 2010: 17-31
57		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)
56		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)
55		Aicha Choutri, Faiza Belala, Kamel Barkaoui: A Tile Logic Based Approach for Software Architecture Description Analysis. JSEA 3(11): 1067-1079 (2010)
54		Borhen Marzougui, Khaled Hassine, Kamel Barkaoui: A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. JSEA 3(12): 1118-1124 (2010)
53		Sabine Boufenara, Faiza Belala, Kamel Barkaoui: Mapping UML 2.0 Activities to Zero-Safe Nets. JSEA 3(5): 426-435 (2010)
52		Abdallah Missaoui, Kamel Barkaoui: A Neuro-Fuzzy Model for QoS Based Selection of Web Service. JSEA 3(6): 588-592 (2010)
51		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)
	2009
50		Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: On modelling adaptive service-oriented business processes. AICCSA 2009: 47-52
49		Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. ECBS 2009: 138-146
48		Kamel Barkaoui, Chafia Bouanaka, José Martín Molina Espinosa: An Event Structure based Coordination Model for Collaborative Sessions. ICEIS (3) 2009: 137-143
47		Nasreddine Aoumeur, Kamel Barkaoui: Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes. ICIW 2009: 474-480
46		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
45		Mohamed Escheikh, Kamel Barkaoui: Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks. ISCC 2009: 23-29
44		Hammadi Bennoui, Allaoua Chaoui, Kamel Barkaoui: Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. ISPDC 2009: 99-106
43		Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui: An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. RCIS 2009: 207-216
42		Nasreddine Aoumeur, Kamel Barkaoui: Stepwise engineering and deployment of dynamically adaptive service-oriented business processes. SOCA 2009: 1-9
41		Hanifa Boucheneb, Kamel Barkaoui: Covering Steps Graphs of Time Petri Nets. Electr. Notes Theor. Comput. Sci. 239: 155-165 (2009)
	2008
40		Karim Djouani, Jun Chen, Abdellah Akharraz, Kamel Barkaoui: An Effective Link Adaptation Method in Cooperative Wireless Networks. APSCC 2008: 914-919
39		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
38		Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur: Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84
37		Hanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279
36		Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. ITNG 2008: 1305-1307
35		Aicha Choutri, Faiza Belala, Kamel Barkaoui: Towards a tile based LfP semantics. RCIS 2008: 9-16
34		Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM 2008: 19-36
33		Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)
	2007
32		Kamel Barkaoui, Awatef Hicheur: Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. Business Process Management Workshops 2007: 232-244
31		Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake: Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. CSMR 2007: 123-136
30		Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi: On the Design and Analysis of Real-time Systems. Computers and Their Applications 2007: 380-386
29		Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi: Hierarchical Verification in Maude of L f P Software Architectures. ECSA 2007: 156-170
28		Nasreddine Aoumeur, Gunter Saake, Kamel Barkaoui: Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. ICEIS (3) 2007: 152-158
27		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
	2006
26		Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings Springer 2006
25		Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz: Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. AICCSA 2006: 936-943
24		Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf: Modeling Workflows with Recursive ECATNets. SYNASC 2006: 389-398
	2005
23		L. Kahloul, Kamel Barkaoui, Zaïdi Sahnoun: Using AUML to derive formal modeling agents interactions. AICCSA 2005: 109
22		Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui: CIRTA: An ECATNets Based Model for Embedded Systems Specification. ESA 2005: 261-267
21		Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai: On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN 2005: 90-107
20		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
19		Hacene Sebih, Kamel Barkaoui: A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA 2005: 1255-1263
	2003
18		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
17		Kamel Barkaoui, Ph. Dechambre, R. Hachicha: Verification and Optimisation of an Operating Room Workflow. HICSS 2002: 210
16		Kamel Barkaoui, Mohamed Jmaiel, Ali Mili: Guest editorial. Journal of Systems and Software 60(2): 87-89 (2002)
	2000
15		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
	1999
14		Kamel Barkaoui, Rabah Benamara: On Concurrency Control in Multidatabase Systems with an Extended Transaction Model. PDPTA 1999: 2836-2842
	1998
13		Kamel Barkaoui, Jean-François Pradat-Peyre: Verification in Concurrent Programming with Petri Nets Structural Techniques. HASE 1998: 124-133
	1997
12		Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre: Petri nets based proofs of Ada 95 solution for preference control. APSEC 1997: 238-248
11		Kamel Barkaoui, Yasmina Maïzi: Efficient Answer Extraction of Deductive Databases Modeled by HLPN. DEXA 1997: 324-336
10		Kamel Barkaoui, Rabah Benamara: Towards an efficient probabilistic deadlock detection method for multidatabase systems. FTDCS 1997: 84-91
	1996
9		Kamel Barkaoui, Jean-François Pradat-Peyre: On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets 1996: 57-72
8		Kamel Barkaoui, Yasmina Maïzi: Optimizing Query Evaluation in Deductive Databases Using Reductions. DEXA Workshop 1996: 30-39
7		Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui: Formal Specification of Communication Protocols with Object-Based ECATNets. EUROMICRO 1996: 492-
	1995
6		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
5		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
4		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
3		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
	1990
2		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)
	1988
1		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

Coauthor Index

1	Robert Abo	[59]
2	Abdellah Akharraz	[40]
3	Nasreddine Aoumeur	[28] [31] [36] [42] [46] [47] [49] [50]
4	Rahma Ben Ayed	[27] [38] [57]
5	Faiza Belala	[35] [53] [55] [61] [62]
6	Rabah Benamara	[10] [14] [18]
7	Malika Benammar	[61]
8	Hammadi Bennoui	[44]
9	Mohamed Bettaz	[7] [22] [25]
10	Ammar Bouallegue	[15]
11	Chafia Bouanaka	[48] [62]
12	Hanifa Boucheneb	[34] [37] [38] [41] [58] [63]
13	Noura Boudiaf	[24]
14	Noureddine Boudriga	[3]
15	Sabine Boufenara	[53]
16	Manfred Broy	[33]
17	Ana Cavalcanti	[26] [33]
18	Antonio Cerone	[26] [33]
19	Allaoua Chaoui	[44]
20	Jun Chen	[40]
21	Aicha Choutri	[35] [55]
22	Jean-Michel Couvreur	[6] [21]
23	Florian Daniel	[65] [66]
24	Ph. Dechambre	[17]
25	Amel Ben Dhieb	[64]
26	Karim Djouani	[27] [40] [59]
27	Schahram Dustdar	[65] [66]
28	Claude Dutheillet	[5] [6]
29	Mohamed Escheikh	[15] [45] [56]
30	José Martín Molina Espinosa	[48]
31	Gerard Florin	[1]
32	Céline Fraize	[1]
33	Amel Grissa-Touzi	[3] [29] [30] [39]
34	R. Hachicha	[17]
35	Serge Haddad	[5]
36	Khaled Hassine	[54]
37	Awatef Hicheur	[24] [32] [34] [38]
38	Chadlia Jerad	[20] [29] [30] [39]
39	Mohamed Jmaiel	[16]
40	L. Kahloul	[23]
41	Claude Kaiser	[12]
42	Yacine Kissoum	[43] [51]
43	Kais Klai	[21]
44	Bernard Lemaire	[1]
45	Yasmina Maïzi	[8] [11]
46	Mourad Maouche	[7]
47	Borhen Marzougui	[54]
48	Ali Mili	[16]
49	Michel Minoux	[2] [4]
50	Abdallah Missaoui	[52] [60]
51	Stéphane Natkin	[1]
52	Jean-François Pradat-Peyre	[9] [12] [13]
53	Gunter Saake	[28] [31] [36] [46] [49] [50]
54	Zaïdi Sahnoun	[23] [43] [51]
55	Zohra Sbaï	[60]
56	Hacene Sebih	[19]
57	Hafedh Zayani	[27] [57]
58	Nadia Zeghib	[22] [25]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page