Search the dblp DataBase

Publications of Author

1. Rachid Hadjidj, Hanifa Boucheneb
   Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. [Citation Graph (0, 0)][DBLP]
   ACSD, 2005, pp:224-233 [Conf]
   
2. Rachid Hadjidj, Hanifa Boucheneb
   On-the-fly TCTL model checking for Time Petri Nets using state class graphs. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:111-122 [Conf]
   
3. Gérard Berthelot, Hanifa Boucheneb
   Occurrence Graphs for Interval Timed Coloured Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1994, pp:79-98 [Conf]
   
4. Hanifa Boucheneb, Gérard Berthelot
   Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1994, pp:211-227 [Conf]
   
5. Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb
   A Secure Protocol for Mobile Agents in Hostile Environment. [Citation Graph (0, 0)][DBLP]
   MATA, 2005, pp:192-202 [Conf]
   
6. Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb
   Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2006, pp:186-192 [Conf]
   
7. Hanifa Boucheneb, Gérard Berthelot
   Contraction of the ITCPN State Space. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
   
8. Hanifa Boucheneb, Rachid Hadjidj
   CTL^* model checking for time Petri nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:208-227 [Journal]
   
9. Hanifa Boucheneb, John Mullins
   Analyse des réseaux temporels. Calcul des classes en O(n²) et des temps de chemin en O(m x n). [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2003, v:22, n:4, pp:435-459 [Journal]
   
10. Hanifa Boucheneb, Hind Rakkay
    A more efficient time Petri net state space abstraction preserving linear properties. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:61-70 [Conf]
    
11. Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb
    A security protocol for mobile agents based upon the cooperation of sedentary agents. [Citation Graph (0, 0)][DBLP]
    J. Network and Computer Applications, 2007, v:30, n:3, pp:1228-1243 [Journal]
    
12. 
    Time Arc Petri Nets and Their Analysis. [Citation Graph (, )][DBLP]
    
    
13. 
    Semantics for Model-Based Validation of Continuous/Discrete Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. [Citation Graph (, )][DBLP]
    
    
15. 
    On Model-Checking Optimistic Replication Algorithms. [Citation Graph (, )][DBLP]
    
    
16. 
    Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. [Citation Graph (, )][DBLP]
    
    
17. 
    A formalization of global simulation models for continuous/discrete systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Verification of Workflow processes under multilevel security considerations. [Citation Graph (, )][DBLP]
    
    
19. 
    Experiments in Model-Checking Optimistic Replication Algorithms [Citation Graph (, )][DBLP]
    
    
20. 
    Covering Steps Graphs of Time Petri Nets. [Citation Graph (, )][DBLP]