Kamel Barkaoui
Professeur émérite
Team: Systèmes sûrs
Personal website: http://cedric.cnam.fr/lab/author/barkaoui/
Office: 31.1.7A
2024
Articles de revue
- Production Chain Modeling based on Learning Flow Stochastic Petri Nets. In Soft Computing, 2024. doi www
- DRL approach for online user-centric QoS-Aware SFC embedding with dynamic VNF placement. In Computer Networks, 251: 110637, 2024. doi www
Articles de conférence
- Genetic Algorithm-Based Approach for Optimizing Query Performance in Big Data Environments. In 2024 IEEE International Conference on Advanced Systems and Emergent Technologies (IC_ASET), IEEE, Hammamet, Tunisia, 2024. doi www
2023
Articles de revue
- FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net. In Journal of Software Engineering and Applications, 16 (09): 443-482, 2023. doi www
- Preface to the VECoS 2020 & 2021 special issue of ISSE. In Innovations in Systems and Software Engineering, 2023. doi www
Articles de conférence
- Privacy-preserving Collaborative Computation: Methods, Challenges and Directions. In The International Conference on Computer and Applications, pages 1-6, Le Caire, Egypt, 2023. doi www
- A QoE Driven DRL Approach for~Network Slicing Based on~SFC Orchestration in~SDN/NFV Enabled Networks. In Verification and Evaluation of Computer and Communication Systems 16th International Conference. VECoS 2023, pages 30-44, Springer, Marrakech, Morocco, Lecture Notes in Computer Science vol. 14368, 2023. doi www
Actes de colloque
- Research in Computer Science. Springer Nature Switzerland, Communications in Computer and Information Science 2085, 2023. www
2022
Articles de conférence
- Pervasive Systems Development: A Stepwise Rule-centric Rigorous Service-Oriented Architectural Approach. In 8th International Conference on Information Technology Convergence and Services (ITCSS 2022), Zurich, Switzerland, 2022. www
2021
Articles de revue
- DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets. In Journal of Software: Evolution and Process, 2021. doi www
- Blockchain for The Internet of Vehicles: How to use Blockchain to secure Vehicle-to-Everything (V2X) Communication and Payment ?. In IEEE Sensors Journal: 1-1, 2021. doi www
- Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. In IEEE Transactions on Systems, Man, and Cybernetics: Systems, 52 (5): 3113-3125, 2021. doi www
- Computation of an emptiable minimal siphon in a subclass of petri nets using mixed-integer programming. In IEEE/CAA Journal of Automatica Sinica: 1-8, 2021. doi www
Articles de conférence
- An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets. In 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), Paris, France, 2021. www
2020
Articles de revue
- Blockchain for the Internet of Vehicles: A Decentralized IoT Solution for Vehicles Communication Using Ethereum. In Sensors, 20 (14): 3928, 2020. doi www
- An unreliable single server retrial queue with collisions and transmission errors. In Communications in Statistics - Theory and Methods, 2020. doi www
- Exploiting local persistency for reduced state-space generation. In Innovations in Systems and Software Engineering, 2020. doi www
Articles de conférence
- A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain. In 2020 International Wireless Communications and Mobile Computing (IWCMC), pages 1252-1259, IEEE, Limassol, France, 2020. doi www
- HapiFabric: A Teleconsultation Framework Based on Hyperledger Fabric. In European, Mediterranean, and Middle Eastern Conference on Information Systems, pages 399-414, Springer, Dubai, United Arab Emirates, LNBIP, vol. 402 , 2020. doi www
- A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication. In 15th International Conference on Evaluation of Novel Approaches to Software Engineering, pages 595-602, SCITEPRESS - Science and Technology Publications, Prague, Czech Republic, 2020. doi www
- Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System. In 22nd International Conference on Enterprise Information Systems, pages 261-268, SCITEPRESS - Science and Technology Publications, Prague, France, 2020. doi www
- An Intelligent Agent-Based Industrial IoT Framework for Time-Critical Data Stream Processing. In 6th International Conference on Mobile, Secure and Programmable Networking (MSPN), 2020, pages 195-208, Springer, Paris (virtual), France, Lecture Notes in Computer Science, vol 12605 , 2020. doi www
- HapiChain: A Blockchain-based Framework for Patient-Centric Telemedicine. In 2020 IEEE 8th International Conference on Serious Games and Applications for Health(SeGAH), pages 1-6, IEEE, Vancouver, Canada, 2020. doi www
- Towards Efficient Partial Order Techniques for Time Petri Nets. In 14th International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2020, pages 100-115, Springer, Xian ( virtual), France, Lecture Notes in Computer Science, vol 12519 , 2020. doi www
- Driver Drowsiness Detection Model Using Convolutional Neural Networks Techniques for Android Application. In ICIoT 2020, pages 237-242, IEEE, Doha, Qatar, 2020. doi www
- Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity. In 2020 IEEE International Conference on Informatics, IoT, and Enabling Technologies (ICIoT), pages 310-317, IEEE, Doha, France, 2020. doi www
Non publié
- Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-Based Healthcare Records Sharing System. , working paper or preprint. www
- A Model-Based Testing Framework for Validating an IoT Solution for Blockchain-Based Vehicles Communication. , working paper or preprint. www
2019
Articles de revue
- M/M/1 Retrial Queue with Collisions and Transmission Errors. In Methodology and Computing in Applied Probability, 21 (4): 1395-1406, 2019. doi www
- Improving genetic algorithm using arc consistency technic. In Procedia Computer Science, 159: 1387-1396, 2019. doi www
- Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. In IEEE Access, 7: 21006-21019, 2019. doi www
- Performability modelling and analysis of server virtualised systems subject to workload-dependent software aging. In International Journal of Critical Computer-Based Systems, 9 (3): 248-292, 2019. doi www
- Maximal Good Step Graph Methods for Reducing the Generation of the State Space. In IEEE Access, 7: 155805-155817, 2019. doi www
Articles de conférence
- Performance evaluation of virtual switch with batch arrival using quasi-birth--death process. In 2019 International Conference on Industrial Engineering and Systems Management (IESM), pages 1-6, IEEE, Shanghai, France, 2019. doi www
- Urban Traffic Monitoring and Modeling System: An IoT Solution for Enhancing Road Safety. In IINTEC 2019, pages pp. 13-18, Hammamet, Tunisia, 2019. doi www
- On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. In 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), pages 1752-1757, IEEE, Paris, France, 2019. doi www
- A New Analytical Model for Calculating Elasticity in Cloud Computing. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Angers, France, 2019. www
- Scalable Load Balancing Scheme for Distributed Controllers in Software Defined Data Centers. In 2019 Sixth International Conference on Software Defined Systems (SDS), pages 47-54, IEEE, Rome, Italy, 2019. doi www
- Hapicare: A Healthcare Monitoring System with Self-adaptive Coaching Using Probabilistic Reasoning. In ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2019, pages 1-8, IEEE, Abu Dhabi, United Arab Emirates, 2019. doi www
2018
Articles de revue
- IoT-based smart and complex systems: a guest editorial report. In IEEE/CAA Journal of Automatica Sinica, 5 (1): 69-73, 2018. doi www
- Introduction to special issue on verification and evaluation of computer systems. In Innovations in Systems and Software Engineering, 14 (2): 81-82, 2018. doi www
- Delay-dependent partial order reduction technique for real time systems. In Real-Time Systems, 54 (2): 278-306, 2018. doi www
- Performance Analysis of the M/G/c/c+r Queuing System for Cloud Computing Data Centers. In International Journal of Critical Computer-Based Systems, 8 (3-4): 234, 2018. doi www
- Transformation of Business Process Model and Notation models onto Petri nets and their analysis. In Advances in Mechanical Engineering, 10 (12): 168781401880817, 2018. doi www
- Architectural method to design and control dynamic composite web services. In International Journal of Computer Applications in Technology, 57 (1): 59, 2018. doi www
Articles de conférence
- Exploiting Local Persistency for Reduced State Space Generation. In 12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, pages 166-181, Springer, Porto, Portugal, Verification and Evaluation of Computer and Communication Systems. VECoS 2018. Lecture Notes in Computer Science, vol. 11181 , 2018. doi www
- Maximizing Profit in Cloud Computing Using M/G/c/k Queuing Model. In 2018 International Symposium on Programming and Systems (ISPS), IEEE, Alger, Algeria, 2018. doi www
- Performability evaluation of server virtualized systems under bursty workload. In 14th IFAC Workshop on Discrete Event Systems WODES 2018, IFAC, pages 45-50, Elsevier, Sorrente, Italy, 2018. doi www
- Liveness Enforcement for a Class of Petri Nets via Resource Allocation. In 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pages 4369-4374, IEEE, Miyazaki, France, 2018. doi www
- On Persistency in Time Petri Nets. In International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, pages 108-124, Springer Link, Beijing, China, 2018. doi www
2017
Articles de revue
- Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. In IEEE Transactions on Systems, Man, and Cybernetics: Systems, 47 (2): 364-379, 2017. doi www
- Versatile workload-aware power management performability analysis of server virtualized systems. In Journal of Systems and Software, 125: 365-379, 2017. doi www
- On the dependability evaluation of a virtual multiple input multiple output link. In International Journal of Critical Computer-Based Systems, 7 (1): 43, 2017. doi www
- Formal verification of complex business processes based on high-level Petri nets. In Information Sciences, 385-386: 39-54, 2017. doi www
- Deadlock analysis and control based on Petri nets: A siphon approach review. In Advances in Mechanical Engineering, 9 (5): 168781401769354, 2017. doi www
- Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. In IEEE Access, 5: 16349-16358, 2017. doi www
Articles de conférence
- Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. In International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2017, pages 108-123, Montreal, Canada, 2017. doi www
2016
Articles de revue
- Modeling, implementation and performance analysis of mobility load balancing for LTE downlink data transmission. In International Journal of Computer Networks & Communications, 8 (5), 2016. doi www
Chapitres d'ouvrage
- Chapitre 20 : A contribution to educational process mining. In Ingénierie et management des systèmes d'information ; mélanges en l'honneur de Jacky Akoka, Cépaduès, Toulouse, Partie 5. Processus métiers et processus logiciels , 2016. www
Articles de conférence
- Workload-Dependent Software Aging Impact on Performance and Energy Consumption in Server Virtualized Systems. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 111-118, IEEE, Ottawa, France, 2016. doi www
- Petri Nets for Mobile Agent: Theory and Application. In SAI Intelligent Systems Conference (IntelliSys) 2016. IntelliSys 2016., pages 216-227, Springer International Publishing, London, United Kingdom, Lecture Notes in Networks and Systems 16, 2016. doi www
- A two-step clustering approach for improving educational process model discovery. In 25th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2016), pages pp. 38-43, Paris, France, 2016. doi www
- Stochastic Model for Cloud Data Center with M/G/c/c+r queue. In VECoS'2016, Tunis, Tunisia, 2016. www
2015
Articles de revue
- Necessary and sufficient liveness condition of GS 3 PR Petri nets. In International Journal of Systems Science, 46 (7): 1147-1160, 2015. doi www
- On the enforcement of a class of nonlinear constraints on Petri nets. In Automatica, 55: 116-124, 2015. doi www
- Stubborn Sets for Time Petri Nets. In ACM Transactions on Embedded Computing Systems (TECS), 14 (1): 1-25, 2015. doi www
- Guest Editorial for Special Issue Application of Concurrency to System Design. In ACM Transactions on Embedded Computing Systems (TECS), 14 (4): 1-2, 2015. doi www
Chapitres d'ouvrage
- Specifying and Verifying Concurrent C Programs with TLA+. In Formal Techniques for Safety-Critical Systems, pages 206-222, Springer, Communications in Computer and Information Science 476, 2015. www
Articles de conférence
- A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. In 5th International Conference on Computer Science and Its Applications (CIIA), pages 551-562, Springer International Publishing, Saida, Algeria, Computer Science and Its Applications AICT-456, 2015. doi www
- Improving process models discovery using AXOR clustering algorithm. In ICISA 2015 : 6th International Conference on Information Science and Applications, pages 623-629, Springer, Pattaya, Bangkok, Thailand, Lecture Notes in Electrical Engineering 339, 2015. doi www
- Modélisation et étude de performance de l'équilibrage de charge LTE par ajustement dynamique des paramètres du handover. In Modélisation des Systèmes Réactifs (MSR 2015), Nancy, France, 2015. www
- State Space Reduction Strategie for Model Checking Concurrent C~Programs. In 9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), pages 65-76, Bucharest, Romania, 2015. www
- Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs. In Tenth International Conference on Software Engineering Advances (ISCEA 2015), Barcelone, Spain, 2015. www
2014
Articles de revue
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and UnobservableTransitions. In Asian Journal of Control, 16: .1646-1658, 2014. www
- Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems. In Information sciences, Information Sciences, 256: 74-90, 2014. www
- Partial order reduction for checking soundness of time workflow nets. In Information sciences, Information Sciences, 282: 261-276, 2014. www
- Transactional Petri nets: a semantic framework for UML2 activities. In International Journal of Critical Computer-Based Systems, 5: 241-267, 2014. www
- New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. In IEEE transactions on systems, man, and cybernetics, 44: 1384-1400, 2014. www
Chapitres d'ouvrage
- Software Architecture: Service Adaptation Techniques in the Context of Web Services Composition. In Software Architecture 1 - Edited by Mourad Chabane Oussalah, pages 211-240, 2014. www
Articles de conférence
- Une Approche Basée K pour la Description de Services Web. In ICAIIT2014 - Conf?rence internationale sur l'intelligence artificielle et les technologies de l?information, pages 12-20, X, France, 2014. www
- Text Retrieval Based on Dyadic Conceptual Projection. In 25th International Workshop on Database and Expert Systems Applications (DEXA), 2014, pages 198-202, X, France, IEEE , 2014. www
- On compatibility analysis of inter organizational business processes. In 10th International Workshop on Enterprise Organizational Modeling and Simulation (EOMAS 2014), pages 171-186, X, France, LNBIP 191, 2014. www
- Specifying and Verifying Concurrent C Programs with TLA+. In The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., pages 12-25, X, France, 2014. www
- Maximally Permissive Petri Net Supervisors with a Novel Structure. In WODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, pages 1-8, X, France, 2014. www
- A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems. In 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems ADECS 2014, pages 36-51, X, France, CEUR Workshop Proceedings 1161, 2014. www
- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. In 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science, pages 53-68, X, France, Lecture Notes in Computer Science 8711, 2014. www
- An Approach for Verifying Concurrent C Programs. In 8th Junior Researcher Workshop on Real-Time Computing, pages 33-36, Versailles, France, 2014. www
- Compatibility Analysis of Time Open Workflow Nets. In International Workshop on Petri Nets and Software Engineering (PNSE 2014), pages 249-268, X, France, CEUR Workshop Proceedings 1160, 2014. www
- A tripartite graph-based fuzzy co-similarities for document retrieval. In 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2014, pages 575-580, X, France, IEEE , 2014. www
- On the efficiency of scheduling algorithms in LTE networks. In 10 i?me ?dition du colloque francophone sur la Gestion de R?seaux Et de Services - GRES 2014, pages 25-29, X, France, 2014. www
- A versatile traffic and poweraware modeling approach based SRN for performability analysis of elastic virtualizedsystem architectures. In IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, pages 207-212, X, France, 2014. www
- Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems. In 11th IEEE International Conference on Networking, Sensing and Control, pages 13-21, X, France, 2014. www
- Performance analysis of a novel downlink scheduling algorithm for LTE systems. In International Conference on Advanced Networking Distributed Systems and Applications, INDS, pages 13-18, X, France, CPS , 2014. www
- A versatile traffic and power aware performability analysis of server virtualized systems. In IEEE 22nd International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - MASCOTS 2014, pages 45-51, X, France, 2014. www
- A K-Based Specification of Web Services. In CAL2014 - Conf?rence Francophone sur les Architecture Logicielles, pages 1-7, X, France, 2014. www
2013
Articles de revue
- Robustness of deadlock control for a class of Petri nets with unreliable resources. In Information sciences, Information Sciences, 235: 259-279, 2013. www
- APN Model for Specification of the Communication Protocols in Multi-Agent System. In Journal of Software Engineering and Applications, 6: 14-22, 2013. www
- Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model. In International journal of advanced computer science and applications (IJACSA), 4: 166-173, 2013. www
- Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams. In International Journal of Soft Computing and Software Engineering, 3 (3): 205-211, 2013. doi www
- Modeling Migration of Mobile Agents. In Lecture Notes in Business Information Processing, 132: 530-540, 2013. www
- Necessary and sufficient liveness condition of GS3PR Petri nets. In International Journal of Simulation : Systems, Science and Technology: 1-14, 2013. www
- Reducing interleaving semantics redundancy in reachability analysis of time Petri nets. In ACM Transactions on Embedded Computing Systems (TECS), 12: 1-24, 2013. www
Chapitres d'ouvrage
- Liveness, Deadlock-Freeness, and Siphons. In Embedded Computing Systems: Applications, Optimization, and Advanced Design, pages 65-78, 2013. www
- Adaptation de Services dans le Contexte de Composition de Services Web Titre du livre ''Architectures logicielles : Principes, techniques et outils''. In Architectures logicielles : Principes, techniques et outils sous la direction de Mourad Oussalah, Editions Hermes Sciences-Lavoisier, pages 75-106, 2013. www
Articles de conférence
- Modeling and formal verification framework of Web services composition. In International Conference on Control, Engineering Information Technology (CEIT'13), Proceedings Engineering Technology, pages 140-145, X, France, 2013. www
- Liveness and Resource Usage Ratio-Enforcing Supervisor for a Class of Generalized Petri Nets. In 10th IEEE International Conference on Control and Automation, pages 1278-1283, Hangzhou, China, 2013. www
- A Parallel Comparator of Documents. In DEXA Workshops 2013, pages 48-52, X, France, 2013. www
- Parallel architectures for fuzzy triadic similarity learning. In International Conference on Control, Engineering Information Technology (CEIT), pages 121-126, X, France, CoRR, 2013 1, 2013. www
- A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. In Integration of Reusable Systems, pages 77-104, San Francisco, United States, 2013. doi www
- On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams. In 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), pages 1-6, X, France, 2013. www
- Computation of Resource Circuits of Petri Nets by Using Binary Decision Diagrams. In 5th International Conference On Modeling, Simulation and Applied Optimization, pages 1-6, Hammamet, Tunisia, 2013. www
- Exploiting concurrency for the ESB architecture. In International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pages 84-88, X, France, 2013. www
- Design and Implementation of a Massively Parallel ESB. In International Symposium on Programming and Systems (ISPS?2013), pages 89-95, X, France, 2013. www
- Verifying SystemC with predicate abstraction: A component based approach. In 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), pages 536-545, IEEE, San Francisco, France, 2013. doi www
- A New Dynamic IPC-Memory Allocator Based on a Paging Approach. In International Conference on High Performance Computing Simulation (HPCS 2013), pages 382-389, X, France, 2013. www
- C2TLA+ : Traduction automatique du code C vers TLA+. In 'Ecole d''Eté Temps Réel 2013, Toulouse, France, 2013. www
2012
Articles de revue
- ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS. In International Journal of Foundations of Computer Science, 23: 1523-1541, 2012. www
Livres
Articles de conférence
- Network Availability Modeling of VMIMO link in Multi-hop Wireless Network. In 4th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA'12), pages 1-6, X, France, 2012. www
- Service Composition Adaptation: an Overview. In 2nd International Workshop on Advanced Information Systems for Enterprises (IWAISE'12), pages 1-8, X, France, 2012. www
- Parametric Verification of Time Workflow Nets. In 24th International Conference on Software Engineering (SEKE), pages 375-380, X, France, 2012. www
- Reachability Analysis of P-time Petri Nets with Parametric Marking. In 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, pages 72-81, X, France, 2012. www
- On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS. In 11th International Workshop on Discrete Event Systems - WODES 2012, pages 187-192, X, France, IFAC , 2012. www
- Performance Evaluation of a Massively Parallel ESB-Oriented Architecture. In International Conference on Service Oriented Computing Applications (SOCA 2012), pages 1-4, X, France, 2012. www
- Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study. In Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, pages 1-16, X, France, 2012. www
- Survivability Analysis of VMIMO link in Multi-hop Wireless Network. In The 6th International Workshop on Verification and Evaluation of Computer and Communication Systems VECoS 2012, pages 1-8, X, France, 2012. www
- Vérification Formelle des Processus Workflow Collaboratifs. In Conférence francophone sur les Systèmes Collaboratifs (SysCo12), Paris, France, 2012. www
Divers
2011
Articles de revue
- Implémentation Orientée Objet d'ABAReL en Maude. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 30: 741-767, 2011. www
Livres
Articles de conférence
- Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques. In CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, pages 15-29, Lille, France, 2011. www
- Performance analysis of packet bursting scheme in IEEE 802.11e WLANs under slow rayleigh fading with non markovian stochastic Petri nets. In 7th ACM symposium on QoS and security for wireless and mobile networks, pages 9-16, X, France, 2011. www
- Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems. In IEEE 16th International Conference on Emerging Technologies Factory Automation (ETFA), 2011, pages 1-6, X, France, IEEE/IET (IEL) , 2011. www
- Vérification et 'Evaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier. In ARC 2011, 4e colloque ? Automatique et R?seaux de Communication (ARC) ?, pages 15-23, Paris, France, 2011. www
- Method for Verification of a Multi Agents System. In 2011 Second International Conference on Intelligent Systems, Modelling and Simulation(ISMS'11), pages 62-65, X, France, 2011. www
- On the Modeling of HealthcareWorkflows Using Recursive ECATNets. In Business Process Management Workshops, pages 99-107, Clermont-Ferrand, France, Lecture Notes in Business Information Processing 100, 2011. www
- Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. In NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, pages 1-8, Paris, France, 2011. www
- A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking. In The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King?s College (Strand Campus), pages 25-34, London, United Kingdom, 2011. www
- Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks. In WLN'11, 11th IEEE International Workshop on Wireless Local Networks, pages 22-30, Bonn, Germany, 2011. www
Divers
2010
Articles de revue
- A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets. In Journal of Software Engineering and Applications, 03 (12): 1118-1124, 2010. doi www
- Mapping UML 2.0 Activities to Zero-Safe Nets. In Journal of Software Engineering and Applications, 3: 426-435, 2010. www
- A Neuro-Fuzzy Model for QoS Based Selection of Web Service. In Journal of Software Engineering and Applications, 3: 588-592, 2010. www
- Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol. In International Journal of Wireless and Mobile Networks, 2010. doi www
- A Tile Logic Based Approach for Software Architecture Description Analysis. In Journal of Software Engineering and Applications, 3 (11): 1067-1079, 2010. doi www
- Vérification Formelle des Aspects de Cohérence dun Workflow net. In e-STA Sciences et Technologies de l'Automatique, 7: 37-41, 2010. www
- Model-based testing approach for mobile agents using the paradigm of reference net. In Multiagent and Grid Systems - An International Journal of Cloud Computing, 6: 271-292, 2010. www
Articles de conférence
- A Tile Logic Based Semantics for Mobile Software Architecture. In VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010, pages 35-47, X, France, The eWiC Series (ISSN 1477-9358) , 2010. www
- On the Verification of Business Processes by Model Checking Techniques. In ICSTE'10, 2nd International Conference on Software Technology and Engineering, San Juan, Puerto Rico, USA. October 3-5, pages 97-103, X, France, 2010. www
- Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. In SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10), pages 65-74, Genoa, Italy, 2010. www
- On interleaving in P,A-Time Petri nets with strong semantics. In INFINITY'10, 12th International Workshop on Verification of Infinite-State Systems, Singapore, 21st of September 2010, pages 17-31, X, France, EPTCS 39, 2010. www
- A Probabilistic Analysis of Energy Efficiency of Wireless Sensor Network Duty-Cycled MAC Protocols: Application to S-MAC and Eco-MAC. In Q2SWinet'10, 6th ACM/IEEE International Symposium on QoS and Security for Wireless and Mobile Networks (in conjunction with MsWim'10), pages 15-27, Bodrum, Turkey, 2010. www
- Model Checking Verification of Web Services Composition. In ACT4SOC'10, 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Athens, Greece, 23 July, pages 80-92, X, France, 2010. www
Divers
- A Structural Verification of Web Services Composition Compatibility. , CAiSE 2010 Workshop EOMAS'10, Hammamet, Tunisia. www
2009
Articles de conférence
- On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET Environment. In WWS'09, 1er Workshop sur les Services Web dans les Systèmes d'Information, Algiers, Algeria, pages 1-11, X, France, 2009. www
- A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications. In ISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, pages 1-8, X, France, IEEE , 2009. www
- Workflow Modeling and Analysis using Petri Nets. In ICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, pages 25-33, X, France, 2009. www
- Modelling and Analysing of Time Constrained and Reconfigurable Manufacturing Processes. In INCOM09, 13th IFAC Symposium on Information control Problems in Manufacturing, Moscow, Russia, pages 1949-1954, X, France, 2009. www
- Design and Verification of Time-Constrained Workflow with Multi-Level Security. In DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, pages 25-32, X, France, 2009. www
- Covering Steps Graphs of Time Petri Nets. In INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, pages 155-165, X, France, ENTCS , 2009. www
- An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. In RCIS'09, 3rd IEEE International Conference on Research Challenges in Information Science, Fez, Morocco, April 22-24, pages 207-216, X, France, IEEE , 2009. www
- Opportunistic MAC Layer Design with Stochastic Petri Nets for Multimedia Ad Hoc Networks. In ISCC'09, 14th IEEE Symposium on Computers and Communications, Sousse, Tunisia, July 5-8, pages 23-29, X, France, 2009. www
- Rapid-prototyping of Adaptive Component-based Systems using Runtime Aspectual Interactions. In RSP'09, 20th IEEE/IFIP International Symposium on Rapid System Prototyping, pages 19-26, IEEE, Paris, France, 2009. doi www
- Performance Evaluation of the IEEE 802.11 WLAN Supporting QoS. In FeT'09, 8th IFAC International Conference on Fieldbuses and neTworks in industrial and embedded systems, Ansan, Korea, pages 27-34, X, France, 2009. www
- Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets. In WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, pages 19-36, X, France, LNCS 5387, 2009. www
- Extension d'ABAReL par les Propriétés d'Exécution. In CAL'09, 3i?me Conf?rence sur les Architectures Logicielles, Nancy, France, pages 28-41, X, France, CAL 2009 , 2009. www
- On combining the ready sets with the covering steps methods. In VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, pages 74-84, X, France, eWiC Series , 2009. www
- Orthogonal and Non-orthogonal Cooperative protocols in WLANs. In VECoS'09, 3rd IEEE International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, pages 40-53, X, France, eWiC Series , 2009. www
- Towards a Disciplined Engineering of Adaptive Service-oriented Business Processes. In ICIW'09, 4th IEEE International Conference on Internet and Web Applications and Services, pages 474-480, IEEE, Venise, Italy, IEEE , 2009. doi www
- Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. In ECBS'09. 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pages 138-146, IEEE, San Francisco, United States, IEEE , 2009. doi www
- An Event Structure Based Coordination Model for Collaborative Sessions. In ICEIS'09, 11th International Conference on Enterprise Information Systems, Milan, Italy, pages 137-143, X, France, Information Systems Analysis and Specification , 2009. www
- On modelling adaptive service-oriented business processes. In AICCSA 2009, 7th ACS/IEEE International Conference on Computer Systems and Applications, pages 47?52, Rabat, Morocco, 2009. www
- Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets. In ISPDC'09, 8th International Symposium on Parallel and Distributed Computing, Lisbon, Portugal, June 30 - July 4, pages 99-106, X, France, 2009. www
2008
Articles de conférence
- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. In FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, pages 265-279, X, France, LNCS 5215, 2008. www
- Sur la vérification de la cohérence de processus workflow temporisés. In GEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, pages 57-68, X, France, 2008. www
- An Effective Link Adaptation Method in Cooperative Wireless Networks. In APSCC'08, IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12, pages 914-919, X, France, IEEE , 2008. www
- Towards a Tile Based LfP Semantics. In RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, pages 9-16, X, France, IEEE , 2008. www
- Web Service Composition Supporting Quality of Service. In JTEA 2008- Tunis, pages 15-24, X, France, 2008. www
- Link adaptation for cooperative Wireless LANs. In WiCOM'08, 4th IEEE Int. Conf. on Wireless Communications, Networking and Mobile Computing, Dalian, China, pages 1-4, X, France, IEEE , 2008. www
- Modeling Time-Constrained Collaborative Workflows Based on Timed Recursive ECATNets. In ECEC'08, 15th European Concurrent Engineering Conference, ECEC 2008, Porto, Portugal, pages 95-99, X, France, IEEE , 2008. www
- Vers une nouvelle approche de composition des Services Web dirigée par la QoS. In GEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Sousse, Tunisia, pages 15-23, X, France, 2008. www
- Towards Maude-Tla based Foundation for Complex Concurrent Systems Specification and Certification. In ITNG'08, 5th International Conference on Information Technology: New Generations, Las Vegas, USA, pages 1305-1307, X, France, IEEE , 2008. www
- On the use of real-time Maude for architecture description and verification : a case study. In 1st International Academic Conference on Visions of Computer Science, London, UK, pages 305-317, X, France, eWiC Series , 2008. www
- Modélisation des workflows collaboratifs `a l'aide des ECATNets récursifs. In NOTERE'2008, 8th Int. Conf. on New Technologies in Distributed Systems, Lyon, France, pages 269-279, X, France, IEEE/ACM , 2008. www
- Verification of Workflow processes under multilevel security considerations. In CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, pages 77-84, X, France, IEEE-4 , 2008. www
2007
Articles de revue
- Workflow Soundness Verification Based on Structure Theory of Petri Nets. In International Journal of Computing and Information Sciences (IJCIS), 5: 51-62, 2007. www
Articles de conférence
- Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri Nets. In ICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, pages 152-158, X, France, 2007. www
- Vérification Paramétrée de la Cohérence des Processus Workflow. In MSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, pages 255-268, X, France, 2007. www
- Formal Modeling and Analysis of Flexible Automated Production Workflows. In CIP'07, 4ème Conférence Internationale IEEE sur la Productique, Sétif, Algeria, pages 45-56, X, France, 2007. www
- On The Integration of QOS Management in Web Service Architecture. In WEBIST'07, 3rd Int. Conf. on Web Information Systems and Technologies, Barcelona, Spain, pages 25-32, X, France, 2007. www
- Workflow Specification and Analysis Using Recursive ECATNets. In GEA 07, 7emes Journees Scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Monastir, Tunisia, pages 15-24, X, France, 2007. www
- Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. In CBP'07, International Workshop on Collaborative Business Processes, Brisbane, Australia, pages 206-217, X, France, LNCS , 2007. www
- Vers une optimisation des performances des Réseaux de Capteurs Sans Fils par une approche multicouches. In GEI'07, 7èmes Journées Scientifiques des Jeunes Chercheurs en Génie 'Electrique et Informatique, Monastir, Tunisia, pages 71-80, X, France, 2007. www
- Performance Study of IEEE 802.11 WLAN Integrating QoS requirements. In ICWMC'07, 3rd Int. Conf. on Wireless and Mobile Communications, Guadeloupe, French Caribbean, pages 69-73, X, France, IEEE , 2007. www
- ECoMAC : Un protocole MAC économe en énergie pour les réseaux de capteurs sans fil. In GRES'07, 8ème Colloque Francophone sur la gestion de réseaux et de services, Hammamet, Tunisia, pages 185-192, X, France, 2007. www
- ECoMAC: An energy-efficient and low-latency hybrid MAC protocol for wireless sensor networks. In PM$^2$HW$^2$N'07, 2nd ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, Chania, Crete Island, Greece, pages 68-71, X, France, ACM , 2007. www
- On the Design and Analysis of Real-time Systems. In CATA'07, 22th Int. Conf. on Computers and Their Applications, Honolulu, Hawaii, USA, pages 380-386, X, France, ISCA , 2007. www
- Performance Analysis of High-Speed TCP Protocols BIC and CUBIC with AQM in Lossy Networks. In CSNA'07, Int. Conf. on Communications Systems, Networks, and Applications, Beijing, China, pages 55-62, X, France, 2007. www
- Hierarchical Verification in Maude of LfP Software Architectures. In ECSA'07, 1st European Conference on Software Architecture, Aranjuez (Madrid), Spain, pages 156-170, X, France, LNCS , 2007. www
- Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems. In CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands, pages 123-137, X, France, IEEE , 2007. www
2006
Articles de conférence
- Etude de protocole MAC dans les réseaux de capteurs sans fil. In GEI06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie 'Electrique et Informatique, Hammamet, Tunisia, pages 63-71, X, France, CPU Ed. , 2006. www
- Implémentation des Régles de Réduction des ECATNets dans MAUDE. In MOSIM'06, 6ème Conférence Francophone de MOdélisation et SIMulation, Rabat, Morocco, pages 505-514, X, France, 2006. www
- Vers l'analyse des processus déntreprise jPdl fondée sur les réseaux de Petri. In GEI'06, 6èmes Journées Scientifiques des Jeunes Chercheurs en Génie 'Electrique et Informatique, Hammamet, Tunisia, pages 171-181, X, France, CPU Ed. , 2006. www
- Modeling Workflows with Recursive ECATNets. In SYNASC'06, 8th IEEE Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pages 389-398, X, France, IEEE , 2006. www
- Applying Reduction Rules to ECATNets. In AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, pages 42-55, X, France, ENTCS , 2006. www
- On QoS Support Evaluation in IEEE 802.11 Wireless LAN's. In ICTTA'06, 2nd IEEE Int. Conf. on Information Communication Technologies: from Theory to Applications, Damascus, Syria, pages 3257-3261, X, France, 2006. www
2005
Articles de revue
- Nouvelle Approche pour la Définition et la Manipulation de la Négation par les Programmes Stratifiés. In Annales Maghrébines de l'Ingénieur, 2: 587-599, 2005. www
Articles de conférence
- On the use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LFP. In RSP'05, 16th IEEE International Workshop on Rapid Systems Prototyping, Montreal, Canada, pages 202-208, X, France, IEEE , 2005. www
- On the Equivalence between Deadlock Freeness and Liveness in Petri Nets. In ICATPN'05, 26th Int. Conf. on Application and Theory of Petri Nets, Miami, USA, pages 90-107, X, France, LNCS , 2005. www
- Approche Globale pour la Qualité de Service dans les Réseaux Locaux sans Fils IEEE 802.11. In ISPSA?2005, 7th International Symposium on Programming and Systems, Algiers, Algeria, pages 131-140, X, France, 2005. www
- Coordination and Co-Nets for specifying and reconfiguring Agile information systems. In PNCWB'05, 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, Miami, Florida, USA, pages 1-16, X, France, 2005. www
- A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. In PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, pages 1255-1263, X, France, 2005. www
- Global Solution for the Support of QoS by IEEE 802.11 Wireless Local Area Networks. In PWC'05, 10th IFIP Int. Conf. on Personal Wireless Communications, Colmar, France, pages 252-260, X, France, IFIP , 2005. www
- Conception orientée agent de systèmes workflows. In GEI'05, 5i?mes Journ?es scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Sousse, Tunisia, pages 26-32, X, France, 2005. www
- Un modèle de coordination des sessions coopératives basé sur les structures d'évènements. In GEI'05, 5i?mes Journ?es Scientifiques des Jeunes Chercheurs en G?nie Electrique et Informatique, Sousse, Tunisia, pages 18-25, X, France, 2005. www
- Using AUML to derive formal modelling agents interactions. In AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, pages 109-116, X, France, IEEE , 2005. www
- CIRTA: An ECATNets Based Model for Embedded Systems Specification. In ESA'05, Int. Conf. on Embedded Systems and Applications, Las Vegas, Nevada, USA, pages 261-267, X, France, 2005. www
2004
Articles de conférence
- Sur l'optimisation des méthodes d'accès au canal dans les réseaux locaux sans fil IEEE 802.11. In Actes du 18ème congrès DNAC '' De Nouvelles Architectures pour les Communications'', Paris, X, France, 2004. www
2003
Articles de revue
- On concurrency Control in Mutlidatabase Systems with an Extented Transaction Model. In Journal of Supercomputing, 24: 193-202, 2003. www
Articles de conférence
- Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur web. In Actes de la Conférence SETIT, Tunisie, X, France, 2003. www
- On performance analysis of Web oriented systems. In Proc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, pages 59-66, X, France, 2003. www
- Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets. In 1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, X, France, 2003. www
- On the authentication control of Needham-Schroeder protocol using Petri Nets. In International Arab Conference on Information Technology (ACIT'2003), Egypte., X, France, 2003. www
- Un cadre pour une meilleure qualité de service du réseau TUNIPAC. In Actes de la Conférence SETIT, Tunis, X, France, 2003. www
- Vers une logique Temporelle LTL pour la vérification des Théories de Réécriture dénotant les ECATNets. In Premier congrès francophone MAJECSTIC'03, Marseille, X, France, 2003. www
- Parametrised Verification of Class of Resource Allocation systems. In Actes de la Conférence Internationale sur la Productique, CIP03, CDTA - Alger, pages 52-59, X, France, 2003. www
- On the Equivalence between Liveness and deadlock Freeness in Petri Nets. In ISPS03, 5th Int. Symp. on Programming and Systems, Algiers, Algeria, pages 213-224, X, France, 2003. www
- Distance Learning as Opportunity for Improving Quality Learning. In 4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc, X, France, 2003. www
- Parameterized supervisor synthesis for a modular class of discrete event systems. In IEEE Int. Conf. on Systems, Man and Cybernetics, vol.2, pages 1874-1879, X, France, 2003. www
2002
Articles de conférence
- Verification and optimisation of an operating room workflow. In 35th Hawaii Int. Conf. on System Sciences . HICSS'02- Vol 7, pages 210, X, France, 2002. www
- Increasing Conceptual Modelling Reusability Using Componentization and Reflection. In 1st Workshop on Knowledge Foraging for Dynamic Networking of Communities and Economies, X, France, 2002. www
- Agent Based Software Process Modeling Using Object Oriented Petri Nets. In EurAsian Workshop on Agents for Information Management (EURASIA-ICT), Shiraz, Iran, X, France, 2002. www
2001
Articles de conférence
- Multi--log-logistic software reliability model. In Supplement of the Int. Conf. on Dependable systems and networks, DSN'01, X, France, 2001. www
2000
Articles de conférence
- On the Benefits of Rewrite Logic as Semantics for Algebraic Petri Nets in Computing Siphons and Traps. In 10th Int. Conf. on Computing and Information (ICCI '00), X, France, 2000. www
- Performance analysis of an NxN ATM switch with Markov Modulated Poisson Process under Back-pressure mechanism. In 8th Int. Symposium On Modelling, Analysis and Simulation of Computer and telecommunication Systems, pages 416-423, X, France, 2000. www
- A probabilistic analysis of transaction deadlock in multidatabase environnement. In Artificial and Computational Intelligence for Decision and Control ACIDCA'2000, pages 31-37, X, France, 2000. www
1999
Articles de conférence
- De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets. In MOSIM'99, SCS International, pages 125-130, X, France, 1999. www
- Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE. In MOSIM'99, SCS International, pages 131-136, X, France, 1999. www
1998
Livres
Articles de conférence
- On the use of Algebraic Petri Nets for Supervisory Evaluation of Discrete Event Systems. In IEEE-CESA'98 (IMACS Multiconference), Nabeul, Tunisia, pages 465-469, X, France, 1998. www
- Structural Analysis of Workflow Nets with Shared Ressources. In Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), pages 82-95, X, France, 1998. www
- Verification in Concurrent Programming with Petri nets Structural Techniques. In Third IEEE International High-Assurance Systems Engineering Symposium, pages 124-133, X, France, 1998. www
1997
Articles de conférence
- Towards an efficient probabilistic deadlock detection method for multidatabase systems. In 6th Workshop on Future Trends of Distributed Computing Syst. FTDCS'97, pages 84-91, X, France, 1997. www
- Efficient Answer Extraction of Deductive Databases Modelled by HLPN. In Int. Conference on Database and Expert Systems Applications DEXA97, LNCS 1308, pages 324-336, X, France, 1997. www
- Waiting Time Analysis for a Versatile Markovian Arrival Process with Backpressure mechanism. In 5th Intl. Conf. on Computer and Communication Systems, Telecommunication Systems. Nashville, USA, pages 330-358, X, France, 1997. www
- Towards an efficient structural control policy for automated manufacturing systems. In EDA'97, Bangkok, Tailand, pages 751-752, X, France, 1997. www
- The performance of alternative strategies for dealing with deadlocks in FMS. In 6th Int. Conf. on Emerging Technologies and Factory Automation Proceedings (ETFA'97), pages 281-286, X, France, 1997. www
- Supervisory control of discrete event systems based on structure theory of Petri nets. In IEEE Int. Conf. on Systems, Man and Cybernetics, SMC97, pages 3750-3755, X, France, 1997. www
- Analyse comparative de stratégies de controle d'interblocage dans les systémes de production flexibles. In MOSIM'97, X, France, 1997. www
- A query evaluation strategy for deductive databases with presence of negation based on HLPN (High-Level Petri Net). In IEEE Int. Conf. on Systems, Man, and Cybernetics, Orlando, US, pages 2386-2391, X, France, 1997. www
- Petri nets based proofs of Ada 95 solution for preference control. In 4th Asia-Pacific Software Engineering Conference APSEC'97, pages 238-248, IEEE, Hong Kong, China, 1997. www
1996
Articles de revue
- On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency. In International Journal of Computing and Information Sciences, 2: 470-481, 1996. www
Articles de conférence
- Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systems. In Symposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, pages 322-327, X, France, 1996. www
- Formal Specification of Communication Protocols with Object-Based ECATNets. In 22nd EUROMICRO Conference, pages 492-499, X, France, 1996. www
- Structural liveness analysis of S[3]PR nets. In Symp. on discrete events and manufacturing systems. CESA'96 IMACS Multiconference, pages 438-443, X, France, 1996. www
- Analysis of a Resource Allocation Problem in FMS using Structure Theory of Petri Nets. In 1st Int. Workshop on Manufacturing and Petri Nets, Osaka, Japan, pages 115-125, X, France, 1996. www
- On Liveness and Controlled Siphons in Petri Nets. In Application and Theory of Petri Nets, pages 57-72, X, France, LNCS 1091, 1996. www
- Optimizing Query Evaluation in Deductive Databases Using Reductions. In 7th Int. Workshop on Database and Expert Syst. Applications, pages 30-39, X, France, 1996. www
1995
Articles de conférence
- On Liveness in Extended non Self-Controlling Nets. In 16th Int. Conf. on Application and Theory of Petri Nets, ICATPN 95, pages 25-46, X, France, LNCS 935 , 1995. www
- Deadlock avoidance in FMS based on structural theory of Petri nets. In INRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFA95, pages 499-510, X, France, 1995. www
- A Deadlock Prevention Method for a Class of FMS. In IEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMC95, pages 4119-4124, X, France, 1995. www
1994
Articles de conférence
- An Efficient Deadlock Avoidance Control Policy in FMS using Structural Analysis of Petri Nets. In IEEE Int. Conf. on Systems, Man and Cybernetics SMC94, pages 525-530, X, France, 1994. www
- Combining Linear Programming and Graph Analysis for Petri Nets Validation. In 7th SIAM Conference on Discrete Mathematics, X, France, 1994. www
1993
Articles de conférence
- An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. In Application and Theory of Petri Nets, pages 69-88, X, France, LNCS 691 , 1993. doi www
1992
Articles de conférence
- Un Formalisme de Modélisation et dOptimisation des Bases de Données Déductives Basé sur la Théorie des Réseaux de Petri de Haut Niveau. In 2nd Maghrebine Conference on Software Engeneering and Artificial Intelligence, Tunis, pages 99-115, X, France, 1992. www
- A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. In the Int. Conf. on Database and Expert Systems Applications DEXA92, pages 221-225, X, France, 1992. www
- A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. In Application and Theory of Petri Nets, pages 62-75, X, France, LNCS 616 , 1992. www
1990
Articles de revue
- Deadlocks and Traps in Petri nets as Horn-satisfiability Solutions ans some related Polynomially problems. In Discrete Applied Mathematics, 29 (2-3): 195-210, 1990. doi www
1989
Articles de conférence
- An Effective Characterization of Minimal Deadlocks and Traps in Petri nets Based on Graph Theory. In Proceedings of the 10th International Conference on Application and Theory of Petri Nets, pages 1-21, X, France, 1989. www
1988
Articles de conférence
- Reliability Analysis of Non Repairable Systems Using Stochastic Petri Nets. In 18th Conference on Fault Tolerant in Computer Science FTC'88, pages 90-95, IEEE, X, France, 1988. doi www
- Polynomial Time Algorithms for Proving or Disproving Commoners Structural Property. In the 9th Int. Conf. on Application and Theory of Petri Nets ICATPN'88, X, France, 1988. www
1987
Articles de revue
- Composantes Pré-conservatives Minimales dans les Réseaux de Petri : étude structurelle. In RAIRO - Operations Research, 21: 219-240, 1987. www