Search the dblp DataBase

Publications of Author

1. Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
   Verifying safety policies with size properties and alias controls. [Citation Graph (0, 0)][DBLP]
   ICSE, 2005, pp:186-195 [Conf]
   
2. Ioan Tabus, Corneliu Popeea, Jaakko Astola
   Optimizing the compaction gain in a class of IIR filters. [Citation Graph (0, 0)][DBLP]
   ISCAS (3), 1999, pp:528-531 [Conf]
   
3. Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
   A flow-based approach for variant parametric types. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2006, pp:273-290 [Conf]
   
4. Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
   Core-java: an expression-oriented java. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2006, pp:639-640 [Conf]
   
5. Corneliu Popeea, Wei-Ngan Chin
   A type system for resource protocol verification and its correctness proof. [Citation Graph (0, 0)][DBLP]
   PEPM, 2004, pp:135-146 [Conf]
   
6. Corneliu Popeea, Bogdan Dumitrescu
   Optimal compaction gain by eigenvalue minimization. [Citation Graph (0, 0)][DBLP]
   Signal Processing, 2001, v:81, n:5, pp:1113-1116 [Journal]
   
7. Corneliu Popeea, Bogdan Dumitrescu, Boris Jora
   Efficient state-space approach for FIR filter bank completion. [Citation Graph (0, 0)][DBLP]
   Signal Processing, 2003, v:83, n:9, pp:1973-1983 [Journal]
   
8. 
   Inferring Disjunctive Postconditions. [Citation Graph (, )][DBLP]
   
   
9. 
   Non-monotonic Refinement of Control Abstraction for Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
10. 
    Analysing memory resource bounds for low-level programs. [Citation Graph (, )][DBLP]
    
    
11. 
    A practical and precise inference and specializer for array bound checks elimination. [Citation Graph (, )][DBLP]
    
    
12. 
    Dual analysis for proving safety and finding bugs. [Citation Graph (, )][DBLP]