Hanifa Boucheneb

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 20

Top Topics

Simulation Tools

Top Venues

ACM Trans. Embed. Comput. Syst.

Innov. Syst. Softw. Eng.

Int. J. Crit. Comput. Based Syst.

Publications

Lahcen El Fatimi, Hanifa Boucheneb
Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC). Neural Comput. Appl. 35 (13) (2023)
Youcef Ould Yahia, Samia Bouzefrane, Hanifa Boucheneb, Soumya Banerjee
A data-owner centric privacy model with blockchain and adapted attribute-based encryption for internet-of-things and cloud environment. Int. J. Inf. Comput. Secur. 17 (3/4) (2022)
Mohamed Yassin, Hakima Ould-Slimane, Chamseddine Talhi, Hanifa Boucheneb
Multi-Tenant Intrusion Detection Framework as a Service for SaaS. IEEE Trans. Serv. Comput. 15 (5) (2022)
Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li
Time based deadlock prevention for Petri nets. Autom. 137 (2022)
Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li
Towards Efficient Partial Order Techniques for Time Petri Nets. VECoS (2020)
Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li
Exploiting local persistency for reduced state-space generation. Innov. Syst. Softw. Eng. 16 (2) (2020)
Luis-Gil Moreno-Jiménez, Juan-Manuel Torres-Moreno, Hanifa Boucheneb, Roseli S. Wedemann
FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora. KDIR (2020)
Mohamed Yassin, Chamseddine Talhi, Hanifa Boucheneb
ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS. J. Inf. Secur. Appl. 49 (2019)
Hao Dou, Kamel Barkaoui, Hanifa Boucheneb, Xiaoning Jiang, Shouguang Wang
Maximal Good Step Graph Methods for Reducing the Generation of the State Space. IEEE Access 7 (2019)
Kamel Barkaoui, Hanifa Boucheneb
Introduction to special issue on verification and evaluation of computer systems. Innov. Syst. Softw. Eng. 14 (2) (2018)
Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li
Exploiting Local Persistency for Reduced State Space Generation. VECoS (2018)
Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb
Multi-tenant intrusion detection system for public cloud (MTIDS). J. Supercomput. 74 (10) (2018)
Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb
Security as a Service for Public Cloud Tenants(SaaS). ANT/SEIT (2018)
Hanifa Boucheneb, Kamel Barkaoui
Delay-dependent partial order reduction technique for real time systems. Real Time Syst. 54 (2) (2018)
Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD (2018)
Guillaume Hétier, Hanifa Boucheneb
On Handling Source Code Positions and Local Variables in LTL Software Model Checking. ICSOFT (2018)
Kamel Barkaoui, Hanifa Boucheneb
On Persistency in Time Petri Nets. FORMATS (2018)
Mohamed Yassin, Hakima Ould-Slimane, Chamseddine Talhi, Hanifa Boucheneb
SQLIIDaaS: A SQL Injection Intrusion Detection Framework as a Service for SaaS Providers. CSCloud (2017)
Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner
Optimal Reachability in Cost Time Petri Nets. FORMATS (2017)
Luiza Gheorghe Iugan, Gabriela Nicolescu, Hanifa Boucheneb
Rollback-based simulation for the design of continuous/discrete simulation tools. SummerSim (2016)
Luiza Gheorghe Iugan, Hanifa Boucheneb, Gabriela Nicolescu
A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools. Des. Autom. Embed. Syst. 19 (3) (2015)
Parisa Heidari, Hanifa Boucheneb, Abdallah Shami
A Formal Approach for QoS Assurance in the Cloud. CloudCom (2015)
Hanifa Boucheneb, Kamel Barkaoui
Strongly Generalized Soundness of Time Workflow Nets. ACSD (2015)
Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero
On Synthesizing a Consistent Operational Transformation Approach. IEEE Trans. Computers 64 (4) (2015)
Hanifa Boucheneb, Kamel Barkaoui
Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb
Transactional Petri nets: a semantic framework for UML2 activities. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Hanifa Boucheneb, Kamel Barkaoui
On combining the ready sets with the covering steps methods. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Mohammad Reza Gholami, Hanifa Boucheneb
Applying Formal Methods into Safety-Critical Health Applications. IMBSA (2014)
Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb, Steven Chamberland
A formal framework for verifying inter-firewalls consistency. ISCC (2014)
Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero
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 Inf. 19 (6) (2014)
Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb
Compatibility Analysis of Time Open Workflow Nets. PNSE @ Petri Nets (2014)
Hanifa Boucheneb, Kamel Barkaoui
Partial order reduction for checking soundness of time workflow nets. Inf. Sci. 282 (2014)
Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. FORMATS (2014)
Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. FMICS (2013)
Parisa Heidari, Hanifa Boucheneb
Maximally permissive controller synthesis for time Petri nets. Int. J. Control 86 (3) (2013)
Hanifa Boucheneb, Didier Lime, Olivier H. Roux
On Multi-enabledness in Time Petri Nets. Petri Nets (2013)
Rachid Hadjidj, Hanifa Boucheneb
RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. PNSE+ModPE (2013)
Hanifa Boucheneb, Kamel Barkaoui
Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero
On Consistency of Operational Transformation Approach Infinity (2012)
Hakima Ould-Slimane, Moustapha Bande, Hanifa Boucheneb
WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies. CollaborateCom (2012)
Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux
FIFO time Petri nets for conflicts handling. WODES (2012)
Hanifa Boucheneb, Kamel Barkaoui
Parametric Verification of TimeWorkflow Nets. SEKE (2012)
Hanifa Boucheneb, Kamel Barkaoui
Reachability Analysis of P-time Petri Nets with Parametric Markings. ACSD (2012)
Rachid Hadjidj, Hanifa Boucheneb
Efficient Reachability Analysis for Time Petri Nets. IEEE Trans. Computers 60 (8) (2011)
Hanifa Boucheneb, Kamel Barkaoui
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discret. Event Dyn. Syst. 21 (2) (2011)
Parisa Heidari, Hanifa Boucheneb
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. ACSD (2010)
Hanifa Boucheneb, Kamel Barkaoui
On interleaving in {P,A}-Time Petri nets with strong semantics INFINITY (2010)
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
Symbolic Model-Checking of Optimistic Replication Algorithms. IFM (2010)
Hanifa Boucheneb, Kamel Barkaoui
Covering Steps Graphs of Time Petri Nets. INFINITY (2009)
Hanifa Boucheneb, Abdessamad Imine
On Model-Checking Optimistic Replication Algorithms. FMOODS/FORTE (2009)
Hind Rakkay, Hanifa Boucheneb
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. Trans. Comput. Sci. 4 (2009)
Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19 (6) (2009)
Rachid Hadjidj, Hanifa Boucheneb
On-the-fly TCTL model checking for time Petri nets. Theor. Comput. Sci. 410 (42) (2009)
Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux
Time Arc Petri Nets and Their Analysis. ACSD (2009)
Hanifa Boucheneb, Hind Rakkay
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. Fundam. Informaticae 88 (4) (2008)
Luiza Gheorghe, Gabriela Nicolescu, Hanifa Boucheneb
Semantics for Rollback-Based Continuous/Discrete Simulation. BMAS (2008)
Hanifa Boucheneb, Kamel Barkaoui
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS (2008)
Hanifa Boucheneb
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. Formal Aspects Comput. 20 (2) (2008)
Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM (2008)
Rachid Hadjidj, Hanifa Boucheneb
Improving state class constructions for CTL* model checking of time Petri nets. Int. J. Softw. Tools Technol. Transf. 10 (2) (2008)
Hanifa Boucheneb, Abdessamad Imine
Experiments in Model-Checking Optimistic Replication Algorithms CoRR (2008)
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb
Semantics for Model-Based Validation of Continuous/Discrete Systems. DATE (2008)
Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur
Verification of Workflow processes under multilevel security considerations. CRiSIS (2008)
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb
A formalization of global simulation models for continuous/discrete systems. SCSC (2007)
Hanifa Boucheneb, Hind Rakkay
A more efficient time Petri net state space abstraction preserving linear properties. ACSD (2007)
Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb
A security protocol for mobile agents based upon the cooperation of sedentary agents. J. Netw. Comput. Appl. 30 (3) (2007)
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb
Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool. IEEE International Workshop on Rapid System Prototyping (2006)
Hanifa Boucheneb, Rachid Hadjidj
model checking for time Petri nets. Theor. Comput. Sci. 353 (1-3) (2006)
Hanifa Boucheneb, Rachid Hadjidj
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. Int. J. Embed. Syst. 2 (1/2) (2006)
Hanifa Boucheneb
Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model. Computación y Sistemas 10 (2) (2006)
Rachid Hadjidj, Hanifa Boucheneb
On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD (2006)
Hind Rakkay, Hanifa Boucheneb
Timed secure colored Petri net based analysis of information flow. Ann. des Télécommunications 61 (11-12) (2006)
Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb
A Secure Protocol for Mobile Agents in Hostile Environment. MATA (2005)
Rachid Hadjidj, Hanifa Boucheneb
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD (2005)
Hanifa Boucheneb, John Mullins
) et des temps de chemin en O(m x n). Tech. Sci. Informatiques 22 (4) (2003)
Hanifa Boucheneb, Gérard Berthelot
Contraction of the ITCPN State Space. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Gérard Berthelot, Hanifa Boucheneb
Occurrence Graphs for Interval Timed Coloured Nets. Application and Theory of Petri Nets (1994)
Hanifa Boucheneb, Gérard Berthelot
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. FTRTFT (1994)
Hanifa Boucheneb, U. Alger, Gérard Berthelot
Towards a simplified building of time Petri Nets reachability graph. PNPM (1993)