Concepedia

Corneliu Popeea

CP

13

Publications

721

Citations

12

H-Index

2002

Active since

Affiliations

National University of Singapore(Current)

Technical University of Munich

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Durham University

Microsoft Research (United Kingdom)

Corneliu Popeea is an author at National University of Singapore specializing in engineering, automated reasoning, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationSystem SoftwareSoftware Engineering

Publications per year

2002–2014

13

Publications

13

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · 2012 · 237 citations

Program Checking, Engineering, Verification +23

Synthesizing software verifiers from proof rules

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea et al. · ACM SIGPLAN Notices · 2012 · 87 citations

Program Checking, Engineering, Verification +23

A constraint-based approach to solving games on infinite graphs

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea et al. · 2014 · 80 citations

Mathematical Programming, Engineering, Reachability Problem +22

Predicate abstraction and refinement for verifying multi-threaded programs

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko · ACM SIGPLAN Notices · 2011 · 79 citations

Program Checking, Engineering, Verification +20

Analysing memory resource bounds for low-level programs

Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea et al. · 2008 · 58 citations · Full text

Memory Adequacy, Engineering, Compiler Technology +23

Rows per page

1–5 of 13