Corneliu Popeea

According to our database, Corneliu Popeea authored at least 28 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Efficient CTL Verification via Horn Constraints Solving.

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

2015

Recursive Games for Compositional Program Synthesis.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

2014

Generalised Interpolation by Solving Recursion-Free Horn Clauses

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

A constraint-based approach to solving games on infinite graphs.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Reduction for compositional verification of multi-threaded programs.

Corneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Dual analysis for proving safety and finding bugs.

Corneliu Popeea, Wei-Ngan Chin

Sci. Comput. Program., 2013

Threader: A Verifier for Multi-threaded Programs - (Competition Contribution).

Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Solving Existentially Quantified Horn Clauses.

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Compositional Termination Proofs for Multi-threaded Programs.

Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).

Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Synthesizing software verifiers from proof rules.

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Predicate abstraction and refinement for verifying multi-threaded programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Threader: A Constraint-Based Verifier for Multi-threaded Programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Solving Recursion-Free Horn Clauses over LI+UIF.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Non-monotonic Refinement of Control Abstraction for Concurrent Programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Automated Technology for Verification and Analysis, 2010

2008

A practical and precise inference and specializer for array bound checks elimination.

Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Analysing memory resource bounds for low-level programs.

Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin

Proceedings of the 7th International Symposium on Memory Management, 2008

2006

Core-java: an expression-oriented java.

Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A flow-based approach for variant parametric types.

Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Inferring Disjunctive Postconditions.

Corneliu Popeea, Wei-Ngan Chin

Proceedings of the Advances in Computer Science, 2006

2005

Verifying safety policies with size properties and alias controls.

Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

A type system for resource protocol verification and its correctness proof.

Corneliu Popeea, Wei-Ngan Chin

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003

Efficient state-space approach for FIR filter bank completion.

Corneliu Popeea, Bogdan Dumitrescu, Boris Jora

Signal Process., 2003

2002

Accurate computation of compaction filters with high regularity.

Bogdan Dumitrescu, Corneliu Popeea

IEEE Signal Process. Lett., 2002

2001

Optimal compaction gain by eigenvalue minimization.

Corneliu Popeea, Bogdan Dumitrescu

Signal Process., 2001

An efficient algorithm for FIR filter bank completion.

Corneliu Popeea, Bogdan Dumitrescu, Boris Jora

Proceedings of the IEEE International Conference on Acoustics, 2001

2000

A low complexity SDP method for designing optimum compaction filters.

Bogdan Dumitrescu, Corneliu Popeea

Proceedings of the IEEE International Conference on Acoustics, 2000

1999

Optimizing the compaction gain in a class of IIR filters.

Ioan Tabus, Corneliu Popeea, Jaakko Astola

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999