Corneliu Popeea

Publication Activity (10 Years)

Years Active: 1999-2016
Publications (10 Years): 1

Top Topics

Conceptual Clustering

Existentially Quantified

Program Synthesis

Top Venues

Sci. Comput. Program.

Publications

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
Efficient CTL Verification via Horn Constraints Solving. HCVS@ETAPS (2016)
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
Recursive Games for Compositional Program Synthesis. VSTTE (2015)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Generalised Interpolation by Solving Recursion-Free Horn Clauses HCVS (2014)
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
A constraint-based approach to solving games on infinite graphs. POPL (2014)
Corneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm
Reduction for compositional verification of multi-threaded programs. FMCAD (2014)
Corneliu Popeea, Andrey Rybalchenko
Threader: A Verifier for Multi-threaded Programs - (Competition Contribution). TACAS (2013)
Corneliu Popeea, Wei-Ngan Chin
Dual analysis for proving safety and finding bugs. Sci. Comput. Program. 78 (4) (2013)
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
Solving Existentially Quantified Horn Clauses. CAV (2013)
Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS (2012)
Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
Synthesizing software verifiers from proof rules. PLDI (2012)
Corneliu Popeea, Andrey Rybalchenko
Compositional Termination Proofs for Multi-threaded Programs. TACAS (2012)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV (2011)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Predicate abstraction and refinement for verifying multi-threaded programs. POPL (2011)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Solving Recursion-Free Horn Clauses over LI+UIF. APLAS (2011)
Corneliu Popeea, Wei-Ngan Chin
Dual analysis for proving safety and finding bugs. SAC (2010)
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA (2010)
Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin
A practical and precise inference and specializer for array bound checks elimination. PEPM (2008)
Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin
Analysing memory resource bounds for low-level programs. ISMM (2008)
Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
A flow-based approach for variant parametric types. OOPSLA (2006)
Corneliu Popeea, Wei-Ngan Chin
Inferring Disjunctive Postconditions. ASIAN (2006)
Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
Core-java: an expression-oriented java. OOPSLA Companion (2006)
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
Verifying safety policies with size properties and alias controls. ICSE (2005)
Corneliu Popeea, Wei-Ngan Chin
A type system for resource protocol verification and its correctness proof. PEPM (2004)
Corneliu Popeea, Bogdan Dumitrescu, Boris Jora
Efficient state-space approach for FIR filter bank completion. Signal Process. 83 (9) (2003)
Bogdan Dumitrescu, Corneliu Popeea
Accurate computation of compaction filters with high regularity. IEEE Signal Process. Lett. 9 (9) (2002)
Corneliu Popeea, Bogdan Dumitrescu
Optimal compaction gain by eigenvalue minimization. Signal Process. 81 (5) (2001)
Corneliu Popeea, Bogdan Dumitrescu, Boris Jora
An efficient algorithm for FIR filter bank completion. ICASSP (2001)
Bogdan Dumitrescu, Corneliu Popeea
A low complexity SDP method for designing optimum compaction filters. ICASSP (2000)
Ioan Tabus, Corneliu Popeea, Jaakko Astola
Optimizing the compaction gain in a class of IIR filters. ISCAS (3) (1999)