 | 2009 |
|---|
| 7 |       | Dima Alhadidi,
Amine Boukhtouta,
Nadia Belblidia,
Mourad Debbabi,
Prabir Bhattacharya:
The dataflow pointcut: a formal and practical framework.
AOSD 2009: 15-26 |
| 2007 |
|---|
| 6 | | Dima Alhadidi,
Nadia Belblidia,
Mourad Debbabi,
Prabir Bhattacharya:
An AOP Extended Lambda-Calculus.
SEFM 2007: 183-194 |
| 5 | | Nadia Belblidia,
Mourad Debbabi:
A Dynamic Operational Semantics for JVML.
Journal of Object Technology 6(3): (2007) |
| 2006 |
|---|
| 4 | | Nadia Belblidia,
Mourad Debbabi,
Aiman Hanna,
Zhenrong Yang:
AOP Extension for Security Testing of Programs.
CCECE 2006: 647-650 |
| 3 | | Nadia Belblidia,
Mourad Debbabi:
Towards a Formal Semantics for AspectJ Weaving.
JMLC 2006: 155-171 |
| 2 | | Dima Alhadidi,
Nadia Belblidia,
Mourad Debbabi:
Security crosscutting concerns and AspectJ.
PST 2006: 45 |
| 1 | | Nadia Belblidia,
Mourad Debbabi:
Formalizing AspectJ Weaving for Static Pointcuts.
SEFM 2006: 50-59 |
