Polytechnique > Research > Directory > A professor or researcher

Directory of Expertises

Photo of Hanifa Boucheneb

Hanifa Boucheneb

Department of Computer Engineering


The bibliographic data is imported from Polytechnique Montréal's Directory of Publications. The bibliography below includes a majority of publications written by a professor/researcher affiliated with Polytechnique, since 1994 (if applicable). Publications before the professor's/researcher's affiliation with Polytechnique or before 1994 may also be included in this list. You may also consult the Directory of Scientific & Technical Publications for more information about the document type coverage.

1 Y. Ould-Yahia, S. Banerjee, S. Bouzefrane, H. Boucheneb (2017). Exploring Formal Strategy Framework for the Security in IoT towards e-Health Context using Computational IntelligenceInternet of Things and Big Data Technologies for Next Generation Healthcare. p. 63-90. DOI : 10.1007/978-3-319-49736-5_4 
2 M. Yassin, H. Ould-Slimane, C. Talhi, H. Boucheneb (2017). SQLIIDaaS: A SQL injection intrusion detection framework as a service for SAAS providers4th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud 2017), p. 163-170. DOI : 10.1109/CSCloud.2017.27 
3 A. Randolph, H. Boucheneb, A. Imine, A. Quintero (2015). On synthesizing a consistent operational transformation approachIEEE Transactions on Computers, 64(4), p. 1074-1089. DOI : 10.1109/TC.2014.2308203 
4 H. Boucheneb, K. Barkaoui (2015). Stubborn sets for time petri netsACM Transactions on Embedded Computing Systems, 14(1). DOI : 10.1145/2680541 
5 P. Heidari, H. Boucheneb, A. Shami (2015). A Formal Approach for QoS Assurance in the Cloud7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015), p. 629-634. DOI : 10.1109/CloudCom.2015.36 
6 L.G. Iugan, H. Boucheneb, G. Nicolescu (2015). A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation toolsDesign Automation for Embedded Systems, 19(3), p. 243-275. DOI : 10.1007/s10617-014-9156-3 
7 H. Boucheneb, K. Barkaoui (2015). Strongly generalized soundness of Time Workflow Nets15th International Conference on Application of Concurrency to System Design (ACSD 2015), p. 130-139. DOI : 10.1109/acsd.2015.22 
8 Z. Sba, K. Barkaoui, H. Boucheneb (2014). Compatibility analysis of time open workflow nets. International Workshop on Petri Nets and Software Engineering (PNSE 2014), v. 1160, p. 249-268.
9 A. Randolph, A. Imine, H. Boucheneb, A. Quintero (2014). Specification and analysis of a protocol Optimistic access control for publishers collaborative distributedIngénierie des systèmes d'information, 19(6), p. 9-32. DOI : 10.3166/ISI.19.6.9-32 
10 F. Giraldeau, M.R. Dagenais, H. Boucheneb (2014). Teaching operating systems concepts with execution visualization. 121st ASEE Annual Conference and Exposition.
11 M.-R. Gholami, H. Boucheneb (2014). Applying formal methods into safety-critical health applications4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), v. 8822 LNCS, p. 195-208. DOI : 10.1007/978-3-319-12214-4_15 
12 S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb (2014). Transactional Petri nets: a semantic framework for UML2 activitiesInternational Journal of Critical Computer-Based Systems, 5(3/4), p. 241-267. DOI : 10.1504/IJCCBS.2014.064663 
13 H. Boucheneb, K. Barkaoui, K. Weslati (2014). Delay-dependent partial order reduction technique for time petri nets12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), p. 53-68. DOI : 10.1007/978-3-319-10512-3_5 
14 H. Boucheneb, K. Barkaoui (2014). Partial order reduction for checking soundness of time workflow netsInformation Sciences, 282, p. 261-276. DOI : 10.1016/j.ins.2014.06.006 
15 H. Boucheneb, K. Barkaoui (2014). On combining the ready sets with the covering steps methodsInternational Journal of Critical Computer-Based Systems, 5(1-2), p. 55-77. DOI : 10.1504/IJCCBS.2014.059591 
16 A. Randolph, A. Imine, H. Boucheneb, A. Quintero (2013). Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), v. 8187 LNCS, p. 184-98.
17 A. Randolph, H. Boucheneb, A. Imine, A. Quintero (2013). On consistency of operational transformation approach. Electronic Proceedings in Theoretical Computer Science (EPTCS), 107, p. 45-59.
18 P. Heidari, H. Boucheneb (2013). Maximally permissive controller synthesis for time Petri nets. International Journal of Control, 86(3), p. 493-511.
19 P. Heidari, H. Boucheneb (2013). Controller Synthesis of Time Petri Nets Using Stopwatch. Journal of Engineering, 970487 (13 pages).
20 H. Boucheneb, D. Lime, O.H. Roux (2013). On multi-enabledness in time Petri nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013), v. 7927 LNCS, p. 130-149.
21 H. Boucheneb, K. Barkaoui (2013). Reducing interleaving semantics redundancy in reachability analysis of time petri nets. Transactions on Embedded Computing Systems, 12(1).
22 H. Ould-slimane, M. Bande, H. Boucheneb (2012). A collaborative environment for knowledge sharing governed by ABAC policies. 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2012), p. 21-29.
23 P. Heidira, H. Boucheneb (2012). A forward on-the-fly approach in controller synthesis of time petri nets. Petri Nets - Manufacturing and Computer Science. InTech. 
24 S. Chamberland, L. Cobo, A. Quintero (2012). A wireless sensor network deployment model with target localization constraints. 15th International Telecommunications Network Strategy and Planning Symposium (NETWORKS 2012), p. 1-4.
25 A. Bullich, H. Boucheneb, O.H. Roux (2012). Refinement of time petri nets semantics in conflict situations. 9th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2012).
26 H. Boucheneb, A. Bullich, O.H. Roux (2012). FIFO time Petri nets for conflicts handling. 11th IFAC International Workshop on Discrete Event Systems (WODES 2012), v. 11-1, p. 143-148.
27 H. Boucheneb, K. Barkaoui (2012). Reachability analysis of P-time petri nets with parametric markings12th International Conference on Application of Concurrency to System Design (ACSD 2012), p. 72-81. DOI : 10.1109/ACSD.2012.23 
28 H. Boucheneb, K. Barkaoui (2012). Parametric verification of time workflow nets. 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), p. 375-380.
29 R. Hadjidj, H. Boucheneb (2011). Efficient reachability analysis for time petri netsIEEE Transactions on Computers, 60(8), p. 1085-1099. DOI : 10.1109/TC.2010.195 
30 H. Boucheneb, K. Barkaoui (2011). Relevant timed schedules/clock vectors for constructing time petri net reachability graphs. Discrete Event Dynamic Systems: Theory and Applications, 21(2), p. 171-204.
31 P. Heidari, H. Boucheneb (2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. 10th International Conference on Application of Concurrency to System Design (ACSD 2010), p. 201-210.
32 H. Boucheneb, A. Imine, M. Najem (2010). Symbolic Model-Checking of Optimistic Replication Algorithms. 8th International Conference on Integrated Formal Methods (IFM 2010), p. 89-104.
33 H. Boucheneb, K. Barkaoui (2010). On interleaving in {P,A}-Time Petri nets with strong semantics. 12th International Workshop on Verification of Infinite-State Systems, p. 17-31.
34 H. Rakkay, H. Boucheneb, O.H. Roux (2009). Time arc Petri nets and their analysis. 9th International Conference on Application of Concurrency to System Design, p. 138-147.
35 H. Rakkay, H. Boucheneb (2009). Security analysis of role based access control models using colored petri nets and CPNtools. Transactions on Computational Science IV: Special Issue on Security in Computing. Berlin: p. 149-176.
36 R. Hadjidj, H. Boucheneb (2009). On-the-fly T C T L model checking for time Petri nets. Theoretical Computer Science, 410(42), p. 4241-4261.
37 H. Boucheneb, A. Imine (2009). On model-checking optimistic replication algorithms. Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009), p. 73-89.
38 H. Boucheneb, G. Gardey, O.H. Roux (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), p. 1509-1540.
39 H. Boucheneb, K. Barkaoui (2009). On combining the ready sets and the covering steps methods. 3rd International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2009).
40 H. Boucheneb, K. Barkaoui (2009). Covering Steps Graphs of Time Petri Nets. Electronic Notes in Theoretical Computer Science, 239, p. 155-165.
41 K. Barkaoui, H. Boucheneb, A. Hicheur (2009). Modelling and analysis of time-constrained flexible workflows with time recursive ECATNets. 5th International Workshop Web Services and Formal Methods, p. 19-36.
42 R. Hadjidj, H. Boucheneb (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer, 10(2), p. 167-184.
43 R. Hadjdj, H. Boucheneb (2008). Model checking of time Petri nets. Petri Net: Theory and application. Vienna, Austria: I-Tech Publishing. 
44 L. Gheorghe, F. Bouchhima, G. Nicolescu, H. Boucheneb (2008). Semantics for model-based validation of continuous/discrete systems. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), p. 498-503.
45 H. Boucheneb, H. Rakkay (2008). A more efficient time petri net state space abstraction useful to model checking timed linear properties. Fundamenta Informaticae, 88(4), p. 469-495.
46 H. Boucheneb, K. Barkaoui, A. Hicheur (2008). Modeling and analyzing time-constrained flexible workflows with time recursive Petri nets. 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), v. 5387 LNCS, p. 19-36.
47 H. Boucheneb, K. Barkaoui (2008). Covering steps graphs of time Petri nets. 10th International Workshop on Verification of Infinite-State Systems (INFINITY 2008).
48 H. Boucheneb, K. Barkaoui (2008). Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), v. 5215 LNCS, p. 265-279.
49 H. Boucheneb (2008). Interval Timed Coloured Petri Net: Efficient Construction of Its State Class Space Preserving Linear Properties. Formal Aspects of Computing, 20(2), p. 225-238.
50 K. Barkaoui, R. Ben Ayed, H. Boucheneb, A. Hicheur (2008). Verification of workflow processes under multilevel security considerations. 3rd International Conference on Risks and Security of Internet and Systems (CRiSIS 2008), p. 77-84.
51 H. Rakkay, H. Boucheneb, O.H. Roux (2007). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte. 6e Colloque francophone sur la modélisation des systèmes réactifs.
52 H. Rakkay, H. Boucheneb (2007). Using times colored Petri net to formalize temporal role bases access control policies. 7e Conférence internationale sur les nouvelles technologies de la répartition (NOTERE 2007).
53 A. Ouardani, S. Pierre, H. Boucheneb (2007). A Security Protocol for Mobile Agents Based Upon the Cooperation of Sedentary Agents. Journal of Network and Computer Applications, 30(3), p. 1228-1243.
54 R. Hadjidj, H. Boucheneb (2007). Zenoness detection and times model checking for real time systems. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007).
55 A. El Rhazi, S. Pierre, H. Boucheneb (2007). A secure protocol based on a sedentary agent for mobile agent environments. Journal of Computer Science, 3(1), p. 35-42.
56 H. Boucheneb, H. Rakkay (2007). A more efficient time Petri net state space abstraction preserving linear properties. 7th Conference of Application of Concurrency to System Design.
57 H. Boucheneb, R. Hadjidj (2007). Model checking of time Petri nets. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007).
58 H. Rakkay, H. Boucheneb (2006). Timed secure colored petri net based analysis of information flow. Annales des télécommunications, 61(11-12), p. 1314-1346.
59 R. Hadjidj, H. Boucheneb (2006). On-the-fly TCTL model checking for time Petri nets using state class graphs. 6th International Conference on Application of Concurrency to System Design, p. 10.
60 L. Gheorghe, F. Bouchhima, G. Nicolescu, H. Boucheneb (2006). Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool. 17th IEEE International Workshop on Rapid System Prototyping, p. 186-192.
61 H. Boucheneb, R. Hadjidj (2006). Using inclusion abstraction to construct atomic state class graphs for time Petri nets. International Journal of Embedded Systems, 2(1-2), p. 128-139.
62 H. Boucheneb, R. Hadjidj (2006). CTL model checking of Time Petri Nets. Journal of Theorectical Computer Science, 353(1-3), p. 208-227.
63 H. Boucheneb (2006). Checking untimed and timed linear properties of the Interval Timed Colored Petri Net Model. Revista Computacion y Sistemas, 10(2), p. 107-134.
64 H. Rakkay, H. Boucheneb (2005). Timed secure colored petri net. Conférence sur les nouvelles technologies de la répartition (NOTERE 2005).
65 A. Ouardani, S. Pierre, H. Boucheneb (2005). A Secure Protocol for Mobile Agents in Hostile Environment. 2nd International Workshop Mobility Aware Technologies and Applications (MATA 2005), v. 3744 LNCS, p. 192-202.
66 R. Hadjidj, H. Boucheneb (2005). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), p. 224-233.
67 H. Boucheneb, R. Hadjidj (2004). Towards optimal CTL model checking of time petri nets. IFAC Workshop on discrete Event Systems.
68 A. El Rhazi, S. Pierre, H. Boucheneb (2003). Secure Protocol in Mobile Agent Environment. Canadian Conference on Electrical and Computer Engineering (CCECE 2003), p. 777-780.
69 H. Boucheneb, J. Mullins (2003). Analyse des reseaux temporels : Calcul des classes en O(n2) et des temps de chemin en O(mxn). Technique et science informatiques, 22(4), p. 435-459.
70 H. Boucheneb, G. Berthelot (2002). Contraction of the ITCPN state space. Electronic Notes in Theoretical Computer Science, 65(6).


© École Polytechnique de Montréal
Find Peoble or units | Site plan | Key word search | Conditions(*) this link leads to a section in french.