Concepedia

Hongseok Yang

HY

Statistics

Publications

64

Citations

4.3K

H-Index

34

Active since

2001

Affiliations

University of Oxford(Current)

Queen Mary University of London

Seoul National University

Imperial College London

IMDEA Software Institute

Hongseok Yang is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisVerificationSoftware EngineeringData Science

Publications per year

2001–2019

64

Publications

64

Automated concolic testing of smartphone apps

Saswat Anand, Mayur Naik, Mary Jean Harrold et al. · 2012 · 402 citations

Automated Concolic Testing, Input Events, Engineering +18

Compositional shape analysis by means of bi-abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · 2009 · 271 citations

Engineering, Geometry, Statistical Shape Analysis +22

Local Action and Abstract Separation Logic

Cristiano Calcagno, Peter W. O’Hearn, Hongseok Yang · 2007 · 260 citations

Computational Logic, Separation Algebras, Local Action +14

Separation and information hiding

Peter W. O’Hearn, Hongseok Yang, John Reynolds · 2004 · 233 citations

Cryptographic Primitive, Engineering, Information Security +20

Compositional Shape Analysis by Means of Bi-Abduction

Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn et al. · Journal of the ACM · 2011 · 207 citations

Engineering, Geometry, Statistical Shape Analysis +27

1–5 of 64