 | 2009 |
|---|
| 23 |       | Hanifa Boucheneb,
Abdessamad Imine:
On Model-Checking Optimistic Replication Algorithms.
FMOODS/FORTE 2009: 73-89 |
| 22 | | Hanifa Boucheneb,
Kamel Barkaoui:
Covering Steps Graphs of Time Petri Nets.
Electr. Notes Theor. Comput. Sci. 239: 155-165 (2009) |
| 21 | | 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 |
|---|
| 20 | | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
Semantics for Model-Based Validation of Continuous/Discrete Systems.
DATE 2008: 498-503 |
| 19 | | Hanifa Boucheneb,
Kamel Barkaoui:
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.
FORMATS 2008: 265-279 |
| 18 | | Kamel Barkaoui,
Hanifa Boucheneb,
Awatef Hicheur:
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.
WS-FM 2008: 19-36 |
| 17 | | Hanifa Boucheneb,
Abdessamad Imine:
Experiments in Model-Checking Optimistic Replication Algorithms
CoRR abs/0804.3023: (2008) |
| 16 | | 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 | | 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 | | Rachid Hadjidj,
Hanifa Boucheneb:
Improving state class constructions for CTL* model checking of time Petri nets.
STTT 10(2): 167-184 (2008) |
| 2007 |
|---|
| 13 | | Hanifa Boucheneb,
Hind Rakkay:
A more efficient time Petri net state space abstraction preserving linear properties.
ACSD 2007: 61-70 |
| 12 | | Luiza Gheorghe,
Faouzi Bouchhima,
Gabriela Nicolescu,
Hanifa Boucheneb:
A formalization of global simulation models for continuous/discrete systems.
SCSC 2007: 559-566 |
| 11 | | 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 | | Rachid Hadjidj,
Hanifa Boucheneb:
On-the-fly TCTL model checking for Time Petri Nets using state class graphs.
ACSD 2006: 111-122 |
| 9 | | 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 | | 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 | | Hanifa Boucheneb,
Rachid Hadjidj:
CTL* model checking for time Petri nets.
Theor. Comput. Sci. 353(1-3): 208-227 (2006) |
| 2005 |
|---|
| 6 | | Rachid Hadjidj,
Hanifa Boucheneb:
Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.
ACSD 2005: 224-233 |
| 5 | | Abdelhamid Ouardani,
Samuel Pierre,
Hanifa Boucheneb:
A Secure Protocol for Mobile Agents in Hostile Environment.
MATA 2005: 192-202 |
| 2003 |
|---|
| 4 | | 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 | | 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 |
