WorldCat Identities

Barkaoui, Kamel

Overview
Works: 89 works in 174 publications in 3 languages and 1,991 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Thesis advisor, Other, htt, Opponent, Publishing director, Contributor
Classifications: QA75.5, 004
Publication Timeline
.
Most widely held works by Kamel Barkaoui
Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings by Kamel Barkaoui( )

25 editions published in 2006 in English and held by 599 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on semantics, concurrency, model checking, formal languages, logics and type theory, as well as real-time and mobility
Business process management workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised selected papers by Florian Daniel( )

16 editions published in 2012 in English and held by 401 WorldCat member libraries worldwide

LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 international workshops held in Clermont-Ferrand, France, in conjunction with the 9th International Conference on Business Process Management, BPM 2011, in August 2011. The 12 workshops focused on Business Process Design (BPD 2011), Business Process Intelligence (BPI 2011), Business Process Management and Social Software (BPMS2 2011), Cross-Enterprise Collaboration (CEC 2011), Empirical Research in Business Process Management (ER-BPM 2011), Event-Driven Business Process Management (edBPM 2011), Process Model Collections (PMC 2011), Process-Aware Logistics Systems (PALS 2011), Process-Oriented Systems in Healthcare (ProHealth 2011), Reuse in Business Process Management (rBPM 2011), Traceability and Compliance of Semi-Structured Processes (TC4SP 2011), and Workflow Security Audit and Certification (WfSAC 2011). In addition, the proceedings also include the Process Mining Manifesto (as an Open Access Paper), which has been jointly developed by more than 70 scientists, consultants, software vendors, and end-users. LNBIP 99 contains the revised and extended papers from BPD 2011, BPI 2011 (including the Process Mining Manifesto), BPMS2 2011, CEC 2011, ER-BPM 2011, and edBPM 2011
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings by VECos (Conferència)( )

16 editions published in 2017 in English and German and held by 345 WorldCat member libraries worldwide

This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems
Business process management workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised selected papers by Wil van der Aalst( )

6 editions published in 2012 in English and Undetermined and held by 342 WorldCat member libraries worldwide

Annotation
Verification and evaluation of computer and communication systems : 15th international conference, VECoS 2021, virtual event, November 22-23, 2021 : revised selected papers by Ayoub Nouri( )

5 editions published in 2022 in English and held by 136 WorldCat member libraries worldwide

This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Verification and Evaluation of Computer and Communication Systems : 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers( )

2 editions published in 2022 in English and held by 25 WorldCat member libraries worldwide

This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II by Florian Daniel( )

6 editions published in 2012 in English and held by 17 WorldCat member libraries worldwide

LNBIP 99 and LNBIP 100 together constitute the thoroughly refereed proceedings of 12 international workshops held in Clermont-Ferrand, France, in conjunction with the 9th International Conference on Business Process Management, BPM 2011, in August 2011. The 12 workshops focused on Business Process Design (BPD 2011), Business Process Intelligence (BPI 2011), Business Process Management and Social Software (BPMS2 2011), Cross-Enterprise Collaboration (CEC 2011), Empirical Research in Business Process Management (ER-BPM 2011), Event-Driven Business Process Management (edBPM 2011), Process Model Collections (PMC 2011), Process-Aware Logistics Systems (PALS 2011), Process-Oriented Systems in Healthcare (ProHealth 2011), Reuse in Business Process Management (rBPM 2011), Traceability and Compliance of Semi-Structured Processes (TC4SP 2011), and Workflow Security Audit and Certification (WfSAC 2011). In addition, the proceedings also include the Process Mining Manifesto (as an Open Access Paper), which has been jointly developed by more than 70 scientists, consultants, software vendors, and end-users. LNBIP 100 contains the revised and extended papers from PMC 2011, PALS 2011, ProHealth 2011, rBPM 2011, TC4SP 2011, and WfSAC 2011
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings by Kamel Barkaoui( )

2 editions published in 2006 in Undetermined and English and held by 15 WorldCat member libraries worldwide

CONTRIBUTION AUX METHODES D'ANALYSE DES RESEAUX DE PETRI PAR LA THEORIE DES GRAPHES by Kamel Barkaoui( Book )

3 editions published in 1988 in French and held by 5 WorldCat member libraries worldwide

ON INTRODUIT LA NOTION DE COMPOSANTE PRECONSERVATIVE MINIMALE (THEOREME). ON FOURNIT UNE NOUVELLE CARACTERISATION DE LA MINIMALITE DES VERROUS ET DES TRAPPES. ON ETABLIT UN LEMME PERMETTANT D'ETENDRE LE DOMAINE DE VALIDITE DE LA PROPRIETE COMMUNER (CONDITION SUFFISANTE DE VIVACITE)
Verification and evaluation of computer and communication systems : 15th International Conference, VECoS 2021, virtual event, November 22-23, 2021, proceedings by VECoS (Conference)( Book )

2 editions published in 2022 in English and held by 4 WorldCat member libraries worldwide

Informatique cycle probatoire (MOCA B1), ED [exercices dirigés] B1 : modélisation, optimisation complexité et algorithmes by Kamel Barkaoui( Book )

4 editions published between 2000 and 2003 in French and held by 4 WorldCat member libraries worldwide

Exercices dirigés de recherche opérationnelle B1 by Kamel Barkaoui( Book )

2 editions published between 1989 and 1990 in French and held by 3 WorldCat member libraries worldwide

Theoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 ; proceedings( Visual )

1 edition published in 2006 in English and held by 3 WorldCat member libraries worldwide

Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture by Rim El Ballouli( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Modern systems are pressured to adapt in response to their constantly changing environment to remain useful. Traditionally, this adaptation has been handled at down times of the system. there is an increased demand to automate this process and achieve it whilst the system is running. Self-adaptive systems were introduced as a realization of continuously adapting systems. Self-adaptive systems are able to modify at runtime their behavior and/or structure in response to their perception of the environment, the system itself, and their requirements. The focus of this work is on realizing self-configuration, a key and essential property of self-adaptive systems. Self-configuration is the capability of reconfiguring automatically and dynamically in response to changes. This may include installing, integrating, removing and composing/decomposing system elements.This thesis introduces the Dr-BIP framework, an extension of the BIP framework for modeling self-configuring systems that relies on a model-based and component & connector approach to prescribe systems. The combination of both of these approaches exploits the benefits of each, making their combination an ideal methodology to realize complex self-configuring systems.A Dr-BIP system model is a runtime model which captures the running system at three different levels of abstraction namely behavior, configuration, and configuration variants. The system's configuration is captured by component and connectors. In a component and connector system, self-configuration can have three different levels of granularity which includes the ability to add or remove connectors, add or remove components, and add or remove subsystems. Dr-BIP supports explicit addition and removal of both components and subsystems, but implicit addition and removal of connectors. The main advantage of relying on an implicit addition and removal of connectors is the ability to guarantee by construction specific configuration topologies.To capture the three levels of abstraction, we introduce motifs as primary structures to prescribe a self-configuring Dr-BIP system. A motif defines a set of components that evolve according to interaction and reconfiguration rules. A system is composed of multiple motifs that possibly share components and evolve together. Interaction rules dictate how components composing the system can interact and reconfiguration rules dictate how the system configuration can evolve over time. Finally, we show that the proposed framework is both minimal and expressive by modeling four different self-configuring systems. Last but not least, we propose a modeling language to codify the framework concepts and provision an interpreter implementation
Informatique cycle probatoire (MOCA B1) E.D. [exercices dirigés] : modélisation, optimisation, complexité et algorithmes by Kamel Barkaoui( Book )

2 editions published between 1998 and 1999 in French and held by 2 WorldCat member libraries worldwide

Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception by Hela Guesmi( )

1 edition published in 2017 in English and held by 2 WorldCat member libraries worldwide

Dans le domaine des systèmes temps-réel embarqués critiques, les méthodes de conception et de spécification et leurs outils associés doivent permettre le développement de systèmes au comportement temporel déterministe et, par conséquent, reproductible afin de garantir leur sûreté de fonctionnement. Pour atteindre cet objectif, on s'intéresse aux méthodologies de développement basées sur le paradigme Time-Triggered (TT). Dans ce contexte, nombre de propriétés et, en particulier, les contraintes temps-réel de-bout-en-bout, se voient satisfaites par construction. Toutefois, garantir la sûreté de fonctionnement de tels systèmes reste un défi. En général, les outils de développement existants n'assurent pas par construction le respect de l'intégralité des spécifications, celles-ci doivent, en général, être vérifiées à posteriori. Avec la complexité croissante des applications embarquées, celle de leur validation à posteriori devient, au mieux, un facteur majeur dans les coûts de développement et, au pire, tout simplement impossible. Il faut, donc, définir une méthode qui, tout en permettant le développement des systèmes corrects par constructions, structure et simplifie le processus de spécification. Les méthodologies de conception de haut niveau à base de composants, qui permettent la conception et la vérification des systèmes temps-réels critiques, présentent une solution ultime pour la structuration et la simplification du processus de spécification de tels systèmes.L'objectif de cette thèse est d'associer la méthodologie BIP (Behaviour-Interaction-Priority) qui est une approche de conception basée sur composants avec la plateforme d'exécution PharOS, qui est un système d'exploitation temps-réel déterministe orienté sûreté de fonctionnement. Le flot de conception proposé dans cette thèse est une approche transformationnelle qui permet de conserver les propriétés fonctionnelles des modèles originaux de BIP. Il est composé essentiellement de deux étapes. La première étape, paramétrée par un mapping de tâche défini par l'utilisateur, permet de transformer un modèle BIP en un modèle plus restreint qui représente une description haut niveau des implémentations basées sur des primitives de communication TT. La deuxième étape permet la génération du code pour la plateforme PharOS à partir de ce modèle restreint.Un ensemble d'outils a été développé dans cette thèse afin d'automatiser la plupart des étapes du flot de conception proposé. Ceci a permis de tester cette approche sur deux cas d'étude industriels ; un simulateur de vol et un relais de protection moyenne tension. Dans les deux applications, on vise à comparer les fonctionnalités du modèle BIP avec celles du modèle intermédiaire et du code généré. On fait varier les stratégies de mapping de tâche dans la première application, afin de tester leur impact sur le code généré. Dans la deuxième application, on étudie l'impact de la transformation sur le code généré en comparant quelques aspects de performance du code générer avec ceux d'une version de l'application qui a été développée manuellement
Theoretical aspects of computing--ICTAC : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings by ICTAC (Colloquium)( Book )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Exploiting local persistency for reduced state-space generation by Kamel Barkaoui( )

1 edition published in 2020 in English and held by 2 WorldCat member libraries worldwide

Introduction to special issue on verification and evaluation of computer systems by Kamel Barkaoui( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

Modélisation et analyse des processus Workflows reconfigurables et distribués par les ECATNets récursifs by Awatef Hicheur( Book )

2 editions published in 2009 in French and held by 2 WorldCat member libraries worldwide

In this thesis, we propose a new model for the modeling and the analysis of distributed and reconfigurable worklow processes, namely Recursive ECATNets (RECATNets). RECATNets are sound combination of the ordinary ECATNets (Extended Concurrent Algebraic Terms Nets) and the recursive Petri nets. The interest of RECATNets which we precise their syntax and semantics, is to offer a reursive mechanism appropiate for the modeling of the dynamic creation and suppression of processes. We show also, via this model, the verification of the correction criteria of workflow processes (soundness and compatibility). The semantic of RECATNets is described in terms of rewriting logic allows the rapid prototyping and the formal verification of these properties using the Maude system. We propose also a temporal extension of the RECATNets model for the explicit representation of time constraints of reconfigurable workflows. For a complete verification, we also develop a method for the construction of the state class graph of the T-RECATNets and implement it in the framework of the rewriting logic
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Theoretica ... to 0.00 for Theoretica ...)

WorldCat IdentitiesRelated Identities
Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings Theoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 ; proceedings Theoretical aspects of computing--ICTAC : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings
Covers
Business process management workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised selected papersVerification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, ProceedingsBusiness process management workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised selected papersTheoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006ProceedingsTheoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 ; proceedingsTheoretical aspects of computing--ICTAC : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings
Alternative Names
Barkaoui, K.

Barkaoui, K. (Kamel)

Languages
English (83)

French (13)

German (1)