Concepedia

Author

George Candea

École Polytechnique Fédérale de LausanneORCID

Also Known As

Candea, George, Candea, George M. (George Mahai), 1974-, G Candea, G. Candea, George Candea

127

Publications

6K

Citations

39

H-Index

103

Concepts

All Affiliations

École Polytechnique Fédérale de LausanneStanford UniversityUniversity of California, Berkeley
GC

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

34

48

4.6K

2

Management

5

5

316

3

Biomedical Engineering

2

2

458

4

Business

1

1

10

5

Nursing

1

1

19

George Candea

×

64

Publications

5.7K

Citations

38

H-Index

YearCitations

S2E

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

2011

512

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

David A. Patterson, Aaron Brown, Pete Broadwell,

2002

371

Microreboot -- A Technique for Cheap Recovery

George Candea, Shinichi Kawamoto, Yuichi Fujiki,

ArXiv.org

2004

366

Code-pointer integrity

Volodymyr Kuznetsov, László Szekeres, Mathias Payer,

Operating Systems Design and Implementation

2014

328

Parallel symbolic execution for automated real-world software testing

Stefan Bucur, Vlad Ureche, Cristian Zamfir,

2011

232

Execution synthesis

Cristian Zamfir, George Candea

2010

219

The S2E Platform

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

ACM Transactions on Computer Systems

2012

194

Efficient state merging in symbolic execution

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur,

2012

184

Cloud9

Liviu Ciortea, Cristian Zamfir, Stefan Bucur,

ACM SIGOPS Operating Systems Review

2010

184

Deadlock immunity: enabling systems to defend against deadlocks

Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir,

Operating Systems Design and Implementation

2008

160

Page 1