dblp.uni-trier.dewww.uni-trier.de

Rahma Ben Ayed

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
8EEAli Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed: Towards an Engineering Discipline of Computational Society. HICSS 2007: 281
7EEHafedh 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
6EEAli 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
5EEAli 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
3EEAli Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed: Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. ASE 1999: 137-
1998
2EERahma 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

1Kamel Barkaoui [7]
2Bojan Cukic [3] [5]
3Jules Desharnais [2] [4]
4Karim Djouani [7]
5Marc Frappier [2] [4]
6GuangJie Jiang [5]
7Lamia Labed Jilani [6] [8]
8Yan Liu (Yan (Jenny) Liu) [5]
9Ali Mili [1] [2] [3] [4] [5] [6] [8]
10Hafedh Mili [1]
11Frederick T. Sheldon [6] [8]
12Alexander Thomasian [6]
13Alex Vinokurov [6] [8]
14T. Xia [3]
15Hafedh Zayani [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)