Corneliu Popeea und Wei-Ngan - Info zur Person

(1 - 5 von 7

)

Publications of Corneliu Popeea

about.chrjs.net

· Articles in journal, book chapters. Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, and Corneliu Popeea. A flow-based approach for variant ...

27th International Conference on Software Engineering

www.icse-conferences.org

Verifying Safety Policies with Size Properties and Alias Controls Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, and Huu Hai Nguyen ...

Analysing memory resource bounds for low-level programs —...

research.tees.ac.uk

Analysing memory resource bounds for low-level programs. Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin. Research output: Chapter in ...