Follow
Eunkyoung Jee
Title
Cited by
Cited by
Year
Challenges and Research Directions in Medical Cyber–Physical Systems
I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ...
Proceedings of the IEEE 100 (1), 75-90, 2012
4532012
Assurance cases in model-driven development of the pacemaker software
E Jee, I Lee, O Sokolsky
Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010
732010
Formal modeling and verification of safety-critical software
J Yoo, E Jee, S Cha
IEEE software 26 (3), 42-49, 2009
692009
A data flow-based structural testing technique for FBD programs
E Jee, J Yoo, S Cha, D Bae
Information and Software Technology 51 (7), 1131-1139, 2009
622009
A verification framework for fbd based software in nuclear power plants
J Yoo, S Cha, E Jee
Software Engineering Conference, 2008. APSEC'08. 15th Asia-Pacific, 385-392, 2008
602008
A safety-assured development approach for real-time software
E Jee, S Wang, JK Kim, J Lee, O Sokolsky, I Lee
Embedded and Real-Time Computing Systems and Applications (RTCSA), 2010 IEEE …, 2010
502010
Automated test case generation for FBD programs implementing reactor protection system software
E Jee, D Shin, S Cha, JS Lee, DH Bae
Software Testing, Verification and Reliability 24 (8), 608-628, 2014
462014
FBDVerifier: Interactive and visual analysis of counter-example in formal verification of function block diagram
E Jee, S Jeon, S Cha, K Koh, J Yoo, G Park, P Seong
Journal of Research and Practice in Information Technology 42 (3), 171-188, 2010
442010
Verification of plc programs written in fbd with vis
J Yoo, S Cha, E Jee
Nuclear Engineering and Technology, 79-90, 2009
372009
Automated test coverage measurement for reactor protection system software implemented in function block diagram
E Jee, S Kim, S Cha, I Lee
Computer Safety, Reliability, and Security: 29th International Conference …, 2010
302010
Empirical evaluation on FBD model-based test coverage criteria using mutation analysis
D Shin, E Jee, DH Bae
Model Driven Engineering Languages and Systems: 15th International …, 2012
282012
Control and data flow testing on function block diagrams
E Jee, J Yoo, S Cha
Computer Safety, Reliability, and Security: 24th International Conference …, 2005
252005
Formal modeling and verification of a federated byzantine agreement algorithm for blockchain platforms
J Yoo, Y Jung, D Shin, M Bae, E Jee
2019 IEEE International Workshop on Blockchain Oriented Software Engineering …, 2019
242019
Fault tree analysis of KNICS RPS software
GY Park, KY Koh, EY Jee, PH Seong, KC Kwon, DH Lee
Nuclear Engineering and Technology 40 (5), 397-408, 2008
242008
Modeling and verification for different types of system of systems using prism
D Seo, D Shin, YM Baek, J Song, W Yun, J Kim, E Jee, DH Bae
Proceedings of the 4th International Workshop on Software Engineering for …, 2016
212016
Safety analysis of safety-critical software for nuclear digital protection system
GY Park, JS Lee, SW Cheon, KC Kwon, E Jee, KY Koh
Computer Safety, Reliability, and Security: 26th International Conference …, 2007
202007
Comprehensive analysis of FBD test coverage criteria using mutants
D Shin, E Jee, DH Bae
Software & Systems Modeling 15, 631-645, 2016
182016
Systematic evaluation of fault trees using real-time model checker UPPAAL
S Cha, H Son, J Yoo, E Jee, PH Seong
Reliability engineering & system safety 82 (1), 11-20, 2003
172003
Means-ends and whole-part traceability analysis of safety requirements
JS Lee, V Katta, EK Jee, C Raspotnig
Journal of Systems and Software 83 (9), 1612-1621, 2010
162010
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states
J Song, E Jee, DH Bae
Science of Computer Programming 163, 115-137, 2018
142018
The system can't perform the operation now. Try again later.
Articles 1–20