The following pages link to Corneliu Popeea (Q948221):
Displayed 12 items.
- (Q197987) (redirect page) (← links)
- Efficient state-space approach for FIR filter bank completion (Q948223) (← links)
- Dual analysis for proving safety and finding bugs (Q1951646) (← links)
- Compositional Termination Proofs for Multi-threaded Programs (Q2894275) (← links)
- (Q4099508) (← links)
- Capacitive effect models for a magnetic field sensor (Q4700693) (← links)
- Non-monotonic Refinement of Control Abstraction for Concurrent Programs (Q4931292) (← links)
- (Q4997234) (← links)
- (Q5015366) (← links)
- A constraint-based approach to solving games on infinite graphs (Q5408418) (← links)
- Predicate abstraction and refinement for verifying multi-threaded programs (Q5408554) (← links)
- Optimal compaction gain by eigenvalue minimization. (Q5941186) (← links)