 | Monter d'un niveau |
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
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
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
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
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
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
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
Gholami, M.-R., & Boucheneb, H. (2016). Formal Verification of Event-driven Health Applications. Journal of Software Engineering: Theories and Practices, 1(1). 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
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
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
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
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
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
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
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
Boucheneb, H. (2006). Checking untimed and timed linear properties of the Interval Timed Colored Petri Net Model. 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
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., & 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
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-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
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
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
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. (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
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
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
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
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
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
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. Non 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
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
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
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
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
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
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
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
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
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
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
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., & 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
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. (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
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., 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
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
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
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
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
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
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
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
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, 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, 149-176). Lien externe
Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . Lien externe
