Hanifa Boucheneb

	2011
33		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)
32		Rachid Hadjidj, Hanifa Boucheneb: Efficient Reachability Analysis for Time Petri Nets. IEEE Trans. Computers 60(8): 1085-1099 (2011)
	2010
31		Parisa Heidari, Hanifa Boucheneb: Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. ACSD 2010: 201-210
30		Hanifa Boucheneb, Abdessamad Imine, Manal Najem: Symbolic Model-Checking of Optimistic Replication Algorithms. IFM 2010: 89-104
29		Hanifa Boucheneb, Kamel Barkaoui: On interleaving in {P,A}-Time Petri nets with strong semantics INFINITY 2010: 17-31
	2009
28		Hind Rakkay, Hanifa Boucheneb, Olivier H. Roux: Time Arc Petri Nets and Their Analysis. ACSD 2009: 138-147
27		Hanifa Boucheneb, Abdessamad Imine: On Model-Checking Optimistic Replication Algorithms. FMOODS/FORTE 2009: 73-89
26		Hanifa Boucheneb, Kamel Barkaoui: Covering Steps Graphs of Time Petri Nets. Electr. Notes Theor. Comput. Sci. 239: 155-165 (2009)
25		Hanifa Boucheneb, Guillaume Gardey, Olivier H. Roux: TCTL Model Checking of Time Petri Nets. J. Log. Comput. 19(6): 1509-1540 (2009)
24		Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for time Petri nets. Theor. Comput. Sci. 410(42): 4241-4261 (2009)
23		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
22		Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur: Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84
21		Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb: Semantics for Model-Based Validation of Continuous/Discrete Systems. DATE 2008: 498-503
20		Hanifa Boucheneb, Kamel Barkaoui: Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. FORMATS 2008: 265-279
19		Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. WS-FM 2008: 19-36
18		Hanifa Boucheneb, Abdessamad Imine: Experiments in Model-Checking Optimistic Replication Algorithms CoRR abs/0804.3023: (2008)
17		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)
16		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)
15		Rachid Hadjidj, Hanifa Boucheneb: Improving state class constructions for CTL* model checking of time Petri nets. STTT 10(2): 167-184 (2008)
	2007
14		Hanifa Boucheneb, Hind Rakkay: A more efficient time Petri net state space abstraction preserving linear properties. ACSD 2007: 61-70
13		Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb: A formalization of global simulation models for continuous/discrete systems. SCSC 2007: 559-566
12		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
11		Rachid Hadjidj, Hanifa Boucheneb: On-the-fly TCTL model checking for Time Petri Nets using state class graphs. ACSD 2006: 111-122
10		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
9		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)
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): 1-15 (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

Coauthor Index

1	Rahma Ben Ayed	[22]
2	Kamel Barkaoui	[19] [20] [22] [26] [29] [33]
3	Gérard Berthelot	[1] [2] [3]
4	Faouzi Bouchhima	[10] [13] [21]
5	Guillaume Gardey	[25]
6	Rachid Hadjidj	[6] [7] [8] [11] [15] [24] [32]
7	Parisa Heidari	[31]
8	Awatef Hicheur	[19] [22]
9	Abdessamad Imine	[18] [27] [30]
10	Luiza Gheorghe Iugan (Luiza Gheorghe)	[10] [13] [21]
11	John Mullins	[4]
12	Manal Najem	[30]
13	Gabriela Nicolescu	[10] [13] [21]
14	Abdelhamid Ouardani	[5] [12]
15	Samuel Pierre	[5] [12]
16	Hind Rakkay	[9] [14] [16] [23] [28]
17	Olivier H. Roux (Olivier Roux)	[25] [28]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page