Towards a simplified building of time Petri Nets reachability graph. - Hanifa Boucheneb; U. Alger; Gérard Berthelot (PNPM, 1993)

Occurrence Graphs for Interval Timed Coloured Nets. - Gérard Berthelot; Hanifa Boucheneb (Application and Theory of Petri Nets, 1994)

Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. - Hanifa Boucheneb; Gérard Berthelot (FTRTFT, 1994)

Contraction of the ITCPN State Space. - Hanifa Boucheneb; Gérard Berthelot (Theory and Practice of Timed Systems @ ETAPS, 2002)

Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m x n). - Hanifa Boucheneb; John Mullins (Tech. Sci. Informatiques, 2003)

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. - Rachid Hadjidj; Hanifa Boucheneb (ACSD, 2005)

A Secure Protocol for Mobile Agents in Hostile Environment. - Abdelhamid Ouardani; Samuel Pierre; Hanifa Boucheneb (MATA, 2005)

On-the-fly TCTL model checking for Time Petri Nets using state class graphs. - Rachid Hadjidj; Hanifa Boucheneb (ACSD, 2006)

Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool. - Luiza Gheorghe; Faouzi Bouchhima; Gabriela Nicolescu; Hanifa Boucheneb (IEEE International Workshop on Rapid System Prototyping, 2006)

Timed secure colored Petri net based analysis of information flow. - Hind Rakkay; Hanifa Boucheneb (Ann. des Télécommunications, 2006)

Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model. - Hanifa Boucheneb (Computación y Sistemas, 2006)

Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. - Hanifa Boucheneb; Rachid Hadjidj (Int. J. Embed. Syst., 2006)

CTL* model checking for time Petri nets. - Hanifa Boucheneb; Rachid Hadjidj (Theor. Comput. Sci., 2006)

A more efficient time Petri net state space abstraction preserving linear properties. - Hanifa Boucheneb; Hind Rakkay (ACSD, 2007)

A formalization of global simulation models for continuous/discrete systems. - Luiza Gheorghe; Faouzi Bouchhima; Gabriela Nicolescu; Hanifa Boucheneb (SCSC, 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)

Semantics for Rollback-Based Continuous/Discrete Simulation. - Luiza Gheorghe; Gabriela Nicolescu; Hanifa Boucheneb (BMAS, 2008)

Verification of Workflow processes under multilevel security considerations. - Kamel Barkaoui; Rahma Ben Ayed; Hanifa Boucheneb; Awatef Hicheur (CRiSIS, 2008)

Semantics for Model-Based Validation of Continuous/Discrete Systems. - Luiza Gheorghe; Faouzi Bouchhima; Gabriela Nicolescu; Hanifa Boucheneb (DATE, 2008)

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. - Hanifa Boucheneb; Kamel Barkaoui (FORMATS, 2008)

Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. - Kamel Barkaoui; Hanifa Boucheneb; Awatef Hicheur (WS-FM, 2008)

Experiments in Model-Checking Optimistic Replication Algorithms - Hanifa Boucheneb; Abdessamad Imine (CoRR, 2008)

Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. - Hanifa Boucheneb (Formal Aspects Comput., 2008)

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. - Hanifa Boucheneb; Hind Rakkay (Fundam. Informaticae, 2008)

Improving state class constructions for CTL* model checking of time Petri nets. - Rachid Hadjidj; Hanifa Boucheneb (Int. J. Softw. Tools Technol. Transf., 2008)

Time Arc Petri Nets and Their Analysis. - Hind Rakkay; Hanifa Boucheneb; Olivier H. Roux (ACSD, 2009)

On Model-Checking Optimistic Replication Algorithms. - Hanifa Boucheneb; Abdessamad Imine (FMOODS/FORTE, 2009)

Covering Steps Graphs of Time Petri Nets. - Hanifa Boucheneb; Kamel Barkaoui (INFINITY, 2009)

TCTL Model Checking of Time Petri Nets. - Hanifa Boucheneb; Guillaume Gardey; Olivier H. Roux (J. Log. Comput., 2009)

Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. - Hind Rakkay; Hanifa Boucheneb (Trans. Comput. Sci., 2009)

On-the-fly TCTL model checking for time Petri nets. - Rachid Hadjidj; Hanifa Boucheneb (Theor. Comput. Sci., 2009)

Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. - Parisa Heidari; Hanifa Boucheneb (ACSD, 2010)

Symbolic Model-Checking of Optimistic Replication Algorithms. - Hanifa Boucheneb; Abdessamad Imine; Manal Najem (IFM, 2010)

On interleaving in {P,A}-Time Petri nets with strong semantics - Hanifa Boucheneb; Kamel Barkaoui (INFINITY, 2010)

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. - Hanifa Boucheneb; Kamel Barkaoui (Discret. Event Dyn. Syst., 2011)

Efficient Reachability Analysis for Time Petri Nets. - Rachid Hadjidj; Hanifa Boucheneb (IEEE Trans. Computers, 2011)

Reachability Analysis of P-time Petri Nets with Parametric Markings. - Hanifa Boucheneb; Kamel Barkaoui (ACSD, 2012)

WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies. - Hakima Ould-Slimane; Moustapha Bande; Hanifa Boucheneb (CollaborateCom, 2012)

Parametric Verification of TimeWorkflow Nets. - Hanifa Boucheneb; Kamel Barkaoui (SEKE, 2012)

FIFO time Petri nets for conflicts handling. - Hanifa Boucheneb; Adrien Bullich; Olivier H. Roux (WODES, 2012)

On Consistency of Operational Transformation Approach - Aurel Randolph; Hanifa Boucheneb; Abdessamad Imine; Alejandro Quintero (Infinity, 2012)

On Multi-enabledness in Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux (Petri Nets, 2013)

RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. - Rachid Hadjidj; Hanifa Boucheneb (PNSE+ModPE, 2013)

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. - Aurel Randolph; Abdessamad Imine; Hanifa Boucheneb; Alejandro Quintero (FMICS, 2013)

Maximally permissive controller synthesis for time Petri nets. - Parisa Heidari; Hanifa Boucheneb (Int. J. Control, 2013)

Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. - Hanifa Boucheneb; Kamel Barkaoui (ACM Trans. Embed. Comput. Syst., 2013)

Compatibility Analysis of Time Open Workflow Nets. - Zohra Sbaï; Kamel Barkaoui; Hanifa Boucheneb (PNSE @ Petri Nets, 2014)

Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. - Hanifa Boucheneb; Kamel Barkaoui; Karim Weslati (FORMATS, 2014)

Applying Formal Methods into Safety-Critical Health Applications. - Mohammad Reza Gholami; Hanifa Boucheneb (IMBSA, 2014)

A formal framework for verifying inter-firewalls consistency. - Majda Moussa; Hakima Ould-Slimane; Hanifa Boucheneb; Steven Chamberland (ISCC, 2014)

On combining the ready sets with the covering steps methods. - Hanifa Boucheneb; Kamel Barkaoui (Int. J. Crit. Comput. Based Syst., 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)

Partial order reduction for checking soundness of time workflow nets. - Hanifa Boucheneb; Kamel Barkaoui (Inf. Sci., 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)

Strongly Generalized Soundness of Time Workflow Nets. - Hanifa Boucheneb; Kamel Barkaoui (ACSD, 2015)

A Formal Approach for QoS Assurance in the Cloud. - Parisa Heidari; Hanifa Boucheneb; Abdallah Shami (CloudCom, 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)

On Synthesizing a Consistent Operational Transformation Approach. - Aurel Randolph; Hanifa Boucheneb; Abdessamad Imine; Alejandro Quintero (IEEE Trans. Computers, 2015)

Stubborn Sets for Time Petri Nets. - Hanifa Boucheneb; Kamel Barkaoui (ACM Trans. Embed. Comput. Syst., 2015)

Rollback-based simulation for the design of continuous/discrete simulation tools. - Luiza Gheorghe Iugan; Gabriela Nicolescu; Hanifa Boucheneb (SummerSim, 2016)

SQLIIDaaS: A SQL Injection Intrusion Detection Framework as a Service for SaaS Providers. - Mohamed Yassin; Hakima Ould-Slimane; Chamseddine Talhi; Hanifa Boucheneb (CSCloud, 2017)

Optimal Reachability in Cost Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Baptiste Parquier; Olivier H. Roux; Charlotte Seidner (FORMATS, 2017)

Optimal-Cost Reachability Analysis Based on Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux; Charlotte Seidner (ACSD, 2018)

Security as a Service for Public Cloud Tenants(SaaS). - Mohamed Hawedi; Chamseddine Talhi; Hanifa Boucheneb (ANT/SEIT, 2018)

On Persistency in Time Petri Nets. - Kamel Barkaoui; Hanifa Boucheneb (FORMATS, 2018)

On Handling Source Code Positions and Local Variables in LTL Software Model Checking. - Guillaume Hétier; Hanifa Boucheneb (ICSOFT, 2018)

Exploiting Local Persistency for Reduced State Space Generation. - Kamel Barkaoui; Hanifa Boucheneb; Zhiwu Li 001 (VECoS, 2018)

Introduction to special issue on verification and evaluation of computer systems. - Kamel Barkaoui; Hanifa Boucheneb (Innov. Syst. Softw. Eng., 2018)

Delay-dependent partial order reduction technique for real time systems. - Hanifa Boucheneb; Kamel Barkaoui (Real Time Syst., 2018)

Multi-tenant intrusion detection system for public cloud (MTIDS). - Mohamed Hawedi; Chamseddine Talhi; Hanifa Boucheneb (J. Supercomput., 2018)

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)

ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS. - Mohamed Yassin; Chamseddine Talhi; Hanifa Boucheneb (J. Inf. Secur. Appl., 2019)

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 (KDIR, 2020)

Towards Efficient Partial Order Techniques for Time Petri Nets. - Kuangze Wang; Hanifa Boucheneb; Kamel Barkaoui; Zhiwu Li 001 (VECoS, 2020)

Time based deadlock prevention for Petri nets. - Hanifa Boucheneb; Kamel Barkaoui; Qian Xing; Kuangze Wang; GaiYun Liu; ZhiWu Li 001 (Autom., 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 001; Hanifa Boucheneb; Soumya Banerjee 002 (Int. J. Inf. Comput. Secur., 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)

Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC). - Lahcen El Fatimi; Hanifa Boucheneb (Neural Comput. Appl., 2023)

Self-organised map and trust-aware-based quality of service prediction for reliable services selection in distributed computing environment. - Youcef Ould Yahia; Méziane Yacoub; Samia Bouzefrane 001; Hanifa Boucheneb (Int. J. Adv. Intell. Paradigms, 2024)