Documents dont l'auteur est "Boucheneb, Hanifa"

Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement

Nombre de documents: 119

Article de revue

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

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

Elfatimi, L., & Boucheneb, H. (2022). Brain Tumor Detection using Cellular Automata based image Segmentation techniques. International Journal of Scientific Research in Computer Sciences and Engineering, 10(5), 27-36. 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

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

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

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

Boucheneb, H., & Barkaoui, K. (2018). Delay-dependent partial order reduction technique for real time systems. Real-Time Systems, 54(2), 278-306. 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

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

Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). Lien externe

Gheorghe, L., 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

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

Boucheneb, H., & Barkaoui, K. (2015). Stubborn sets for time petri nets. ACM Transactions on Embedded Computing Systems, 14(1), 1-25. 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

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., & Barkaoui, K. (2014). Partial order reduction for checking soundness of time workflow nets. Information Sciences, 282, 261-276. 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

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

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

Hadjidj, R., & Boucheneb, H. (2011). Efficient reachability analysis for time petri nets. IEEE Transactions on Computers, 60(8), 1085-1099. Lien externe

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

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

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., & 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

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

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

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

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

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

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., & Hadjidj, R. (2006). CTL model checking of Time Petri Nets. Journal of Theorectical Computer Science, 353(1-3), 208-227. 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., & 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

Communication écrite

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

Moreno-Jiménez, 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

Moreno-Jiménez, 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

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

Hétier, 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. (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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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, 107. 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

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

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. (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

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

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

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

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

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. (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

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

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., & 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., & 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

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

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., & 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

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., Nicolescu, G., & Boucheneb, H. (septembre 2008). Semantics for Rollback-Based Continuous/Discrete Simulation [Communication écrite]. International Behavioral Modeling and Simulation Workshop (BMAS 2008), San Jose, CA, USA. Lien externe

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

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

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., & 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

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

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

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

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

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

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

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

Boucheneb, H., & Berthelot, G. (octobre 1993). Towards a simplified building of time Petri Nets reachability graph [Communication écrite]. 5th International Workshop on Petri Nets and Performance Models, Toulouse, France. Lien externe

Mémoire de maîtrise

Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions [Mémoire de maîtrise, Polytechnique Montréal]. Disponible

Hétier, G. (2018). Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Ben Chahed, S. (2015). Mise en oeuvre des aspects de gestion des réseaux définis par logiciels (réseaux SDN) [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Weslati, M. K. (2014). Vers l'intégration de paramètres temporels statiques et dynamiques dans les techniques de vérification par ordre partiel [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Moussa, M. (2014). Vérification et configuration automatiques de pare-feux par Model Checking et synthèse de contrôleur [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Amadou, M. (2009). Modèle de placement pour les architectures nano-composantes [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Rakkay, H. (2005). Modélisation et vérification du contrôle de flots d'information au moyen de réseaux de Pétri colorés temporisés [Mémoire de maîtrise, École Polytechnique de Montréal]. Non disponible

Ouardani, A. (2004). Sécurité des agents mobiles : protocole sécuritaire à base d'agents sédentaires coopérants [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

El Rhazi, A. (2003). Sécurité des agents mobiles : protocole sécuritaire basé sur un agent sédentaire parfaitement coopérant [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Thèse de doctorat

Heidari Soureshjani, F. (2024). Securing Ethereum's Ecosystem: Formal Verification and Abstract Interpretation of Halo2 Circuits and Innovative Access Control of Smart Contracts [Thèse de doctorat, Polytechnique Montréal]. Disponible

El Fatimi, L. (2023). Détection, prédiction et classification des tumeurs cérébrales basées sur les modèles formels et l'apprentissage en profondeur [Thèse de doctorat, Polytechnique Montréal]. Disponible

Yassin, M. (2019). Services de sécurité inter-locataire et multi-locataire pour les logiciels en tant que service [Thèse de doctorat, Polytechnique Montréal]. Disponible

Bande, M. (2018). Consistance et protection des données dans les systèmes collaboratifs par les méthodes formelles [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Randolph, A. J. O. (2014). Convergence et sécurité d'accès dans les systèmes d'édition collaborative massivement répartis [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Rakkay, H. (2009). Approches formelles pour la modélisation et la vérification du contrôle d'accès et des contraintes temporelles dans les systèmes d'information [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Baaziz, A. (2008). Cadre global pour la coopération dans les réseaux ad hoc impliquant les fournisseurs de services [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Livre

Barkaoui, K., Boucheneb, H., Mili, A., & Tahar, S. (édit.) (2017). Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings. Lien externe

Chapitre de livre

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

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

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

Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . Lien externe

Liste produite: Thu Oct 15 08:02:37 2026 EDT.