Concepedia

Kijin An

KA

3

Publications

46

Citations

3

H-Index

2013

Active since

Affiliations

Virginia Tech(Current)

Kijin An is an author at Virginia Tech specializing in engineering, software engineering, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSyntax

Publications per year

2013–2018

3

Publications

3

Automatic inference of Java-to-swift translation rules for porting mobile applications

Kijin An, Na Meng, Eli Tilevich · 2018 · 19 citations

Engineering, String Templates, Verification +23

RT-trust: automated refactoring for trusted execution under real-time constraints

Yin Liu, Kijin An, Eli Tilevich · 2018 · 15 citations

Software Maintenance, Strict Timeliness Requirements, Engineering +22

Multiple human tracking using multiple kinects for an attendance check system of a smart class

JiGwan Park, Kijin An, Daijin Kim et al. · 2013 · 12 citations

Smart Class, Engineering, Human Pose Estimation +18

Rows per page

1–3 of 3