TCTL model checking of time Petri nets H Boucheneb, G Gardey, OH Roux Journal of Logic and Computation 19 (6), 1509-1540, 2009 | 80 | 2009 |

Towards a simplified building of Time Petri Nets reachability graph H Boucheneb, U Alger, G Berthelot Proceedings of 5th International Workshop on Petri Nets and Performance …, 1993 | 67 | 1993 |

CTL* model checking for time Petri nets H Boucheneb, R Hadjidj Theoretical Computer Science 353 (1-3), 208-227, 2006 | 52 | 2006 |

Occurrence graphs for interval timed coloured nets G Berthelot, H Boucheneb, U Alger International Conference on Application and Theory of Petri Nets, 79-98, 1994 | 36 | 1994 |

A security protocol for mobile agents based upon the cooperation of sedentary agents A Ouardani, S Pierre, H Boucheneb Journal of Network and Computer Applications 30 (3), 1228-1243, 2007 | 31 | 2007 |

Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool L Gheorghe, F Bouchhima, G Nicolescu, H Boucheneb Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06 …, 2006 | 29 | 2006 |

Modeling, verification and testing using timed and hybrid automata S Tripakis, T Dang Model-Based Design for Embedded Systems, 383-436, 2008 | 26 | 2008 |

On-the-fly TCTL model checking for time Petri nets R Hadjidj, H Boucheneb Theoretical Computer Science 410 (42), 4241-4261, 2009 | 24 | 2009 |

Security analysis of role based access control models using colored petri nets and cpntools H Rakkay, H Boucheneb Transactions on Computational Science IV, 149-176, 2009 | 24 | 2009 |

Methodology for efficient design of continuous/discrete-events co-simulation tools G Nicolescu, H Boucheneb, L Gheorghe, F Bouchhima High Level Simulation Languages and Applications-HLSLA. SCS, San Diego, CA …, 2007 | 23 | 2007 |

Analyse des réseaux temporels: Calcul des classes en O (n 2) et des temps de chemin en H Boucheneb, J Mullins | 23 | 2003 |

Modelling and analysis of time-constrained flexible workflows with time recursive ecatnets K Barkaoui, H Boucheneb, A Hicheur International Workshop on Web Services and Formal Methods, 19-36, 2008 | 22 | 2008 |

Improving state class constructions for CTL* model checking of time Petri nets R Hadjidj, H Boucheneb International Journal on Software Tools for Technology Transfer 10 (2), 167-184, 2008 | 21 | 2008 |

A formalization of global simulation models for continuous/discrete systems L Gheorghe, F Bouchhima, G Nicolescu, H Boucheneb Proceedings of the 2007 Summer Computer Simulation Conference, 559-566, 2007 | 20 | 2007 |

A more efficient time Petri net state space abstraction useful to model checking timed linear properties H Boucheneb, H Rakkay Fundamenta Informaticae 88 (4), 469-495, 2008 | 19 | 2008 |

On multi-enabledness in time Petri nets H Boucheneb, D Lime, OH Roux International Conference on Applications and Theory of Petri Nets and …, 2013 | 18 | 2013 |

Efficient reachability analysis for time Petri nets R Hadjidj, H Boucheneb IEEE Transactions on Computers 60 (8), 1085-1099, 2010 | 18 | 2010 |

On model-checking optimistic replication algorithms H Boucheneb, A Imine Formal Techniques for Distributed Systems, 73-89, 2009 | 16 | 2009 |

On-the-fly TCTL model checking for Time Petri Nets using state class graphs R Hadjidj, H Boucheneb Sixth International Conference on Application of Concurrency to System …, 2006 | 16 | 2006 |

On synthesizing a consistent operational transformation approach A Randolph, H Boucheneb, A Imine, A Quintero IEEE Transactions on Computers 64 (4), 1074-1089, 2014 | 14 | 2014 |