Eunkyoung Jee - Concepedia

Author

Eunkyoung Jee

Korea Advanced Institute of Science and Technology ORCID

Also Known As

Axel Bjrn, Eun-Kyoung Jee, Eunk-Young Jee, Eunkyoung Jee, Lingjun Liu

Publications

874

Citations

H-Index

Concepts

All Affiliations

Korea Advanced Institute of Science and Technology Korea Atomic Energy Research Institute Korea University Konkuk University Medical Center Konkuk University

About

Eunkyoung Jee is an author at Korea Advanced Institute of Science and Technology specializing in engineering, systems engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	598
2	Computer Science	7	7	488
3	Computer Engineering	3	3	426
4	Public Health	1	1	365
5	Data Science	1	1	13

Eunkyoung Jee

Publications

631

Citations

H-Index

Page 1

	Year	Citations
Challenges and Research Directions in Medical Cyber–Physical Systems Insup Lee, Oleg Sokolsky, Sanjian Chen, Proceedings of the IEEE EngineeringDiagnostic SystemsComplex McpsHealth System EngineeringCritical Computing	2011	365
Formal Modeling and Verification of Safety-Critical Software Junbeom Yoo, Eunkyoung Jee, Sungdeok Cha IEEE Software EngineeringVerificationRigorous Quality DemonstrationSoftware EngineeringSoftware Analysis	2009	54
A data flow-based structural testing technique for FBD programs Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha, Information and Software Technology Software MaintenanceEngineeringComputational TestingProgram AnalysisSoftware Testing	2009	41
A Safety-Assured Development Approach for Real-Time Software Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Software MaintenanceEngineeringVerificationSoftware EngineeringModel Checking Technique	2010	37
Formal Modeling and Verification of a Federated Byzantine Agreement Algorithm for Blockchain Platforms Junghun Yoo, Youlim Jung, Donghwan Shin, Blockchain Consensus ProtocolEngineeringStellar Consensus ProtocolFormal ModelingByzantine Fault	2019	27
Automated test case generation for FBD programs implementing reactor protection system software Eunkyoung Jee, Donghwan Shin, Sungdeok Cha, Software Testing Verification and Reliability EngineeringVerificationTest Data GenerationSoftware EngineeringFbd Programs	2014	24
FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Eunkyoung Jee, Seungjae Jeon, Sung Deok,	2010	22
FAULT TREE ANALYSIS OF KNICS RPS SOFTWARE Gee-Yong Park, Kwang Yong Koh, Eunkyoung Jee, Nuclear Engineering and Technology Software MaintenanceReliability EngineeringEngineeringProgram AnalysisSoftware Testing	2008	15
Modeling and verification for different types of system of systems using PRISM Dong-Won Seo, Donghwan Shin, Youngmin Baek, EngineeringVerificationSafety ScienceSoftware EngineeringModel Checking	2016	13
A runtime verification framework for dynamically adaptive multi-agent systems Yoo Jin Lim, Gwangui Hong, Donghwan Shin, Agent Development ToolEngineeringRuntime VerificationRuntime Verification FrameworkMulti-agent Systems	2016	12

Page 1