Hanifa Boucheneb

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

20EEHind Rakkay, Hanifa Boucheneb: Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools. Transactions on Computational Science 4: 149-176 (2009)
19EELuiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb: Semantics for Model-Based Validation of Continuous/Discrete Systems. DATE 2008: 498-503
18EEHanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279
17EEHanifa Boucheneb, Abdessamad Imine: Experiments in Model-Checking Optimistic Replication Algorithms CoRR abs/0804.3023: (2008)
16EEHanifa Boucheneb: Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. Formal Asp. Comput. 20(2): 225-238 (2008)
15EEHanifa Boucheneb, Hind Rakkay: A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties. Fundam. Inform. 88(4): 469-495 (2008)
14EERachid Hadjidj, Hanifa Boucheneb: Improving state class constructions for CTL* model checking of time Petri nets. STTT 10(2): 167-184 (2008)
13EEHanifa Boucheneb, Hind Rakkay: A more efficient time Petri net state space abstraction preserving linear properties. ACSD 2007: 61-70
12EELuiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb: A formalization of global simulation models for continuous/discrete systems. SCSC 2007: 559-566
11EEAbdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb: A security protocol for mobile agents based upon the cooperation of sedentary agents. J. Network and Computer Applications 30(3): 1228-1243 (2007)
10EERachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD 2006: 111-122
9EELuiza 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
8EEHanifa Boucheneb, Rachid Hadjidj: Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. IJES 2(1/2): 128-139 (2006)
7EEHanifa Boucheneb, Rachid Hadjidj: CTL* model checking for time Petri nets. Theor. Comput. Sci. 353(1-3): 208-227 (2006)
6EERachid Hadjidj, Hanifa Boucheneb: Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD 2005: 224-233
5EEAbdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb: A Secure Protocol for Mobile Agents in Hostile Environment. MATA 2005: 192-202
4EEHanifa Boucheneb, John Mullins: Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m x n). Technique et Science Informatiques 22(4): 435-459 (2003)
3EEHanifa Boucheneb, Gérard Berthelot: Contraction of the ITCPN State Space. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
2 Gérard Berthelot, Hanifa Boucheneb: Occurrence Graphs for Interval Timed Coloured Nets. Application and Theory of Petri Nets 1994: 79-98
1 Hanifa Boucheneb, Gérard Berthelot: Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. FTRTFT 1994: 211-227

Coauthor Index

1Kamel Barkaoui [18]
2Gérard Berthelot [1] [2] [3]
3Faouzi Bouchhima [9] [12] [19]
4Luiza Gheorghe [9] [12] [19]
5Rachid Hadjidj [6] [7] [8] [10] [14]
6Abdessamad Imine [17]
7John Mullins [4]
8Gabriela Nicolescu [9] [12] [19]
9Abdelhamid Ouardani [5] [11]
10Samuel Pierre [5] [11]
11Hind Rakkay [13] [15] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)