Corneliu Popeea

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...