Premkumar_T.__Devanbu
Generating testing and analysis tools with Aria
Genoa - a customizable, front-end retargetable source code analysis framework
GENOA - A customizable, language- and front-end independent code analyzer
Stack and Queue Integrity on Hostile Platforms
Techniques for trusted software engineering
Translating description logics to information server queries