 | 2009 |
|---|
| 9 |       | 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) |
| 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 |
