2009 |
20 | EE | Hind 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) |
2008 |
19 | EE | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
Semantics for Model-Based Validation of Continuous/Discrete Systems.
DATE 2008: 498-503 |
18 | EE | Hanifa Boucheneb,
Kamel Barkaoui:
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.
FORMATS 2008: 265-279 |
17 | EE | Hanifa Boucheneb,
Abdessamad Imine:
Experiments in Model-Checking Optimistic Replication Algorithms
CoRR abs/0804.3023: (2008) |
16 | EE | Hanifa Boucheneb:
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties.
Formal Asp. Comput. 20(2): 225-238 (2008) |
15 | EE | Hanifa 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) |
14 | EE | Rachid Hadjidj,
Hanifa Boucheneb:
Improving state class constructions for CTL* model checking of time Petri nets.
STTT 10(2): 167-184 (2008) |
2007 |
13 | EE | Hanifa Boucheneb,
Hind Rakkay:
A more efficient time Petri net state space abstraction preserving linear properties.
ACSD 2007: 61-70 |
12 | EE | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
A formalization of global simulation models for continuous/discrete systems.
SCSC 2007: 559-566 |
11 | EE | Abdelhamid 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) |
2006 |
10 | EE | Rachid Hadjidj,
Hanifa Boucheneb:
On-the-fly TCTL model checking for Time Petri Nets using state class graphs.
ACSD 2006: 111-122 |
9 | EE | 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 |
8 | EE | Hanifa Boucheneb,
Rachid Hadjidj:
Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets.
IJES 2(1/2): 128-139 (2006) |
7 | EE | Hanifa Boucheneb,
Rachid Hadjidj:
CTL* model checking for time Petri nets.
Theor. Comput. Sci. 353(1-3): 208-227 (2006) |
2005 |
6 | EE | Rachid Hadjidj,
Hanifa Boucheneb:
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.
ACSD 2005: 224-233 |
5 | EE | Abdelhamid Ouardani,
Samuel Pierre,
Hanifa Boucheneb:
A Secure Protocol for Mobile Agents in Hostile Environment.
MATA 2005: 192-202 |
2003 |
4 | EE | 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).
Technique et Science Informatiques 22(4): 435-459 (2003) |
2002 |
3 | EE | Hanifa Boucheneb,
Gérard Berthelot:
Contraction of the ITCPN State Space.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
1994 |
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 |