Concepedia

George Candea

GC

64

Publications

5.7K

Citations

38

H-Index

1998

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Stanford University

University of California, Berkeley

George Candea is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSystem SoftwareSoftware AnalysisProgram AnalysisSoftware TestingSoftware EngineeringComputer EngineeringFormal VerificationSystems Engineering

Publications per year

1998–2023

64

Publications

64

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea · 2011 · 512 citations

Software Maintenance, Engineering, Proprietary Software +18

Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies

David A. Patterson, Aaron Brown, Pete Broadwell et al. · 2002 · 371 citations

Microreboot -- A Technique for Cheap Recovery

George Candea, Shinichi Kawamoto, Yuichi Fujiki et al. · ArXiv.org · 2004 · 366 citations · Full text

Software Maintenance, Cluster Computing, Availability +20

Code-pointer integrity

Volodymyr Kuznetsov, László Szekeres, Mathias Payer et al. · Operating Systems Design and Implementation · 2014 · 328 citations

Hardware Security, Software Security, Engineering +15

Parallel symbolic execution for automated real-world software testing

Stefan Bucur, Vlad Ureche, Cristian Zamfir et al. · 2011 · 232 citations · Full text

New Test Cases, Cluster Computing, Parallel Symbolic Execution +23

Rows per page

1–5 of 64