Rahma Ben Ayed

	2010
11		Hafedh Zayani, Kamel Barkaoui, Rahma Ben Ayed: Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol CoRR abs/1005.2050: (2010)
	2009
10		Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni: Harnessing a Refinement Theory to Compute Loop Functions. Electr. Notes Theor. Comput. Sci. 243: 139-155 (2009)
	2008
9		Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur: Verification of Workflow processes under multilevel security considerations. CRiSIS 2008: 77-84
	2007
8		Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed: Towards an Engineering Discipline of Computational Society. HICSS 2007: 281
7		Hafedh Zayani, Rahma Ben Ayed, Karim Djouani, Kamel Barkaoui: Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. PM2HW2N 2007: 68-71
	2006
6		Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed: Modeling security as a dependability attribute: a refinement-based approach. ISSE 2(1): 39-48 (2006)
	2004
5		Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed: Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. HICSS 2004
	2000
4		Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: A calculus of program adaptation and its applications. Sci. Comput. Program. 38(1-3): 73-124 (2000)
	1999
3		Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed: Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. ASE 1999: 137-
	1998
2		Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321
1		Rahma Ben Ayed, Hafedh Mili, Ali Mili: Capturing pointer semantics and scoping rules. RelMiCS 1998: 3-7

Coauthor Index

1	Shir Aharon	[10]
2	Kamel Barkaoui	[7] [9] [11]
3	Hanifa Boucheneb	[9]
4	Bojan Cukic	[3] [5]
5	Jules Desharnais	[2] [4]
6	Karim Djouani	[7]
7	Marc Frappier	[2] [4]
8	Awatef Hicheur	[9]
9	GuangJie Jiang	[5]
10	Lamia Labed Jilani	[6] [8]
11	Yan Liu	[5]
12	Ali Mili	[1] [2] [3] [4] [5] [6] [8] [10]
13	Hafedh Mili	[1]
14	Chaitanya Nadkarni	[10]
15	Frederick T. Sheldon	[6] [8]
16	Alexander Thomasian	[6]
17	Alex Vinokurov	[6] [8]
18	T. Xia	[3]
19	Hafedh Zayani	[7] [11]

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