Documents dont l'auteur est "Barkaoui, Kamel"

Réseau de collaboration

Veuillez patienter

Aide

Ce graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.

Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.

Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.

Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.

Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.

B

Boucheneb, H., Barkaoui, K., Xing, Q., Wang, K.Z., Liu, G.Y., & Li, Z.W. (2022). Time based deadlock prevention for Petri nets. Automatica, 137, 110119 (11 pages). Lien externe

Boucheneb, H., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. Lien externe

Barkaoui, K., Boucheneb, H., & Li, Z. (septembre 2018). Exploiting Local Persistency for Reduced State Space Generation [Communication écrite]. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France. Lien externe

Barkaoui, K., & Boucheneb, H. (2018). Introduction to special issue on verification and evaluation of computer systems. Innovations in Systems and Software Engineering, 14(2), 81-82. Lien externe

Barkaoui, K., & Boucheneb, H. (septembre 2018). On Persistency in Time Petri Nets [Communication écrite]. 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Beijing, China. Lien externe

Barkaoui, K., Boucheneb, H., Mili, A., & Tahar, S. (août 2017). Verification and evaluation of computer and communication systems [Communication écrite]. 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2017), Montréal, Québec. Lien externe

Boucheneb, H., & Barkaoui, K. (2015). Stubborn sets for time petri nets. ACM Transactions on Embedded Computing Systems, 14(1), 1-25. Lien externe

Boucheneb, H., Barkaoui, K., & Weslati, K. (septembre 2014). Delay-dependent partial order reduction technique for time petri nets [Communication écrite]. 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), Florence, Italy. Lien externe

Boucheneb, H., & Barkaoui, K. (2014). Partial order reduction for checking soundness of time workflow nets. Information Sciences, 282, 261-276. Lien externe

Boucheneb, H., & Barkaoui, K. (2013). Reducing interleaving semantics redundancy in reachability analysis of time petri nets. Transactions on Embedded Computing Systems, 12(1), 1-24. Lien externe

Boucheneb, H., & Barkaoui, K. (juillet 2012). Parametric verification of time workflow nets [Communication écrite]. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood City, CA, USA. Non disponible

Boucheneb, H., & Barkaoui, K. (juin 2012). Reachability analysis of P-time petri nets with parametric markings [Communication écrite]. 12th International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany. Lien externe

Boufenara, S., Barkaoui, K., Belala, F., & Boucheneb, H. (septembre 2011). On formalizing UML2 activities using TPNets: case studies [Communication écrite]. 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia (12 pages). Disponible

Boucheneb, H., & Barkaoui, K. (2011). Relevant timed schedules/clock vectors for constructing time petri net reachability graphs. Discrete Event Dynamic Systems: Theory and Applications, 21(2), 171-204. Lien externe

Boucheneb, H., & Barkaoui, K. (août 2008). Covering Steps Graphs of Time Petri Nets [Communication écrite]. 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008), Toronto, Canada. Publié dans Electronic Notes in Theoretical Computer Science, 239. Lien externe

Barkaoui, K., Ben Ayed, R., Boucheneb, H., & Hicheur, A. (octobre 2008). Verification of workflow processes under multilevel security considerations [Communication écrite]. 3rd International Conference on Risks and Security of Internet and Systems (CRiSIS 2008). Lien externe

D

Dou, H., Barkaoui, K., Boucheneb, H., Jiang, X., & Wang, S. (2019). Maximal good step graph methods for reducing the generation of the state space. IEEE Access, 7, 155805-155817. Disponible

H

Hicheur, A., Barkaoui, K., & Boucheneb, H. (juin 2009). Design and Verification of Time-Constrained Workflows With Multi-Level Security [Communication écrite]. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy. Publié dans IFAC Proceedings Volumes, 42(5). Lien externe

S

Sba, Z., Barkaoui, K., & Boucheneb, H. (juin 2014). Compatibility analysis of time open workflow nets [Communication écrite]. International Workshop on Petri Nets and Software Engineering (PNSE 2014), Tunis, Tunisia. Lien externe