Search the dblp DataBase

Publications of Author

1. Rahma Ben Ayed, Hafedh Mili, Ali Mili
   Capturing pointer semantics and scoping rules. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 1998, pp:3-7 [Conf]
   
2. Ali Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed
   Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. [Citation Graph (0, 0)][DBLP]
   HICSS, 2004, pp:- [Conf]
   
3. Ali Mili, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
   Towards an Engineering Discipline of Computational Society. [Citation Graph (0, 0)][DBLP]
   HICSS, 2007, pp:281- [Conf]
   
4. Ali Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed
   Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. [Citation Graph (0, 0)][DBLP]
   ASE, 1999, pp:137-0 [Conf]
   
5. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
   Mathematical Foundations for Program Transformations. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1998, pp:319-321 [Conf]
   
6. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
   A calculus of program adaptation and its applications. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2000, v:38, n:1-3, pp:73-124 [Journal]
   
7. 
   Eco-mac: an energy-efficient and low-latencyhybrid mac protocol for wireless sensor networks. [Citation Graph (, )][DBLP]
   
   
8. 
   Verification of Workflow processes under multilevel security considerations. [Citation Graph (, )][DBLP]
   
   
9. 
   Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol [Citation Graph (, )][DBLP]
   
   
10. 
    Harnessing a Refinement Theory to Compute Loop Functions. [Citation Graph (, )][DBLP]