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
4742012
Formal modeling and verification of safety-critical software
J Yoo, E Jee, S Cha
IEEE software 26 (3), 42-49, 2009
772009
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
762010
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
652009
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
622008
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
542010
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
502014
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
482010
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
322010
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
312012
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
282019
Control and data flow testing on function block diagrams
E Jee, J Yoo, S Cha
International Conference on Computer Safety, Reliability, and Security, 67-80, 2005
272005
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
252008
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
242016
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
202018
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
192016
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
Timing consistency checking for UML/MARTE behavioral models
J Choi, E Jee, DH Bae
Software Quality Journal 24, 835-876, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20