Hanifa Boucheneb

Equipe SYS
Parti depuis le 01/09/2017
Mail : hanifa.boucheneb

polymtl.ca

http://www.polymtl.ca/recherche/rc/professeurs/details.php?NoProf=250

Publications

2018

Revue Internationale avec comité de lecture

[BB18b] K. Barkaoui, H. Boucheneb. "Introduction to special issue on verification and evaluation of computer systems", Innovations in Systems and Software Engineering - A NASA Journal, vol. 14(2), pp. 81-82, 2018, (doi:10.1007/s11334-018-0310-0)
[BB18] H. Boucheneb, K. Barkaoui. "Delay-dependent partial order reduction technique for real time systems", Real-Time Systems , vol. 54(2), pp. 278-306, 2018, (doi:10.1007/s11241-017-9297-0)

Conférence Internationale avec comité de lecture

[BBL18] K. Barkaoui, H. Boucheneb, . Li. "Exploiting Local Persistency for Reduced State Space Generation", International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, October 2018, Vol. 11181, pp. pp 166-181, Series LNCS, Grenoble, France, (DOI: 10.1007/978-3-030-00359-3_11)
[BB18a] K. Barkaoui, H. Boucheneb. "On Persistency in Time Petri Nets", International Conference on Formal Modeling and Analysis of Timed Systems - FORMATS 2018, August 2018, Vol. Volume 11022, pp.108-124, Series Lecture Notes in Computer Science, Beijing, China,
[OBB18] Y. Ould Yahia, S. Bouzefrane, H. Boucheneb. "Towards privacy and ownership preserving of outsourced health data in IoT-cloud context", 13th International Symposium on Programming and Systems (ISPS2018), April 2018, pp.1-6, AlgÃ©rie,

2017

Chapitres de Livre

[OBB17] Y. Ould Yahia, S. Banerjee, S. Bouzefrane, H. Boucheneb. "Exploring Formal Strategy Framework for the Security in e-Health based IoT Context using Computational Intelligence", Titre du livre: "Internet of Things and Big Data Technologies for Next Generation Healthcare", January 2017, Springer International Publishing, pp. 63-90, (isbn: 978-3-319-49735-8)

2015

Revue Internationale avec comité de lecture

[BB15c] H. Boucheneb, K. Barkaoui. "Stubborn Sets for Time Petri Nets.", ACM Trans. Embedded Comput. Syst., vol. 14(1), pp. 11-25, 2015, (doi:http://dl.acm.org/citation.cfm?doid=2680541)

Conférence Internationale avec comité de lecture

[BB15] H. Boucheneb, K. Barkaoui. "Strongly generalized soundness of Time Workflow Nets", ACSD 2015- 15th International Conference on Application of Concurrency to System Design, October 2015, pp.10-20, Series IEEE Computer Society, Belgique,

2014

Revue Internationale avec comité de lecture

[BBb14] H. Boucheneb, K. Barkaoui. "Partial order reduction for checking soundness of time workflow nets", Information Sciences, vol. 282, pp. 261-276, 2014, (doi:10.1016/j.ins.2014.06.006)
[SBB14] B. S, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri nets: a semantic framework for UML2 activities", International Journal of Critical Computer-Based Systems, vol. 5(No 3/4), pp. 241-267, 2014
[BB14] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014

Conférence Internationale avec comité de lecture

[BBc14] H. Boucheneb, K. Barkaoui. "Delay-Dependent Partial Order Reduction Technique for Time Petri Nets", 12th International Conference, FORMATS 2014 - Lecture Notes in Computer Science , September 2014, Vol. 8711, pp. 53-68, Series Lecture Notes in Computer Science, (DOI: 10.1007/978-3-319-10512-3_5)
[SBBa14] Z. SbaÃ¯, K. Barkaoui, H. Boucheneb. "Compatibility Analysis of Time Open Workflow Nets", International Workshop on Petri Nets and Software Engineering (PNSE 2014), June 2014, Vol. 1160, pp.249-268, Series CEUR Workshop Proceedings, (DOI: ISSN 1613-0073)

2013

Revue Internationale avec comité de lecture

[BB13] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps method", Int. J. of Critical Computer-Based Systems, pp. 67-85, 2013
[HB13] P Heidira, H. Boucheneb. "Controller Synthesis of Time Petri Nets Using Stopwatch", Journal of Engineering, pp. 1-6, 2013
[BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013
[HB13a] P Heidira, H. Boucheneb. "Maximally Permissive Controller Synthesis for Time Petri Nets", International Journal of Control, vol. 86(3), pp. 1-6, 2013
[BBc13] H. Boucheneb, K. Barkaoui. "Reducing interleaving semantics redundancy in reachability analysis of time Petri nets", ACM Transactions in Embedded Computing Systems (TECS) , vol. 12(1), pp. 1-24, 2013

Conférence Internationale avec comité de lecture

[RIB13] A Randolph, A Imine, H. Boucheneb, A Quintero. "Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors", 18th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, September 2013, pp.1-6,
[BLR13] H. Boucheneb, D Lime, O. Roux. "On multi-enabledness in time Petri nets", 34th International Conference on Application and Theory of Petri Nets and other models of concurrency (Petri nets 2013), June 2013, pp.1-6,

2012

Conférence Internationale avec comité de lecture

[OBB12] H Ould-Slimane, M Bnade, H. Boucheneb. "A Collaborative Environment for Knowledge Sharing Governed by ABAC Policies", 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom, October 2012, pp.1-6,
[BB12c] H. Boucheneb, A Bullich. "FIFO Time Petri Nets for conflicts handling", 11th International Workshop on Discrete Event Systems (WODES), October 2012, pp.1-6,
[RBI12] A Randolph, H. Boucheneb, A Imine, A Quintero. "On Synthesizing a Consistent Operational Transformation Approach", 4th International Workshop on Verification of Infinite-State Systems (INFINITY), August 2012, pp.1-6,
[BBb12] H. Boucheneb, K. Barkaoui. "Parametric Verification of Time Workflow Nets", 24th International Conference on Software Engineering (SEKE), July 2012, pp.375-380,
[BBR12] A Bullich, H. Boucheneb, O. Roux. "Refinement of time Petri nets semantics in conflict situations", 9th International Conference on Cybernetics and Information Technologies, Systems and Applications: CITSA 2012, July 2012, pp.1-6, USA,
[BBc12] H. Boucheneb, K. Barkaoui. "Reachability Analysis of P-time Petri Nets with Parametric Marking", 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, June 2012, pp.72-81,

Chapitres de Livre

[HB12a] P Heidira, H. Boucheneb. "A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets", Titre du livre: "Petri Nets - Manufacturing and Computer Science", August 2012, InTech, pp. 60-70, (isbn: 978-953-51-0700-2)

2011

Revue Internationale avec comité de lecture

[BB11] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Vectors for Constructing Time Petri Net Reachability Graphs", Discrete Event Dynamic Systems: Theory and Applications, vol. 21(2 - 2011), pp. 171-204 , 2011

2010

Conférence Internationale avec comité de lecture

[BBa10] H. Boucheneb, K. Barkaoui. "On interleaving in {P,A}-Time Petri nets with strong semantics", INFINITY'10, 12th International Workshop on Verification of Infinite-State Systems, Singapore, 21st of September 2010, January 2010, Vol. 39, pp.17-31, Series EPTCS,

2009

Conférence Internationale avec comité de lecture

[BBHa09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets", WS-FM'08, 5th International Workshop on Web Services and Formal Methods, Milan, Italy, January 2009, Vol. 5387, pp.19-36, Series LNCS,
[BBH09] K. Barkaoui, H. Boucheneb, A. Hicheur. "Design and Verification of Time-Constrained Workflow with Multi-Level Security", DCDS'09, 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, January 2009, pp.25-32,
[BB09] H. Boucheneb, K. Barkaoui. "On combining the ready sets with the covering steps methods", VECoS'09, 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, Rabat, Morroco, January 2009, pp.74-84, Series eWiC Series,
[BBa09] H. Boucheneb, K. Barkaoui. "Covering Steps Graphs of Time Petri Nets", INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, January 2009, pp.155-165, Series ENTCS,

2008

Conférence Internationale avec comité de lecture

[BBBa08] K. Barkaoui, R. Ben Ayed, H. Boucheneb, A. Hicheur. "Verification of Workflow processes under multilevel security considerations", CRiSIS'08, 3rd IEEE Int. Conf. on Risks and Security of Internet and Systems, Tozeur, Tunisia, January 2008, pp.77-84, Series IEEE-4,
[BB08] H. Boucheneb, K. Barkaoui. "Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs", FORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, January 2008, Vol. 5215, pp.265-279, Series LNCS ,

Publications hors Cedric

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Boucheneb:Hanifa.html