Search the dblp DataBase
Hanifa Boucheneb :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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). [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2003, v:22, n:4, pp:435-459 [Journal ] 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 ] 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 ] Time Arc Petri Nets and Their Analysis. [Citation Graph (, )][DBLP ] Semantics for Model-Based Validation of Continuous/Discrete Systems. [Citation Graph (, )][DBLP ] Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. [Citation Graph (, )][DBLP ] On Model-Checking Optimistic Replication Algorithms. [Citation Graph (, )][DBLP ] Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. [Citation Graph (, )][DBLP ] A formalization of global simulation models for continuous/discrete systems. [Citation Graph (, )][DBLP ] Verification of Workflow processes under multilevel security considerations. [Citation Graph (, )][DBLP ] Experiments in Model-Checking Optimistic Replication Algorithms [Citation Graph (, )][DBLP ] Covering Steps Graphs of Time Petri Nets. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs