![]() |
| 2007 | ||
|---|---|---|
| 5 | EE | Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya: An AOP Extended Lambda-Calculus. SEFM 2007: 183-194 |
| 4 | EE | Nadia Belblidia, Mourad Debbabi: A Dynamic Operational Semantics for JVML. Journal of Object Technology 6(3): (2007) |
| 2006 | ||
| 3 | EE | Nadia Belblidia, Mourad Debbabi, Aiman Hanna, Zhenrong Yang: AOP Extension for Security Testing of Programs. CCECE 2006: 647-650 |
| 2 | EE | Nadia Belblidia, Mourad Debbabi: Towards a Formal Semantics for AspectJ Weaving. JMLC 2006: 155-171 |
| 1 | EE | Nadia Belblidia, Mourad Debbabi: Formalizing AspectJ Weaving for Static Pointcuts. SEFM 2006: 50-59 |
| 1 | Dima Alhadidi | [5] |
| 2 | Prabir Bhattacharya | [5] |
| 3 | Mourad Debbabi | [1] [2] [3] [4] [5] |
| 4 | Aiman Hanna | [3] |
| 5 | Zhenrong Yang | [3] |