 | Monter d'un niveau |
Hanifa BouchenebDépartement de génie informatique et génie logiciel
Voir sa fiche dans le Répertoire des Expertises de Polytechnique Montréal
Réseau de collaborationCe 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.
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
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. Lien externe
Boumlik, L., Mejri, M., & Boucheneb, H. (2020). Toward a Formalization of BPEL 2.0 : An Algebra Approach. International Journal on Web Service Computing, 11(1), 1-20. 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
Boucheneb, H., Lime, D., Roux, O. H., & Seidner, C. (juin 2018). Optimal-cost reachability analysis based on time petri nets [Communication écrite]. 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovakia. Lien externe
Boucheneb, H., Lime, D., Parquier, B., Roux, O. H., & Seidner, C. (septembre 2017). Optimal reachability in cost time Petri nets [Communication écrite]. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany. 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. (juin 2015). Strongly generalized soundness of Time Workflow Nets [Communication écrite]. 15th International Conference on Application of Concurrency to System Design (ACSD 2015), Brussels, Belgium. 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). On combining the ready sets with the covering steps methods. International Journal of Critical Computer-Based Systems, 5(1-2), 55-77. Lien externe
Boucheneb, H., & Barkaoui, K. (2014). Partial order reduction for checking soundness of time workflow nets. Information Sciences, 282, 261-276. Lien externe
Boufenara, S., Barkaoui, K., Belala, F., & Boucheneb, H. (2014). Transactional Petri nets: a semantic framework for UML2 activities. International Journal of Critical Computer-Based Systems, 5(3/4), 241-267. Lien externe
Boucheneb, H., Lime, D., & Roux, O. H. (juin 2013). On multi-enabledness in time Petri nets [Communication écrite]. 34th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013), Milan, Italy. 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., Bullich, A., & Roux, O. H. (octobre 2012). FIFO time Petri nets for conflicts handling [Communication écrite]. 11th IFAC International Workshop on Discrete Event Systems (WODES 2012), Guadalajara, Mexico. 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
Bullich, A., Boucheneb, H., & Roux, O. H. (juillet 2012). Refinement of time petri nets semantics in conflict situations [Communication écrite]. 9th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2012), Orlando, Florida, USA. 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. (septembre 2010). On interleaving in {P,A}-Time Petri nets with strong semantics [Communication écrite]. 12th International Workshop on Verification of Infinite-State Systems, Singapore. Lien externe
Boucheneb, H., Imine, A., & Najem, M. (octobre 2010). Symbolic Model-Checking of Optimistic Replication Algorithms [Communication écrite]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. 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
Boucheneb, H., & Barkaoui, K. (juillet 2009). On combining the ready sets and the covering steps methods [Communication écrite]. 3rd International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2009). Non disponible
Boucheneb, H., & Imine, A. (juin 2009). On model-checking optimistic replication algorithms [Communication écrite]. Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009), Lisboa, Portugal. Lien externe
Boucheneb, H., Gardey, G., & Roux, O. H. (2009). TCTL model checking of time petri nets. Journal of Logic and Computation, 19(6), 1509-1540. Lien externe
Boucheneb, H. (2008). Interval Timed Coloured Petri Net: Efficient Construction of Its State Class Space Preserving Linear Properties. Formal Aspects of Computing, 20(2), 225-238. Lien externe
Boucheneb, H., Barkaoui, K., & Hicheur, A. (septembre 2008). Modeling and analyzing time-constrained flexible workflows with time recursive ECATNets [Communication écrite]. 5th International Workshop on Web Services and Formal Methods (WS-FM 2008), Milan, Italia. Lien externe
Boucheneb, H., & Rakkay, H. (2008). A more efficient time petri net state space abstraction useful to model checking timed linear properties. Fundamenta Informaticae, 88(4), 469-495. Lien externe
Boucheneb, H., & Barkaoui, K. (septembre 2008). Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs [Communication écrite]. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), St-Malo, FR. 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
Boucheneb, H., & Hadjidj, R. (mai 2007). Model checking of time Petri nets [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. Lien externe
Boucheneb, H., & Rakkay, H. (juillet 2007). A more efficient time Petri net state space abstraction preserving linear properties [Communication écrite]. 7th Conference of Application of Concurrency to System Design, Bratislava, Slovak Republic. Lien externe
Boucheneb, H. (2006). Checking untimed and timed linear properties of the Interval Timed Colored Petri Net Model. [Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo]. Revista Computacion y Sistemas, 10(2), 107-134. Lien externe
Boucheneb, H., & Hadjidj, R. (2006). CTL model checking of Time Petri Nets. Journal of Theorectical Computer Science, 353(1-3), 208-227. Lien externe
Boucheneb, H., & Hadjidj, R. (2006). Using inclusion abstraction to construct atomic state class graphs for time Petri nets. International Journal of Embedded Systems, 2(1-2), 128-139. Lien externe
Boucheneb, H., & Berthelot, G. (avril 2002). Contraction of the ITCPN state space [Communication écrite]. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France. Publié dans Electronic Notes in Theoretical Computer Science, 65(6). Disponible
Boucheneb, H., & Hadjidj, R. (septembre 2004). Towards optimal CTL model checking of time petri nets [Communication écrite]. IFAC Workshop on discrete Event Systems, Reims, France. Lien externe
Boucheneb, H., & Mullins, J. (2003). Analyse des reseaux temporels : Calcul des classes en O(n²) et des temps de chemin en O(m×n). Technique et Science Informatiques, 22(4), 435-459. Lien externe
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
El Fatimi, L., & Boucheneb, H. (2023). Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC). Neural Computing and Applications, 35(13), 9739-9751. Lien externe
El Rhazi, A., Pierre, S., & Boucheneb, H. (mai 2003). Secure Protocol in Mobile Agent Environment [Communication écrite]. Canadian Conference on Electrical and Computer Engineering (CCECE 2003), Montreal, QC, Canada. Lien externe
Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). Lien externe
Gholami, M.-R., & Boucheneb, H. (octobre 2014). Applying formal methods into safety-critical health applications [Communication écrite]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. Lien externe
Giraldeau, F., Dagenais, M., & Boucheneb, H. (juin 2014). Teaching operating systems concepts with execution visualization [Communication écrite]. 121st ASEE Annual Conference and Exposition, Indianapolis, Ind., USA. Lien externe
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (mars 2008). Semantics for model-based validation of continuous/discrete systems [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2008), Munich, Germany. Lien externe
Gheorghe, L., Bouchhima, F., Nicolescu, G., & Boucheneb, H. (juin 2006). Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool [Communication écrite]. 17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, Greece. Lien externe
Hetier, G., & Boucheneb, H. (juillet 2018). On handling source code positions and local variables in LTL software model checking [Communication écrite]. 13th International Conference on Software Technologies (ICSOFT 2018), Porto, Portugal. Lien externe
Hawedi, M., Talhi, C., & Boucheneb, H. (2018). Multi-tenant intrusion detection system for public cloud (MTIDS). Journal of Supercomputing, 74(10), 5199-5230. Lien externe
Hawedi, M., Talhi, C., & Boucheneb, H. (mai 2018). Security as a service for public cloud tenants (SaaS) [Communication écrite]. 8th International Symposium on Frontiers in Ambient and Mobile Systems (FAMS 2018), Porto, Portugal. Publié dans Procedia Computer Science, 130. Disponible
Heidari, P., Boucheneb, H., & Shami, A. (novembre 2015). A Formal Approach for QoS Assurance in the Cloud [Communication écrite]. 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015), Vancouver, British Colombia. Lien externe
Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 970487 (13 pages). Disponible
Heidari, P., & Boucheneb, H. (2013). Maximally permissive controller synthesis for time Petri nets. International Journal of Control, 86(3), 493-511. Lien externe
Heidira, P., & Boucheneb, H. (2012). A forward on-the-fly approach in controller synthesis of time petri nets. Dans Petri Nets - Manufacturing and Computer Science . Lien externe
Hadjidj, R., & Boucheneb, H. (2011). Efficient reachability analysis for time petri nets. IEEE Transactions on Computers, 60(8), 1085-1099. Lien externe
Heidari, P., & Boucheneb, H. (juin 2010). Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets [Communication écrite]. 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal. Lien externe
Hadjidj, R., & Boucheneb, H. (2009). On-the-fly T C T L model checking for time Petri nets. Theoretical Computer Science, 410(42), 4241-4261. Lien externe
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
Hadjidj, R., & Boucheneb, H. (2008). Improving state class constructions for CTL* model checking of time Petri nets. International Journal on Software Tools for Technology Transfer, 10(2), 167-184. Lien externe
Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . Lien externe
Hadjidj, R., & Boucheneb, H. (mai 2007). Zenoness detection and times model checking for real time systems [Communication écrite]. 1st International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2007), Algiers, Algeria. Lien externe
Hadjidj, R., & Boucheneb, H. (juin 2006). On-the-fly TCTL model checking for time Petri nets using state class graphs [Communication écrite]. 6th International Conference on Application of Concurrency to System Design, Turku, Finland. Lien externe
Hadjidj, R., & Boucheneb, H. (juin 2005). Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties [Communication écrite]. 5th International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, France. Lien externe
Iugan, L. G., Boucheneb, H., & Nicolescu, G. (2015). A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools. Design Automation for Embedded Systems, 19(3), 243-275. Lien externe
Kuangze, W., Boucheneb, H., Barkaoui, K., & Zhiwu, L. (octobre 2020). Towards Efficient Partial Order Techniques for Time Petri Nets [Communication écrite]. 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi'an, China. Lien externe
Lugan, L. G., Nicolescu, G., & Boucheneb, H. (juillet 2016). Rollback-based simulation for the design of continuous/discrete simulation tools [Communication écrite]. 48th Summer Computer Simulation Conference (SCSC 2016), Montréal, Québec. Lien externe
Moreno-Jimenez, L.-G., Torres-Moreno, J.-M., Boucheneb, H., & Wedemann, R. S. (novembre 2020). FLE : A fuzzy logic algorithm for classification of emotions in literary corpora [Communication écrite]. 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020). Lien externe
Moussa, M., Ould-Slimane, H., Boucheneb, H., & Chamberland, S. (juin 2014). A formal framework for verifying inter-firewalls consistency [Communication écrite]. IEEE Symposium on Computers and Communications (ISCC 2014), Funchal, Portugal (7 pages). Lien externe
Ould-Yahia, Y., Yacoub, M., Bouzefrane, S., & Boucheneb, H. (2024). Self-organised map and trust-aware-based quality of service prediction for reliable services selection in distributed computing environment. International Journal of Advanced Intelligence Paradigms, 28(1-2), 169-192. Lien externe
Ould-Yahia, Y., Bouzefrane, S., Boucheneb, H., & Banerjee, S. (2022). A data-owner centric privacy model with blockchain and adapted attribute-based encryption for internet-of-things and cloud environment. International Journal of Information and Computer Security, 17(3-4), 261-84. Lien externe
Ould-Yahia, Y., Bouzefrane, S., & Boucheneb, H. (avril 2018). Towards privacy and ownership preserving of outsourced health data in IoT-cloud context [Communication écrite]. International Symposium on Programming and Systems (ISPS 2018), Algiers, Algeria (6 pages). Lien externe
Ould-Yahia, Y., Banerjee, S., Bouzefrane, S., & Boucheneb, H. (2017). Exploring formal strategy framework for the security in iot towards e-health context using computational intelligence. Dans Internet of Things and Big Data Technologies for Next Generation Healthcare (Vol. 23, p. 63-90). Lien externe
Ould-Slimane, H., Bande, M., & Boucheneb, H. (octobre 2012). A collaborative environment for knowledge sharing governed by ABAC policies [Communication écrite]. 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2012), Pittsburgh, PA, USA. Lien externe
Ouardani, A., Pierre, S., & Boucheneb, H. (2007). A Security Protocol for Mobile Agents Based Upon the Cooperation of Sedentary Agents. Journal of Network and Computer Applications, 30(3), 1228-1243. Lien externe
Ouardani, A., Pierre, S., & Boucheneb, H. (octobre 2005). A Secure Protocol for Mobile Agents in Hostile Environment [Communication écrite]. 2nd International Workshop Mobility Aware Technologies and Applications (MATA 2005), Montréal, Québec. Lien externe
Parrot, R., Boucheneb, H., Briday, M., & Roux, O. H. (septembre 2022). Expressiveness and analysis of Delayable Timed Petri Net [Communication écrite]. 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic. Publié dans IFAC PapersOnLine, 55(28). Lien externe
Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (2015). On synthesizing a consistent operational transformation approach. IEEE Transactions on Computers, 64(4), 1074-1089. Lien externe
Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (2014). Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis. Ingénierie des systèmes d'information, 19(6), 9-32. Lien externe
Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (août 2012). On consistency of operational transformation approach [Communication écrite]. 14th International Workshop on Verification of Infinite-State Systems (INFINITY 2012), Paris, France. Publié dans Electronic Proceedings in Theoretical Computer Science (EPTCS), 107. Lien externe
Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (septembre 2013). Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors [Communication écrite]. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), Madrid, Spain. Lien externe
Rakkay, H., & Boucheneb, H. (2009). Security analysis of role based access control models using colored petri nets and CPNtools. Dans Transactions on Computational Science IV: Special Issue on Security in Computing (Vol. 5430, p. 149-176). Lien externe
Rakkay, H., Boucheneb, H., & Roux, O. H. (juillet 2009). Time arc Petri nets and their analysis [Communication écrite]. 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany. Lien externe
Rhazi, A. E., Pierre, S., & Boucheneb, H. (2007). A secure protocol based on a sedentary agent for mobile agent environments. Journal of Computer Science, 3(1), 35-42. Disponible
Rakkay, H., Boucheneb, H., & Roux, O. H. (octobre 2007). Réseaux de Petri à arcs temporels généralisés aux sémantiques faible et forte [Communication écrite]. 6e Colloque francophone sur la modélisation des systèmes réactifs. Non disponible
Rakkay, H., & Boucheneb, H. (juin 2007). Using times colored Petri net to formalize temporal role bases access control policies [Communication écrite]. 7e Conférence internationale sur les nouvelles technologies de la répartition (NOTERE 2007), Marrakech, Maroc. Non disponible
Rakkay, H., & Boucheneb, H. (2006). Timed secure colored petri net based analysis of information flow. Annales des télécommunications, 61(11-12), 1314-1346. Lien externe
Rakkay, H., & Boucheneb, H. (janvier 2005). Timed secure colored petri net [Communication écrite]. Conférence sur les nouvelles technologies de la répartition (NOTERE 2005). Non disponible
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
Yassin, M., Ould-Slimane, H., Talhi, C., & Boucheneb, H. (2022). Multi-Tenant Intrusion Detection Framework as a Service for SaaS. IEEE Transactions on Services Computing, 15(5), 2925-2938. Lien externe
Yassin, M., Talhi, C., & Boucheneb, H. (2019). ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS. Journal of Information Security and Applications, 49, 15 pages. Lien externe
Yassin, M., Ould-Slimane, H., Talhi, C., & Boucheneb, H. (juin 2017). SQLIIDaaS: A SQL injection intrusion detection framework as a service for SAAS providers [Communication écrite]. 4th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud 2017), New York, New York. Lien externe
