| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Syrine Tlili, Mourad Debbabi: Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code. J. Autom. Reasoning 42(2-4): 265-300 (2009) |
| 2008 | ||
| 4 | EE | Syrine Tlili, Mourad Debbabi: A novel flow-sensitive type and effect analysis for securing C code. AICCSA 2008: 661-668 |
| 3 | EE | Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi: A Hybrid Approach for Safe Memory Management in C. AMAST 2008: 377-391 |
| 2 | EE | Syrine Tlili, Mourad Debbabi: Type and Effect Annotations for Safe Memory Access in C. ARES 2008: 302-309 |
| 1 | EE | Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Mourad Debbabi: Model-Checking for Software Vulnerabilities Detection with Multi-Language Support. PST 2008: 133-142 |
| 1 | Mourad Debbabi | [1] [2] [3] [4] [5] |
| 2 | Rachid Hadjidj | [1] |
| 3 | Hai Zhou Ling | [3] |
| 4 | Xiaochun Yang | [1] |
| 5 | Zhenrong Yang | [3] |