Hanifa Boucheneb

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