Hanifa Boucheneb

According to our database, Hanifa Boucheneb authored at least 78 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC).

Lahcen El Fatimi, Hanifa Boucheneb

Neural Comput. Appl., May, 2023

2022

Multi-Tenant Intrusion Detection Framework as a Service for SaaS.

Mohamed Yassin, Hakima Ould-Slimane, Chamseddine Talhi, Hanifa Boucheneb

IEEE Trans. Serv. Comput., 2022

A data-owner centric privacy model with blockchain and adapted attribute-based encryption for internet-of-things and cloud environment.

Youcef Ould Yahia, Samia Bouzefrane, Hanifa Boucheneb, Soumya Banerjee

Int. J. Inf. Comput. Secur., 2022

Time based deadlock prevention for Petri nets.

Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li

Autom., 2022

2020

Exploiting local persistency for reduced state-space generation.

Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li

Innov. Syst. Softw. Eng., 2020

Towards Efficient Partial Order Techniques for Time Petri Nets.

Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora.

Luis-Gil Moreno-Jiménez, Juan-Manuel Torres-Moreno, Hanifa Boucheneb, Roseli Suzi Wedemann

Proceedings of the 12th International Joint Conference on Knowledge Discovery, 2020

2019

ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS.

Mohamed Yassin, Chamseddine Talhi, Hanifa Boucheneb

J. Inf. Secur. Appl., 2019

Maximal Good Step Graph Methods for Reducing the Generation of the State Space.

Hao Dou, Kamel Barkaoui, Hanifa Boucheneb, Xiaoning Jiang, Shouguang Wang

IEEE Access, 2019

2018

Multi-tenant intrusion detection system for public cloud (MTIDS).

Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb

J. Supercomput., 2018

Delay-dependent partial order reduction technique for real time systems.

Hanifa Boucheneb, Kamel Barkaoui

Real Time Syst., 2018

Introduction to special issue on verification and evaluation of computer systems.

Kamel Barkaoui, Hanifa Boucheneb

Innov. Syst. Softw. Eng., 2018

On Handling Source Code Positions and Local Variables in LTL Software Model Checking.

Guillaume Hétier, Hanifa Boucheneb

Proceedings of the 13th International Conference on Software Technologies, 2018

On Persistency in Time Petri Nets.

Kamel Barkaoui, Hanifa Boucheneb

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Security as a Service for Public Cloud Tenants(SaaS).

Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb

Proceedings of the 9th International Conference on Ambient Systems, 2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Optimal Reachability in Cost Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

SQLIIDaaS: A SQL Injection Intrusion Detection Framework as a Service for SaaS Providers.

Mohamed Yassin, Hakima Ould-Slimane, Chamseddine Talhi, Hanifa Boucheneb

Proceedings of the 4th IEEE International Conference on Cyber Security and Cloud Computing, 2017

2016

Rollback-based simulation for the design of continuous/discrete simulation tools.

Luiza Gheorghe Iugan, Gabriela Nicolescu, Hanifa Boucheneb

Proceedings of the Summer Computer Simulation Conference, 2016

2015

Stubborn Sets for Time Petri Nets.

Hanifa Boucheneb, Kamel Barkaoui

ACM Trans. Embed. Comput. Syst., 2015

On Synthesizing a Consistent Operational Transformation Approach.

Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero

IEEE Trans. Computers, 2015

A generic conceptual framework based on formal representation for the design of continuous/discrete co-simulation tools.

Luiza Gheorghe Iugan, Hanifa Boucheneb, Gabriela Nicolescu

Des. Autom. Embed. Syst., 2015

A Formal Approach for QoS Assurance in the Cloud.

Parisa Heidari, Hanifa Boucheneb, Abdallah Shami

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

Strongly Generalized Soundness of Time Workflow Nets.

Hanifa Boucheneb, Kamel Barkaoui

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis.

Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero

Ingénierie des Systèmes d Inf., 2014

Partial order reduction for checking soundness of time workflow nets.

Hanifa Boucheneb, Kamel Barkaoui

Inf. Sci., 2014

Transactional Petri nets: a semantic framework for UML2 activities.

Sabine Boufenara, Kamel Barkaoui, Faiza Belala, Hanifa Boucheneb

Int. J. Crit. Comput. Based Syst., 2014

On combining the ready sets with the covering steps methods.

Hanifa Boucheneb, Kamel Barkaoui

Int. J. Crit. Comput. Based Syst., 2014

A formal framework for verifying inter-firewalls consistency.

Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb, Steven Chamberland

Proceedings of the IEEE Symposium on Computers and Communications, 2014

Applying Formal Methods into Safety-Critical Health Applications.

Mohammad Reza Gholami, Hanifa Boucheneb

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Delay-Dependent Partial Order Reduction Technique for Time Petri Nets.

Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Compatibility Analysis of Time Open Workflow Nets.

Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets.

Hanifa Boucheneb, Kamel Barkaoui

ACM Trans. Embed. Comput. Syst., 2013

Maximally permissive controller synthesis for time Petri nets.

Parisa Heidari, Hanifa Boucheneb

Int. J. Control, 2013

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.

Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets.

Rachid Hadjidj, Hanifa Boucheneb

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

On Multi-enabledness in Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

On Consistency of Operational Transformation Approach

Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

FIFO time Petri nets for conflicts handling.

Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Parametric Verification of TimeWorkflow Nets.

Hanifa Boucheneb, Kamel Barkaoui

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies.

Hakima Ould-Slimane, Moustapha Bande, Hanifa Boucheneb

Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

Reachability Analysis of P-time Petri Nets with Parametric Markings.

Hanifa Boucheneb, Kamel Barkaoui

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Efficient Reachability Analysis for Time Petri Nets.

Rachid Hadjidj, Hanifa Boucheneb

IEEE Trans. Computers, 2011

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs.

Hanifa Boucheneb, Kamel Barkaoui

Discret. Event Dyn. Syst., 2011

2010

On interleaving in {P,A}-Time Petri nets with strong semantics

Hanifa Boucheneb, Kamel Barkaoui

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Symbolic Model-Checking of Optimistic Replication Algorithms.

Hanifa Boucheneb, Abdessamad Imine, Manal Najem

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets.

Parisa Heidari, Hanifa Boucheneb

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

On-the-fly TCTL model checking for time Petri nets.

Rachid Hadjidj, Hanifa Boucheneb

Theor. Comput. Sci., 2009

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools.

Hind Rakkay, Hanifa Boucheneb

Trans. Comput. Sci., 2009

TCTL Model Checking of Time Petri Nets.

Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux

J. Log. Comput., 2009

Covering Steps Graphs of Time Petri Nets.

Hanifa Boucheneb, Kamel Barkaoui

Proceedings of the Joint Proceedings of the 8th, 2009

On Model-Checking Optimistic Replication Algorithms.

Hanifa Boucheneb, Abdessamad Imine

Proceedings of the Formal Techniques for Distributed Systems, 2009

Time Arc Petri Nets and Their Analysis.

Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Improving state class constructions for CTL* model checking of time Petri nets.

Rachid Hadjidj, Hanifa Boucheneb

Int. J. Softw. Tools Technol. Transf., 2008

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties.

Hanifa Boucheneb, Hind Rakkay

Fundam. Informaticae, 2008

Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties.

Hanifa Boucheneb

Formal Aspects Comput., 2008

Experiments in Model-Checking Optimistic Replication Algorithms

Hanifa Boucheneb, Abdessamad Imine

CoRR, 2008

Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.

Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.

Hanifa Boucheneb, Kamel Barkaoui

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Semantics for Model-Based Validation of Continuous/Discrete Systems.

Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb

Proceedings of the Design, Automation and Test in Europe, 2008

Verification of Workflow processes under multilevel security considerations.

Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur

Proceedings of the CRiSIS '08, 2008

Semantics for Rollback-Based Continuous/Discrete Simulation.

Luiza Gheorghe, Gabriela Nicolescu, Hanifa Boucheneb

Proceedings of the 2008 IEEE International Behavioral Modeling and Simulation Workshop, 2008

2007

A security protocol for mobile agents based upon the cooperation of sedentary agents.

Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb

J. Netw. Comput. Appl., 2007

A formalization of global simulation models for continuous/discrete systems.

Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

A more efficient time Petri net state space abstraction preserving linear properties.

Hanifa Boucheneb, Hind Rakkay

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

<i>CTL</i>^* model checking for time Petri nets.

Hanifa Boucheneb, Rachid Hadjidj

Theor. Comput. Sci., 2006

Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets.

Hanifa Boucheneb, Rachid Hadjidj

Int. J. Embed. Syst., 2006

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model.

Hanifa Boucheneb

Computación y Sistemas, 2006

Timed secure colored Petri net based analysis of information flow.

Hind Rakkay, Hanifa Boucheneb

Ann. des Télécommunications, 2006

Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool.

Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

On-the-fly TCTL model checking for Time Petri Nets using state class graphs.

Rachid Hadjidj, Hanifa Boucheneb

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

A Secure Protocol for Mobile Agents in Hostile Environment.

Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb

Proceedings of the Mobility Aware Technologies and Applications, 2005

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.

Rachid Hadjidj, Hanifa Boucheneb

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2003

Analyse des réseaux temporels. Calcul des classes en O(n²) et des temps de chemin en O(m x n).

Hanifa Boucheneb, John Mullins

Tech. Sci. Informatiques, 2003

2002

Contraction of the ITCPN State Space.

Hanifa Boucheneb, Gérard Berthelot

Proceedings of the Theory and Practice of Timed Systems, 2002

1994

Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets.

Hanifa Boucheneb, Gérard Berthelot

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Occurrence Graphs for Interval Timed Coloured Nets.

Gérard Berthelot, Hanifa Boucheneb

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Towards a simplified building of time Petri Nets reachability graph.

Hanifa Boucheneb, U. Alger, Gérard Berthelot

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993