C. Popeea

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient CTL verification via Horn constraints solving	2021-12-07	Paper
Efficient CTL verification via Horn constraints solving (available as arXiv preprint)	2021-12-07	Paper
Generalised interpolation by solving recursion-free Horn clauses	2021-06-28	Paper
Generalised interpolation by solving recursion-free Horn clauses (available as arXiv preprint)	2021-06-28	Paper
Predicate abstraction and refinement for verifying multi-threaded programs Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
A constraint-based approach to solving games on infinite graphs Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Dual analysis for proving safety and finding bugs Science of Computer Programming	2013-06-06	Paper
Compositional termination proofs for multi-threaded programs Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Non-monotonic refinement of control abstraction for concurrent programs Automated Technology for Verification and Analysis	2010-10-04	Paper
Efficient state-space approach for FIR filter bank completion Signal Processing	2008-10-16	Paper
Optimal compaction gain by eigenvalue minimization. Signal Processing	2001-08-20	Paper
Capacitive effect models for a magnetic field sensor COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering	1999-11-08	Paper
scientific article; zbMATH DE number 3521843 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: C. Popeea