Search - Archive ouverte HAL Access content directly

Filter your results

266 Results

Exploiting Local Persistency for Reduced State Space Generation

Kamel Barkaoui , Hanifa Boucheneb , Zhiwu Li
12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, Oct 2018, Porto, Portugal. pp.166-181, ⟨10.1007/978-3-030-00359-3_11⟩
Conference papers hal-02475841v1

A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain

Rateb Jabbar , Moez Krichen , Mohammed Shinoy , Mohamed Kharbeche , Noora Fetais et al.
2020 International Wireless Communications and Mobile Computing (IWCMC), Jun 2020, Limassol, France. pp.1252-1259, ⟨10.1109/IWCMC48107.2020.9148212⟩
Conference papers hal-03027784v1

HapiFabric: A Teleconsultation Framework Based on Hyperledger Fabric

Hossain Kordestani , Kamel Barkaoui , Wagdy Zahran
European, Mediterranean, and Middle Eastern Conference on Information Systems, Nov 2020, Dubai, United Arab Emirates. pp.399-414, ⟨10.1007/978-3-030-63396-7_27⟩
Conference papers hal-03027684v1

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

Yufeng Chen , Zhiwu Li , Kamel Barkaoui , Naiqi Wu , Mengchu Zhou et al.
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (2), pp.364-379. ⟨10.1109/TSMC.2016.2521833⟩
Journal articles hal-02476553v1

Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

Hana Jouini , Mohamed Escheikh , Kamel Barkaoui , Tahar Ezzedine
International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montreal, Canada. pp.108-123, ⟨10.1007/978-3-319-66176-6_8⟩
Conference papers hal-02476503v1

Necessary and sufficient liveness condition of GS 3 PR Petri nets

Gaiyun Liu , Kamel Barkaoui
International Journal of Systems Science, 2015, 46 (7), pp.1147-1160. ⟨10.1080/00207721.2013.827257⟩
Journal articles hal-02479669v1
Image document

A New Analytical Model for Calculating Elasticity in Cloud Computing

Assia Outamazirt , Kamel Barkaoui , Djamil Aissani
MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Conference papers hal-02432308v1
Image document

IoT-based smart and complex systems: a guest editorial report

Naiqi Wu , Zhiwu Li , Kamel Barkaoui , Xiaoou Li , Tadahiko Murata et al.
IEEE/CAA Journal of Automatica Sinica, 2018, 5 (1), pp.69-73. ⟨10.1109/JAS.2017.7510748⟩
Journal articles hal-02475831v1

A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications

N. Aoumeur , Kamel Barkaoui , G. Saake
ISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, Jan 2009, X, France. pp.1-8
Conference papers hal-01125683v1

Text Retrieval Based on Dyadic Conceptual Projection

Sonia Alouane-Ksouri , Minyar Sassi Hidri , Kamel Barkaoui
25th International Workshop on Database and Expert Systems Applications (DEXA), 2014, Sep 2014, X, France. pp.198 - 202
Conference papers hal-01126572v1

On compatibility analysis of inter organizational business processes

Zohra Sbaï , Kamel Barkaoui
10th International Workshop on Enterprise Organizational Modeling and Simulation (EOMAS 2014), Jun 2014, X, France. pp.171-186
Conference papers hal-01126577v1

Une Approche Basée K pour la Description de Services Web

Manel Djenouhat , Faiza Belala , Kamel Barkaoui
ICAIIT2014 - Conf?rence internationale sur l'intelligence artificielle et les technologies de l?information, Mar 2014, X, France. pp.12-20
Conference papers hal-01126590v1

Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets

Hacène Sebih , Kamel Barkaoui , Mohamed Bettaz , Faiza Belala , Za?di Sahnoun et al.
1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, Jan 2003, X, France
Conference papers hal-01125035v1

Sur la vérification de la cohérence de processus workflow temporisés

Zohra Sbai , Kamel Barkaoui , R. Ben Ayed
GEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, Jan 2008, X, France. pp.57-68
Conference papers hal-01125455v1

Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets

N. Aoumeur , Kamel Barkaoui , G. Saake
ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, Jan 2007, X, France. pp.152-158
Conference papers hal-01125460v1

Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems

Kamel Barkaoui , R. Benamara , G. Rival
Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, Jan 1996, X, France. pp.322-327
Conference papers hal-01125478v1

Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur web

Riadh Elloumi , Kamel Barkaoui , Mohammed Escheikh
Actes de la Conférence SETIT, Tunisie, Jan 2003, X, France
Conference papers hal-01124993v1

On performance analysis of Web oriented systems

Ines Chouaieb , Rana Ezzine , Kamel Barkaoui
Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, Jan 2003, X, France. pp.59-66
Conference papers hal-01124995v1

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs

Hanifa Boucheneb , Kamel Barkaoui
FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, Jan 2008, X, France. pp.265-279
Conference papers hal-01125623v1

Deadlock avoidance in FMS based on structural theory of Petri nets

Kamel Barkaoui , I. Ben Abdallah
INRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFA’95, Jan 1995, X, France. pp.499 - 510
Conference papers hal-01125438v1

A Deadlock Prevention Method for a Class of FMS

Kamel Barkaoui , I. Ben Abdallah
IEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMC’95, Jan 1995, X, France. pp.4119-4124
Conference papers hal-01125439v1

On Liveness in Extended non Self-Controlling Nets

Kamel Barkaoui , Jean-Michel Couvreur , C. Dutheillet
16th Int. Conf. on Application and Theory of Petri Nets, ICATPN’ 95, Jan 1995, X, France. pp.25-46
Conference papers hal-01125441v1

Vérification Paramétrée de la Cohérence des Processus Workflow

Kamel Barkaoui , R. Ben Ayed , Zohra Sbai
MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, Jan 2007, X, France. pp.255-268
Conference papers hal-01125449v1

Robustness of deadlock control for a class of Petri nets with unreliable resources

Gaiyun Liu , Zhiwu Li , Kamel Barkaoui , Abdulrahman M. Al-Ahmari
Information sciences, Information Sciences, 2013, 235, pp.259-279
Journal articles hal-01126292v1

On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET Environment

N. Aoumeur , Kamel Barkaoui , G. Saake , C. Rautenstrauch
WWS'09, 1er Workshop sur les Services Web dans les Systèmes d'Information, Algiers, Algeria, Jan 2009, X, France. pp.1-11
Conference papers hal-01125693v1

Workflow Modeling and Analysis using Petri Nets

Zohra Sbai , Kamel Barkaoui , R. Ben Ayed
ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, Jan 2009, X, France. pp.25-33
Conference papers hal-01125807v1
Image document

An unreliable single server retrial queue with collisions and transmission errors

Lamia Lakaour , Djamil Aissani , Karima Adel-Aissanou , Kamel Barkaoui , Sofiane Ziani et al.
Communications in Statistics - Theory and Methods, 2022, ⟨10.1080/03610926.2020.1758943⟩
Journal articles hal-02585949v1
Image document

M/M/1 Retrial Queue with Collisions and Transmission Errors

Lamia Lakaour , Djamil Aissani , Karima Adel-Aissanou , Kamel Barkaoui
Methodology and Computing in Applied Probability, 2019, 21 (4), pp.1395-1406. ⟨10.1007/s11009-018-9680-x⟩
Journal articles hal-02475784v1

APN Model for Specification of the Communication Protocols in Multi-Agent System

Borhene Marzougui , Kamel Barkaoui , Nejib Ben Haj Alouane
Journal of Software Engineering and Applications, 2013, 6, pp.14-22
Journal articles hal-01126305v1

Parametric Verification of Time Workflow Nets

Hanifa Boucheneb , Kamel Barkaoui
24th International Conference on Software Engineering (SEKE), Jul 2012, X, France. pp.375-380
Conference papers hal-01126315v1