- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j17 |      | Hanifa Boucheneb, Kamel Barkaoui: Reducing Interleaving Semantics Redundancy in Reachability Analysis of Time Petri Nets. ACM Trans. Embedded Comput. Syst. 12(1): 7 (2013) |
| 2012 | ||
| c21 | | Hanifa Boucheneb, Kamel Barkaoui: Reachability Analysis of P-time Petri Nets with Parametric Markings. ACSD 2012: 72-81 |
| c20 | | Hakima Ould-Slimane, Moustapha Bande, Hanifa Boucheneb: WiseShare: A collaborative environment for knowledge sharing governed by ABAC policies. CollaborateCom 2012: 21-29 |
| c19 |  | |
| c18 | | Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero: On Consistency of Operational Transformation Approach. Infinity 2012: 45-59 |
| 2011 | ||
| j16 | | Hanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discrete Event Dynamic Systems 21(2): 171-204 (2011) |
| j15 | | Rachid Hadjidj, Hanifa Boucheneb: Efficient Reachability Analysis for Time Petri Nets. IEEE Trans. Computers 60(8): 1085-1099 (2011) |
| 2010 | ||
| c17 | | Parisa Heidari, Hanifa Boucheneb: Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. ACSD 2010: 201-210 |
| c16 | | Hanifa Boucheneb, Abdessamad Imine, Manal Najem: Symbolic Model-Checking of Optimistic Replication Algorithms. IFM 2010: 89-104 |
| c15 | | Hanifa Boucheneb, Kamel Barkaoui: On interleaving in {P,A}-Time Petri nets with strong semantics. INFINITY 2010: 17-31 |
| 2009 | ||
| j14 | | Hanifa Boucheneb, Kamel Barkaoui: Covering Steps Graphs of Time Petri Nets. Electr. Notes Theor. Comput. Sci. 239: 155-165 (2009) |
| j13 | | Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux: TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009) |
| j12 | | 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) |
| j11 | | Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for time Petri nets. Theor. Comput. Sci. 410(42): 4241-4261 (2009) |
| c14 | | Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux: Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147 |
| c13 | | Hanifa Boucheneb, Abdessamad Imine: On Model-Checking Optimistic Replication Algorithms. FMOODS/FORTE 2009: 73-89 |
| 2008 | ||
| j10 | | 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) |
| j9 | | 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) |
| j8 | | Rachid Hadjidj, Hanifa Boucheneb: Improving state class constructions for CTL* model checking of time Petri nets. STTT 10(2): 167-184 (2008) |
| c12 | | Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur: Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84 |
| c11 | | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb: Semantics for Model-Based Validation of Continuous/Discrete Systems. DATE 2008: 498-503 |
| c10 | | Hanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279 |
| c9 | | Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM 2008: 19-36 |
| i1 | | Hanifa Boucheneb, Abdessamad Imine: Experiments in Model-Checking Optimistic Replication Algorithms. CoRR abs/0804.3023 (2008) |
| 2007 | ||
| j7 | | 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) |
| c8 | | Hanifa Boucheneb, Hind Rakkay: A more efficient time Petri net state space abstraction preserving linear properties. ACSD 2007: 61-70 |
| c7 | | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb: A formalization of global simulation models for continuous/discrete systems. SCSC 2007: 559-566 |
| 2006 | ||
| j6 | | Hind Rakkay, Hanifa Boucheneb: Timed secure colored Petri net based analysis of information flow. Annales des Télécommunications 61(11-12): 1314-1346 (2006) |
| j5 | | Hanifa Boucheneb: Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model. Computación y Sistemas 10(2) (2006) |
| j4 | | Hanifa Boucheneb, Rachid Hadjidj: Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets. IJES 2(1/2): 128-139 (2006) |
| j3 | | Hanifa Boucheneb, Rachid Hadjidj: CTL* model checking for time Petri nets. Theor. Comput. Sci. 353(1-3): 208-227 (2006) |
| c6 | | Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD 2006: 111-122 |
| c5 | | 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 |
| 2005 | ||
| c4 | | Rachid Hadjidj, Hanifa Boucheneb: Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties. ACSD 2005: 224-233 |
| c3 | | Abdelhamid Ouardani, Samuel Pierre, Hanifa Boucheneb: A Secure Protocol for Mobile Agents in Hostile Environment. MATA 2005: 192-202 |
| 2003 | ||
| j2 | | 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 | ||
| j1 | | Hanifa Boucheneb, Gérard Berthelot: Contraction of the ITCPN State Space. Electr. Notes Theor. Comput. Sci. 65(6): 1-15 (2002) |
| 1994 | ||
| c2 | | Gérard Berthelot, Hanifa Boucheneb: Occurrence Graphs for Interval Timed Coloured Nets. Application and Theory of Petri Nets 1994: 79-98 |
| c1 | | Hanifa Boucheneb, Gérard Berthelot: Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. FTRTFT 1994: 211-227 |
Colors in the list of coauthors
Last update Fri May 24 10:02:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page