# Corneliu Popeea

According to our database

Collaborative distances:

^{1}, Corneliu Popeea authored at least 28 papers between 1999 and 2016.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Efficient CTL Verification via Horn Constraints Solving.

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

2015

Recursive Games for Compositional Program Synthesis.

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

2014

Generalised Interpolation by Solving Recursion-Free Horn Clauses

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

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

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

Reduction for compositional verification of multi-threaded programs.

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

2013

Dual analysis for proving safety and finding bugs.

Sci. Comput. Program., 2013

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

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

Solving Existentially Quantified Horn Clauses.

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

2012

Compositional Termination Proofs for Multi-threaded Programs.

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).

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

Synthesizing software verifiers from proof rules.

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

2011

Predicate abstraction and refinement for verifying multi-threaded programs.

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

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

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

Solving Recursion-Free Horn Clauses over LI+UIF.

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

2010

Dual analysis for proving safety and finding bugs.

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Non-monotonic Refinement of Control Abstraction for Concurrent Programs.

Proceedings of the Automated Technology for Verification and Analysis, 2010

2008

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

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

Analysing memory resource bounds for low-level programs.

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

2006

Core-java: an expression-oriented java.

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

A flow-based approach for variant parametric types.

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

Inferring Disjunctive Postconditions.

Proceedings of the Advances in Computer Science, 2006

2005

Verifying safety policies with size properties and alias controls.

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

2004

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

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.

Signal Processing, 2003

2001

Optimal compaction gain by eigenvalue minimization.

Signal Processing, 2001

An efficient algorithm for FIR filter bank completion.

Proceedings of the IEEE International Conference on Acoustics, 2001

2000

A low complexity SDP method for designing optimum compaction filters.

Proceedings of the IEEE International Conference on Acoustics, 2000

1999

Optimizing the compaction gain in a class of IIR filters.

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