 | Up a level |
Collaboration networkThis graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
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). External link
Boucheneb, H., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. External link
Barkaoui, K., Boucheneb, H., & Li, Z. (2018, September). Exploiting Local Persistency for Reduced State Space Generation [Paper]. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France. External link
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. External link
Barkaoui, K., & Boucheneb, H. (2018, September). On Persistency in Time Petri Nets [Paper]. 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Beijing, China. External link
Barkaoui, K., Boucheneb, H., Mili, A., & Tahar, S. (2017, August). Verification and evaluation of computer and communication systems [Paper]. 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2017), Montréal, Québec. External link
Boucheneb, H., & Barkaoui, K. (2015). Stubborn sets for time petri nets. ACM Transactions on Embedded Computing Systems, 14(1), 1-25. External link
Boucheneb, H., Barkaoui, K., & Weslati, K. (2014, September). Delay-dependent partial order reduction technique for time petri nets [Paper]. 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), Florence, Italy. External link
Boucheneb, H., & Barkaoui, K. (2014). Partial order reduction for checking soundness of time workflow nets. Information Sciences, 282, 261-276. External link
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. External link
Boucheneb, H., & Barkaoui, K. (2012, July). Parametric verification of time workflow nets [Paper]. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood City, CA, USA. Unavailable
Boucheneb, H., & Barkaoui, K. (2012, June). Reachability analysis of P-time petri nets with parametric markings [Paper]. 12th International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany. External link
Boufenara, S., Barkaoui, K., Belala, F., & Boucheneb, H. (2011, September). On formalizing UML2 activities using TPNets: case studies [Paper]. 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011), Tunis, Tunisia (12 pages). Available
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. External link
Boucheneb, H., & Barkaoui, K. (2008, August). Covering Steps Graphs of Time Petri Nets [Paper]. 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008), Toronto, Canada. Published in Electronic Notes in Theoretical Computer Science, 239. External link
Barkaoui, K., Ben Ayed, R., Boucheneb, H., & Hicheur, A. (2008, October). Verification of workflow processes under multilevel security considerations [Paper]. 3rd International Conference on Risks and Security of Internet and Systems (CRiSIS 2008). External link
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. Available
Hicheur, A., Barkaoui, K., & Boucheneb, H. (2009, June). Design and Verification of Time-Constrained Workflows With Multi-Level Security [Paper]. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy. Published in IFAC Proceedings Volumes, 42(5). External link
Sba, Z., Barkaoui, K., & Boucheneb, H. (2014, June). Compatibility analysis of time open workflow nets [Paper]. International Workshop on Petri Nets and Software Engineering (PNSE 2014), Tunis, Tunisia. External link
