Kamel Barkaoui
Orcid: 0000-0001-7175-0448Affiliations:
- CNAM-Laboratoire Cédric, Paris, France
According to our database1,
Kamel Barkaoui
authored at least 187 papers
between 1988 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2025
Exploring the Landscape of IoT Ransomware Prediction Through Machine Learning Techniques: A Comprehensive Survey.
SN Comput. Sci., March, 2025
Comput. Networks, 2025
2024
Soft Comput., October, 2024
Innov. Syst. Softw. Eng., March, 2024
DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement.
Comput. Networks, 2024
DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024
State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique.
Proceedings of the 10th International Conference on Control, 2024
2023
Inf. Sci., December, 2023
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023
Proceedings of the Testing Software and Systems, 2023
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
A Rewriting Logic Based Behaviour Semantics of Discrete event systems Models with Complex Dynamics.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
Proceedings of the International Conference on Computer and Applications, 2023
Demystifying Threshold Elliptic Curve Digital Signature Algorithm for MultiParty Applications.
Proceedings of the 2023 Australasian Computer Science Week, 2023
2022
IEEE Trans. Syst. Man Cybern. Syst., 2022
Blockchain Technology for Intelligent Transportation Systems: A Systematic Literature Review.
IEEE Access, 2022
2021
DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets.
J. Softw. Evol. Process., 2021
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming.
IEEE CAA J. Autom. Sinica, 2021
Extended Hapicare: A telecare system with probabilistic diagnosis and self-adaptive treatment.
Expert Syst. Appl., 2021
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021
2020
Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum.
Sensors, 2020
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020
Proceedings of the 8th IEEE International Conference on Serious Games and Applications for Health, 2020
An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing.
Proceedings of the Mobile, Secure, and Programmable Networking, 2020
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain.
Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 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
Proceedings of the Information Systems, 2020
2019
Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging.
Int. J. Crit. Comput. Based Syst., 2019
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2019
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
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
Real Time Syst., 2018
Innov. Syst. Softw. Eng., 2018
Performance analysis of the <i>M</i>/<i>G</i>/<i>c</i>/<i>c</i> + <i>r</i> queuing system for cloud computing data centres.
Int. J. Crit. Comput. Based Syst., 2018
Int. J. Comput. Appl. Technol., 2018
IEEE CAA J. Autom. Sinica, 2018
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
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
Inf. Sci., 2017
Int. J. Crit. Comput. Based Syst., 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
Multiagent Grid Syst., 2016
Int. J. Inf. Syst. Serv. Sect., 2016
Int. J. Crit. Comput. Based Syst., 2016
Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission.
CoRR, 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
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
Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016
Proceedings of the 12th International Conference on Natural Computation, 2016
2015
Proceedings of the Formalisms for Reuse and Systems Integration, 2015
ACM Trans. Embed. Comput. Syst., 2015
Int. J. Syst. Sci., 2015
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015
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
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
Inf. Sci., 2014
Int. J. Serv. Sci. Manag. Eng. Technol., 2014
Int. J. Crit. Comput. Based Syst., 2014
Int. J. Crit. Comput. Based Syst., 2014
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams.
CoRR, 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
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
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
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the 11th International Conference on Fuzzy Systems and Knowledge Discovery, 2014
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
Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2014
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. Embed. Comput. Syst., 2013
Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels.
Ingénierie des Systèmes d Inf., 2013
Inf. Sci., 2013
Int. J. Recent Contributions Eng. Sci. IT, 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
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013
Proceedings of the International Conference on High Performance Computing & Simulation, 2013
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
Proceedings of the 24th International Workshop on Database and Expert Systems Applications, 2013
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
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
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
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
Proceedings of the Business Process Management Workshops, 2012
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
2011
Int. J. Crit. Comput. Based Syst., 2011
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs.
Discret. Event Dyn. Syst., 2011
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
Proceedings of the Business Process Management Workshops, 2011
2010
Multiagent Grid Syst., 2010
J. Softw. Eng. Appl., 2010
J. Softw. Eng. Appl., 2010
J. Softw. Eng. Appl., 2010
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 <i>ad hoc</i> 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
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010
Proceedings of the Fourth UKSim European Symposium on Computer Modeling and Simulation, 2010
2009
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
Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009
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
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
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009
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
Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008
Proceedings of the 8th international conference on New technologies in distributed systems, 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
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
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
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
Proceedings of the Business Process Management Workshops, 2007
2006
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006
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
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005
2003
Proceedings of the IEEE International Conference on Systems, 2003
2002
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
1999
On Concurrency Control in Multidatabase Systems with an Extended Transaction Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1998
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
Proceedings of the Database and Expert Systems Applications, 8th International Conference, 1997
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
Proceedings of the 22rd EUROMICRO Conference '96, 1996
Proceedings of the Seventh International Workshop on Database and Expert Systems Applications, 1996
Proceedings of the Application and Theory of Petri Nets 1996, 1996
1995
Proceedings of the Application and Theory of Petri Nets 1995, 1995
1993
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
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988