Kamel Barkaoui

According to our database1, Kamel Barkaoui authored at least 158 papers between 1988 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application.
Proceedings of the IEEE International Conference on Informatics, 2020

Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity.
Proceedings of the IEEE International Conference on Informatics, 2020

Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020

A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019
Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging.
IJCCBS, 2019

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2019

Maximal Good Step Graph Methods for Reducing the Generation of the State Space.
IEEE Access, 2019

Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers.
Proceedings of the 6th International Conference on Software Defined Systems, 2019

Improving genetic algorithm using arc consistency technic.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety.
Proceedings of the International Conference on Internet of Things, 2019

On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems.
Proceedings of the 6th International Conference on Control, 2019

Hapicare: A Healthcare Monitoring System with Self-Adaptive Coaching using Probabilistic Reasoning.
Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

2018
Delay-dependent partial order reduction technique for real time systems.
Real-Time Systems, 2018

Introduction to special issue on verification and evaluation of computer systems.
ISSE, 2018

Performance analysis of the M/G/c/c + r queuing system for cloud computing data centres.
IJCCBS, 2018

Architectural method to design and control dynamic composite web services.
IJCAT, 2018

IoT-based smart and complex systems: a guest editorial report.
IEEE CAA J. Autom. Sinica, 2018

Exploiting Local Persistency for Reduced State Space Generation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Liveness Enforcement for a Class of Petri Nets via Resource Allocation.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

On Persistency in Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Versatile workload-aware power management performability analysis of server virtualized systems.
J. Syst. Softw., 2017

Formal verification of complex business processes based on high-level Petri nets.
Inf. Sci., 2017

On the dependability evaluation of a virtual multiple input multiple output link.
IJCCBS, 2017

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems.
IEEE Access, 2017

Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016
Specification and verification of reconfigurable multi-agent system architectures.
Multiagent Grid Syst., 2016

A survey of siphons in Petri nets.
Inf. Sci., 2016

Formal Verification of UML2 Timing Diagrams based on Time Petri Nets.
IJISSS, 2016

A bigraph-based framework for specification and analysis of context-aware systems.
IJCCBS, 2016

Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission.
CoRR, 2016

Modelling and analyzing home care plans using high-level Petri nets.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

A Two-Step Clustering Approach for Improving Educational Process Model Discovery.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Hybrid computing document similarity in large-scale environment.
Proceedings of the 12th International Conference on Natural Computation, 2016

2015
Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015

Stubborn Sets for Time Petri Nets.
ACM Trans. Embedded Comput. Syst., 2015

Guest Editorial for Special Issue Application of Concurrency to System Design.
ACM Trans. Embedded Comput. Syst., 2015

Necessary and sufficient liveness condition of GS3PR Petri nets.
Int. J. Systems Science, 2015

On the enforcement of a class of nonlinear constraints on Petri nets.
Autom., 2015

On quantitative Analysis of Time Open Workflow Nets and Parametric Extension.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

State Space Reduction Strategie for Model Checking Concurrent C Programs.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems.
Proceedings of the Computer Science and Its Applications, 2015

Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach.
Proceedings of the Business Process Management - 13th International Conference, 2015

Strongly Generalized Soundness of Time Workflow Nets.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems.
Inf. Sci., 2014

Partial order reduction for checking soundness of time workflow nets.
Inf. Sci., 2014

Grid-Based Fuzzy Processing for Parallel Learning the Document Similarities.
Int. J. Serv. Sci. Manag. Eng. Technol., 2014

Transactional Petri nets: a semantic framework for UML2 activities.
IJCCBS, 2014

On combining the ready sets with the covering steps methods.
IJCCBS, 2014

Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.
CoRR, 2014

Maximally Permissive Petri Net Supervisors with a Novel Structure.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Towards Formal Modeling and Verification of Context-Aware Systems.
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

A Versatile Traffic and Power Aware Performability Analysis of Server Virtualized Systems.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

Time properties verification of UML/MARTE real-time systems.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Specifying and Verifying Concurrent C Programs with TLA+.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

A tripartite graph-based fuzzy co-similarities for document retrieval.
Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014

Delay-Dependent Partial Order Reduction Technique for Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Text Retrieval Based on Dyadic Conceptual Projection.
Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014

On Compatibility Analysis of Inter Organizational Business Processes.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014

Compatibility Analysis of Time Open Workflow Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems.
Proceedings of the ADECS 2014, 2014

2013
Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets.
ACM Trans. Embedded Comput. Syst., 2013

Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels.
Ingénierie des Systèmes d Inf., 2013

Robustness of deadlock control for a class of Petri nets with unreliable resources.
Inf. Sci., 2013

Partitioned-based Fuzzy Clustering to Learn Documents' Triadic Similarity.
Int. J. Recent Contributions Eng. Sci. IT, 2013

Vérification Formelle des Processus Workflow Collaboratifs.
CoRR, 2013

Parallel architectures for fuzzy triadic similarity learning.
CoRR, 2013

A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata.
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Verifying SystemC with predicate abstraction: A component based approach.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A new dynamic IPC-memory allocator based on a paging approach.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Exploiting Concurrency for the ESB Architecture.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

A Parallel Comparator of Documents.
Proceedings of the 24th International Workshop on Database and Expert Systems Applications, 2013

Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution.
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

2012
On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Causal Model-Based Diagnosis.
Int. J. Found. Comput. Sci., 2012

On intrinsically live structure of a class of generalized Petri nets modeling FMS.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Performance evaluation of a massively parallel ESB-oriented architecture.
Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Parametric Verification of TimeWorkflow Nets.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Network availability modeling of VMIMO link in multi-hop wireless network.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Modeling Migration of Mobile Agents.
Proceedings of the Business Process Management Workshops, 2012

Reachability Analysis of P-time Petri Nets with Parametric Markings.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
Implémentation orientée objet d'ABAReL en Maude.
Tech. Sci. Informatiques, 2011

A tile logic-based semantics for mobile software architectures.
IJCCBS, 2011

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs.
Discret. Event Dyn. Syst., 2011

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems.
Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic petri nets.
Proceedings of the Q2SWinet'11, Proceedings of the Seventh ACM Symposium on QoS and Security for Wireless and Mobile Networks, Miami, FL, USA, October 31, 2011

Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

On the Modeling of Healthcare Workflows Using Recursive ECATNets.
Proceedings of the Business Process Management Workshops, 2011

2010
Model-based testing approach for mobile agents using the paradigm of reference net.
Multiagent Grid Syst., 2010

A Neuro-Fuzzy Model for QoS Based Selection of Web Service.
J. Softw. Eng. Appl., 2010

A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets.
J. Softw. Eng. Appl., 2010

A Tile Logic Based Approach for Software Architecture Description Analysis.
J. Softw. Eng. Appl., 2010

Mapping UML 2.0 Activities to Zero-Safe Nets.
J. Softw. Eng. Appl., 2010

On interleaving in {P,A}-Time Petri nets with strong semantics
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol
CoRR, 2010

Opportunistic MAC layer design with stochastic Petri Nets for multimedia ad hoc networks.
Concurr. Comput. Pract. Exp., 2010

A probabilistic analysis of energy efficiency of wireless sensor network duty-cycled MAC protocols: application to S-MAC and Eco-MAC.
Proceedings of the Q2SWinet'10, 2010

Model Checking Verification of Web Services Composition.
Proceedings of the ACT4SOC 2010, 2010

Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Toward a New Model of the Petri Nets: Agent Petri Nets.
Proceedings of the Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010

2009
Covering Steps Graphs of Time Petri Nets.
Proceedings of the Joint Proceedings of the 8th, 2009

Stepwise engineering and deployment of dynamically adaptive service-oriented business processes.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009

Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm.
Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009

Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets.
Proceedings of the Eighth International Symposium on Parallel and Distributed Computing, 2009

Opportunistic MAC layer design with Stochastic Petri Nets for multimedia Ad Hoc Networks.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

An Event Structure based Coordination Model for Collaborative Sessions.
Proceedings of the ICEIS 2009, 2009

Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

Extension d'ABAReL par les Propriétés d'Exécution.
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

On modelling adaptive service-oriented business processes.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008
Guest Editorial.
Formal Asp. Comput., 2008

Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework.
Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Towards a tile based LfP semantics.
Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Verification of Workflow processes under multilevel security considerations.
Proceedings of the CRiSIS '08, 2008

On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study.
Proceedings of the Visions of Computer Science, 2008

An Effective Link Adaptation Method in Cooperative Wireless Networks.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007
On the Integration of QoS Management in Web Service Architecture.
Proceedings of the WEBIST 2007, 2007

Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks.
Proceedings of the 2nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2007

Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets.
Proceedings of the ICEIS 2007, 2007

Hierarchical Verification in Maude of L f P Software Architectures.
Proceedings of the Software Architecture, First European Conference, 2007

Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

On the Design and Analysis of Real-time Systems.
Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets.
Proceedings of the Business Process Management Workshops, 2007

2006
Modeling Workflows with Recursive ECATNets.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

CIRTA: An ECATNets Based Model for Embedded Systems Specification.
Proceedings of The 2005 International Conference on Embedded Systems and Applications, 2005

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Using AUML to derive formal modeling agents interactions.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2003
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model.
J. Supercomput., 2003

Parameterized supervisor synthesis for a modular class of discrete event systems.
Proceedings of the IEEE International Conference on Systems, 2003

2002
Guest editorial.
J. Syst. Softw., 2002

Verification and Optimisation of an Operating Room Workflow.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2000
Performance Analysis of an N(N ATM Switch with Markov Modulated Poisson Process under Back-Pressure Mechanism.
Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000

1998
Verification in Concurrent Programming with Petri Nets Structural Techniques.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997
Towards an efficient probabilistic deadlock detection method for multidatabase systems.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Efficient Answer Extraction of Deductive Databases Modeled by HLPN.
Proceedings of the Database and Expert Systems Applications, 8th International Conference, 1997

Petri nets based proofs of Ada 95 solution for preference control.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996
Formal Specification of Communication Protocols with Object-Based ECATNets.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

Optimizing Query Evaluation in Deductive Databases Using Reductions.
Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996

On Liveness and Controlled Siphons in Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995
On Liveness in Extended non Self-Controlling Nets.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992
A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects.
Proceedings of the International Conference on Database and Expert Systems Applications, 1992

A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1990
Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems.
Discret. Appl. Math., 1990

1988
Reliability analysis of non repairable systems using stochastic Petri nets.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988


  Loading...