C. Popeea

Available identifiers

Publication	Date of Publication	Type
Efficient CTL verification via Horn constraints solving	2021-12-07	Paper
Generalised interpolation by solving recursion-free Horn clauses	2021-06-28	Paper
Predicate abstraction and refinement for verifying multi-threaded programs	2014-04-10	Paper
A constraint-based approach to solving games on infinite graphs	2014-04-10	Paper
Dual analysis for proving safety and finding bugs	2013-06-06	Paper
Compositional termination proofs for multi-threaded programs	2012-06-29	Paper
Non-monotonic refinement of control abstraction for concurrent programs	2010-10-04	Paper
Efficient state-space approach for FIR filter bank completion	2008-10-16	Paper
Optimal compaction gain by eigenvalue minimization.	2001-08-20	Paper
Capacitive effect models for a magnetic field sensor	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4099508	1974-01-01	Paper

This page was built for person: C. Popeea