 | 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.
Word cloudA word cloud is a visual representation of the most frequently used words in a text or a set of texts. The words appear in different sizes, with the size of each word being proportional to its frequency of occurrence in the text. The more frequently a word is used, the larger it appears in the word cloud. This technique allows for a quick visualization of the most important themes and concepts in a text.
In the context of this page, the word cloud was generated from the publications of the author {}. The words in this cloud come from the titles, abstracts, and keywords of the author's articles and research papers. By analyzing this word cloud, you can get an overview of the most recurring and significant topics and research areas in the author's work.
The word cloud is a useful tool for identifying trends and main themes in a corpus of texts, thus facilitating the understanding and analysis of content in a visual and intuitive way.
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
Barkaoui, K., Boucheneb, H., & Li, Z. (2020). Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 16(2), 181-197. 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. (eds.) (2017). Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings. External link
Boucheneb, H., & Barkaoui, K. (2015, June). Strongly generalized soundness of Time Workflow Nets [Paper]. 15th International Conference on Application of Concurrency to System Design (ACSD 2015), Brussels, Belgium. 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. (2010, September). On interleaving in {P,A}-Time Petri nets with strong semantics [Paper]. 12th International Workshop on Verification of Infinite-State Systems, Singapore. 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
Boucheneb, H., Barkaoui, K., & Hicheur, A. (2008, September). Modeling and analyzing time-constrained flexible workflows with time recursive ECATNets [Paper]. 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), Milan, Italia. External link
Boucheneb, H., & Barkaoui, K. (2008, September). Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs [Paper]. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), St-Malo, FR. 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
Kuangze, W., Boucheneb, H., Barkaoui, K., & Zhiwu, L. (2020, October). Towards Efficient Partial Order Techniques for Time Petri Nets [Paper]. 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi'an, China. 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
