Articles matching “Debbabi”
- Chamseddine Talhi, D. Mouheb, V. Lima, Mourad Debbabi, L. Wang, M. Pourzandi, Usability of Security Specification Approaches for UML Design: A Survey, pp. 103-122, PDF, HTML, DOI. Volume 8, no. 6 (September 2009)
- Mourad Debbabi, M. Fourati, A Formal Type System for Java, pp. 117-184, PDF, HTML, DOI. Volume 6, no. 8 (September 2007)
- Nadia Belblidia, Mourad Debbabi, A Dynamic Operational Semantics for JVML, pp. 71-100, PDF, HTML, DOI. Volume 6, no. 3 (March 2007)
- Mourad Debbabi, Mohamend Saleh, Chamseddine Talhi, Sami Zhioua, Security Evaluation of J2ME CLDC Embedded Java Platform, pp. 125-154, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)
- Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi, E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines, pp. 83-108, PDF, HTML, DOI. Volume 4, no. 1 (January 2005)