Challenges and Research Directions in Medical Cyber-Physical Systems von Lee, Insup, Roederer, Alexander, Venkatasubramanian, Krishna K., Sokolsky, Oleg, Chen, Sanjian, Hatcliff, John, Jee, Eunkyoung, Kim, BaekGyu, King, Andrew, Mullen-Fortino, Margaret, Park, Soojin

Volltext

Formal Modeling and Verification of Safety-Critical Software von Yoo, Junbeom, Jee, Eunkyoung, Cha, Sungdeok (Steve)

Volltext

Collaboration failure analysis in cyber-physical system-of-systems using context fuzzy clustering von Hyun, Sangwon, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Timed pattern-based analysis of collaboration failures in system-of-systems von Hyun, Sangwon, Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing von Song, Jiyoung, Kang, Jeehoon, Hyun, Sangwon, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states von Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software von Liu, Lingjun, Jee, Eunkyoung, Bae, Doo‐Hwan

Volltext

A Verification Framework for FBD Based Software in Nuclear Power Plants von Junbeom Yoo, Sungdeok Cha, Eunkyung Jee

Volltext

FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram von Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, Kwangyong Koh, Junbeom Yoo, Geeyong Park, Poonghyun Seong

Volltext

Comprehensive analysis of FBD test coverage criteria using mutants von Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Timing consistency checking for UML/MARTE behavioral models von Choi, Jinho, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Enabling Test Automation for Industrial PLC Programs von Salari, Mikael Ebrahimi

Volltext bestellen

Automated test case generation for FBD programs implementing reactor protection system software von Jee, Eunkyoung, Shin, Donghwan, Cha, Sungdeok, Lee, Jang-Soo, Bae, Doo-Hwan

Volltext

A data flow-based structural testing technique for FBD programs von Jee, Eunkyoung, Yoo, Junbeom, Cha, Sungdeok, Bae, Doohwan

Volltext

Testing of Timer Function Blocks in FBD von Eunkyoung Jee, Seungjae Jeon, Hojung Bang, Sungdeok Cha, Junbeom Yoo, Geeyong Park, Keechoon Kwon

Volltext

Empirical evaluation on FBD model-based test coverage criteria using mutation analysis von Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Formal Modeling and Verification of Safety-Critical Software : Embedded software von YOO, Junbeom, JEE, Eunkyoung, CHA, Sungdeok

Volltext

Challenges and Research Directions in Medical Cyber―Physical Systems: A broad overview of emerging applications for these systems is provided in this paper; challenges, promising s... von LEE, Insup, SOKOLSKY, Oleg, VENKATASUBRAMANIAN, Krishna K, CHEN, Sanjian, HATCLIFF, John, JEE, Eunkyoung, KIM, Baekgyu, KING, Andrew, MULLEN-FORTINO, Margaret, PARK, Soojin, ROEDERER, Alexander

Volltext

A Safety-Assured Development Approach for Real-Time Software von Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Sokolsky, Oleg, Insup Lee

Volltext

Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software von Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae

Volltext bestellen