Corneliu Popeea - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2015

Recursive Games for Compositional Program SynthesisTewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko. vstte 2016: 19-39 [doi]

2014

A constraint-based approach to solving games on infinite graphsTewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko. POPL 2014: 221-234 [doi]

Reduction for compositional verification of multi-threaded programsCorneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm. FMCAD 2014: 187-194 [doi]

2013

Solving Existentially Quantified Horn ClausesTewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko. cav 2013: 869-882 [doi]

Threader: A Verifier for Multi-threaded Programs - (Competition Contribution)Corneliu Popeea, Andrey Rybalchenko. TACAS 2013: 633-636 [doi]

Dual analysis for proving safety and finding bugsCorneliu Popeea, Wei-Ngan Chin. SCP, 78(4):390-411, 2013. [doi]

2012

2011

Predicate abstraction and refinement for verifying multi-threaded programsAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. POPL 2011: 331-344 [doi]

Threader: A Constraint-Based Verifier for Multi-threaded ProgramsAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. cav 2011: 412-417 [doi]

Solving Recursion-Free Horn Clauses over LI+UIFAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. aplas 2011: 188-203 [doi]

2010

Non-monotonic Refinement of Control Abstraction for Concurrent ProgramsAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. ATVA 2010: 188-202 [doi]

Dual analysis for proving safety and finding bugsCorneliu Popeea, Wei-Ngan Chin. SAC 2010: 2137-2143 [doi]

2008

Analysing memory resource bounds for low-level programsWei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin. iwmm 2008: 151-160 [doi]

A practical and precise inference and specializer for array bound checks eliminationCorneliu Popeea, Dana N. Xu, Wei-Ngan Chin. PEPM 2008: 177-187 [doi]

2006

A flow-based approach for variant parametric typesWei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea. OOPSLA 2006: 273-290 [doi]

Core-java: an expression-oriented javaFlorin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin. OOPSLA 2006: 639-640 [doi]

Inferring Disjunctive PostconditionsCorneliu Popeea, Wei-Ngan Chin. asian 2008: 331-345 [doi]

2005

Verifying safety policies with size properties and alias controlsWei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen. ICSE 2005: 186-195 [doi]

2004

A type system for resource protocol verification and its correctness proofCorneliu Popeea, Wei-Ngan Chin. PEPM 2004: 135-146 [doi]

2003

Efficient state-space approach for FIR filter bank completionCorneliu Popeea, Bogdan Dumitrescu, Boris Jora. sigpro, 83(9):1973-1983, 2003. [doi]

2002

Accurate computation of compaction filters with high regularityBogdan Dumitrescu, Corneliu Popeea. spl, 9(9):278-281, 2002. [doi]

2001

Optimal compaction gain by eigenvalue minimizationCorneliu Popeea, Bogdan Dumitrescu. sigpro, 81(5):1113-1116, 2001. [doi]

An efficient algorithm for FIR filter bank completionCorneliu Popeea, Bogdan Dumitrescu, Boris Jora. icassp 2001: 3629-3632 [doi]

2000

A low complexity SDP method for designing optimum compaction filtersBogdan Dumitrescu, Corneliu Popeea. icassp 2000: 516-519 [doi]

1999

Optimizing the compaction gain in a class of IIR filtersIoan Tabus, Corneliu Popeea, Jaakko Astola. iscas 1999: 528-531 [doi]

Sign in or sign up to see more results.

runs on WebDSL