default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHanifa Boucheneb
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j33]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): 9739-9751 (2023)- 2022
- [j32]Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li:
Time based deadlock prevention for Petri nets. Autom. 137: 110119 (2022) - [j31]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): 261-284 (2022) - [j30]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): 2925-2938 (2022) - 2020
- [j29]Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li:
Exploiting local persistency for reduced state-space generation. Innov. Syst. Softw. Eng. 16(2): 181-197 (2020) - [c45]Luis-Gil Moreno-Jiménez, Juan-Manuel Torres-Moreno, Hanifa Boucheneb, Roseli Suzi Wedemann:
FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora. KDIR 2020: 202-209 - [c44]Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li:
Towards Efficient Partial Order Techniques for Time Petri Nets. VECoS 2020: 100-115
2010 – 2019
- 2019
- [j28]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: 155805-155817 (2019) - [j27]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) - 2018
- [j26]Kamel Barkaoui, Hanifa Boucheneb:
Introduction to special issue on verification and evaluation of computer systems. Innov. Syst. Softw. Eng. 14(2): 81-82 (2018) - [j25]Hanifa Boucheneb, Kamel Barkaoui:
Delay-dependent partial order reduction technique for real time systems. Real Time Syst. 54(2): 278-306 (2018) - [j24]Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb:
Multi-tenant intrusion detection system for public cloud (MTIDS). J. Supercomput. 74(10): 5199-5230 (2018) - [c43]Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner:
Optimal-Cost Reachability Analysis Based on Time Petri Nets. ACSD 2018: 30-39 - [c42]Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb:
Security as a Service for Public Cloud Tenants(SaaS). ANT/SEIT 2018: 1025-1030 - [c41]Kamel Barkaoui, Hanifa Boucheneb:
On Persistency in Time Petri Nets. FORMATS 2018: 108-124 - [c40]Guillaume Hétier, Hanifa Boucheneb:
On Handling Source Code Positions and Local Variables in LTL Software Model Checking. ICSOFT 2018: 649-656 - [c39]Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li:
Exploiting Local Persistency for Reduced State Space Generation. VECoS 2018: 166-181 - 2017
- [c38]Mohamed Yassin, Hakima Ould-Slimane, Chamseddine Talhi, Hanifa Boucheneb:
SQLIIDaaS: A SQL Injection Intrusion Detection Framework as a Service for SaaS Providers. CSCloud 2017: 163-170 - [c37]Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner:
Optimal Reachability in Cost Time Petri Nets. FORMATS 2017: 58-73 - [e1]Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents] - 2016
- [c36]Luiza Gheorghe Iugan, Gabriela Nicolescu, Hanifa Boucheneb:
Rollback-based simulation for the design of continuous/discrete simulation tools. SummerSim 2016: 32 - 2015
- [j23]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): 243-275 (2015) - [j22]Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero:
On Synthesizing a Consistent Operational Transformation Approach. IEEE Trans. Computers 64(4): 1074-1089 (2015) - [j21]Hanifa Boucheneb, Kamel Barkaoui:
Stubborn Sets for Time Petri Nets. ACM Trans. Embed. Comput. Syst. 14(1): 11:1-11:25 (2015) - [c35]Hanifa Boucheneb, Kamel Barkaoui:
Strongly Generalized Soundness of Time Workflow Nets. ACSD 2015: 130-139 - [c34]Parisa Heidari, Hanifa Boucheneb, Abdallah Shami:
A Formal Approach for QoS Assurance in the Cloud. CloudCom 2015: 629-634 - 2014
- [j20]Hanifa Boucheneb, Kamel Barkaoui:
On combining the ready sets with the covering steps methods. Int. J. Crit. Comput. Based Syst. 5(1/2): 55-77 (2014) - [j19]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): 241-267 (2014) - [j18]Hanifa Boucheneb, Kamel Barkaoui:
Partial order reduction for checking soundness of time workflow nets. Inf. Sci. 282: 261-276 (2014) - [j17]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): 9-32 (2014) - [c33]Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb:
Compatibility Analysis of Time Open Workflow Nets. PNSE @ Petri Nets 2014: 249-268 - [c32]Hanifa Boucheneb, Kamel Barkaoui, Karim Weslati:
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. FORMATS 2014: 53-68 - [c31]Mohammad Reza Gholami, Hanifa Boucheneb:
Applying Formal Methods into Safety-Critical Health Applications. IMBSA 2014: 195-208 - [c30]Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb, Steven Chamberland:
A formal framework for verifying inter-firewalls consistency. ISCC 2014: 1-7 - 2013
- [j16]Parisa Heidari, Hanifa Boucheneb:
Maximally permissive controller synthesis for time Petri nets. Int. J. Control 86(3): 493-511 (2013) - [j15]Hanifa Boucheneb, Kamel Barkaoui:
Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embed. Comput. Syst. 12(1): 7:1-7:24 (2013) - [c29]Hanifa Boucheneb, Didier Lime, Olivier H. Roux:
On Multi-enabledness in Time Petri Nets. Petri Nets 2013: 130-149 - [c28]Rachid Hadjidj, Hanifa Boucheneb:
RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. PNSE+ModPE 2013: 247-254 - [c27]Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero:
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. FMICS 2013: 184-198 - 2012
- [c26]Hanifa Boucheneb, Kamel Barkaoui:
Reachability Analysis of P-time Petri Nets with Parametric Markings. ACSD 2012: 72-81 - [c25]Hakima Ould-Slimane, Moustapha Bande, Hanifa Boucheneb:
WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies. CollaborateCom 2012: 21-29 - [c24]Hanifa Boucheneb, Kamel Barkaoui:
Parametric Verification of TimeWorkflow Nets. SEKE 2012: 375-380 - [c23]Hanifa Boucheneb, Adrien Bullich, Olivier H. Roux:
FIFO time Petri nets for conflicts handling. WODES 2012: 143-148 - [c22]Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero:
On Consistency of Operational Transformation Approach. Infinity 2012: 45-59 - 2011
- [j14]Hanifa Boucheneb, Kamel Barkaoui:
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discret. Event Dyn. Syst. 21(2): 171-204 (2011) - [j13]Rachid Hadjidj, Hanifa Boucheneb:
Efficient Reachability Analysis for Time Petri Nets. IEEE Trans. Computers 60(8): 1085-1099 (2011) - 2010
- [c21]Parisa Heidari, Hanifa Boucheneb:
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. ACSD 2010: 201-210 - [c20]Hanifa Boucheneb, Abdessamad Imine, Manal Najem:
Symbolic Model-Checking of Optimistic Replication Algorithms. IFM 2010: 89-104 - [c19]Hanifa Boucheneb, Kamel Barkaoui:
On interleaving in {P,A}-Time Petri nets with strong semantics. INFINITY 2010: 17-31
2000 – 2009
- 2009
- [j12]Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux:
TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009) - [j11]Hind Rakkay, Hanifa Boucheneb:
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. Trans. Comput. Sci. 4: 149-176 (2009) - [j10]Rachid Hadjidj, Hanifa Boucheneb:
On-the-fly TCTL model checking for time Petri nets. Theor. Comput. Sci. 410(42): 4241-4261 (2009) - [c18]Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux:
Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147 - [c17]Hanifa Boucheneb, Abdessamad Imine:
On Model-Checking Optimistic Replication Algorithms. FMOODS/FORTE 2009: 73-89 - [c16]Hanifa Boucheneb, Kamel Barkaoui:
Covering Steps Graphs of Time Petri Nets. INFINITY 2009: 155-165 - 2008
- [j9]Hanifa Boucheneb:
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. Formal Aspects Comput. 20(2): 225-238 (2008) - [j8]Hanifa Boucheneb, Hind Rakkay:
A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. Fundam. Informaticae 88(4): 469-495 (2008) - [j7]Rachid Hadjidj, Hanifa Boucheneb:
Improving state class constructions for CTL* model checking of time Petri nets. Int. J. Softw. Tools Technol. Transf. 10(2): 167-184 (2008) - [c15]Luiza Gheorghe, Gabriela Nicolescu, Hanifa Boucheneb:
Semantics for Rollback-Based Continuous/Discrete Simulation. BMAS 2008: 106-111 - [c14]Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur:
Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84 - [c13]Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb:
Semantics for Model-Based Validation of Continuous/Discrete Systems. DATE 2008: 498-503 - [c12]Hanifa Boucheneb, Kamel Barkaoui:
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279 - [c11]Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur:
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM 2008: 19-36 - [i1]Hanifa Boucheneb, Abdessamad Imine:
Experiments in Model-Checking Optimistic Replication Algorithms. CoRR abs/0804.3023 (2008) - 2007
- [j6]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): 1228-1243 (2007) - [c10]Hanifa Boucheneb, Hind Rakkay:
A more efficient time Petri net state space abstraction preserving linear properties. ACSD 2007: 61-70 - [c9]Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb:
A formalization of global simulation models for continuous/discrete systems. SCSC 2007: 559-566 - 2006
- [j5]Hind Rakkay, Hanifa Boucheneb:
Timed secure colored Petri net based analysis of information flow. Ann. des Télécommunications 61(11-12): 1314-1346 (2006) - [j4]Hanifa Boucheneb:
Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model. Computación y Sistemas 10(2) (2006) - [j3]Hanifa Boucheneb, Rachid Hadjidj:
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. Int. J. Embed. Syst. 2(1/2): 128-139 (2006) - [j2]Hanifa Boucheneb, Rachid Hadjidj:
CTL* model checking for time Petri nets. Theor. Comput. Sci. 353(1-3): 208-227 (2006) - [c8]Rachid Hadjidj, Hanifa Boucheneb:
On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD 2006: 111-122 - [c7]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: 186-192 - 2005
- [c6]Rachid Hadjidj, Hanifa Boucheneb:
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD 2005: 224-233 - [c5]Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb:
A Secure Protocol for Mobile Agents in Hostile Environment. MATA 2005: 192-202 - 2003
- [j1]Hanifa Boucheneb, John Mullins:
Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m x n). Tech. Sci. Informatiques 22(4): 435-459 (2003) - 2002
- [c4]Hanifa Boucheneb, Gérard Berthelot:
Contraction of the ITCPN State Space. Theory and Practice of Timed Systems @ ETAPS 2002: 1-15
1990 – 1999
- 1994
- [c3]Gérard Berthelot, Hanifa Boucheneb:
Occurrence Graphs for Interval Timed Coloured Nets. Application and Theory of Petri Nets 1994: 79-98 - [c2]Hanifa Boucheneb, Gérard Berthelot:
Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. FTRTFT 1994: 211-227 - 1993
- [c1]Hanifa Boucheneb, U. Alger, Gérard Berthelot:
Towards a simplified building of time Petri Nets reachability graph. PNPM 1993: 46-47
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
