- A Solution to the OnLine Image Downgrading Problem Sung Deok Cha, Gun Han Park, Heung Kyu Lee
- Safety Analysis Using Coloured Petri Nets Seung Mo Cho, Hyoung Seok Hong, and Sung Deok Cha
- Static Semantics and Priority Schemes for Statecharts \Lambda
- TRANSACTIONS ENGINEERING,
- Speci cation and Validation of Dynamic Systems Using Temporal Logic
- Testing of ObjectOriented Programs Based on Finite State Machines \Lambda
- Test Cases Generation from UML State IEE Proceedings Software, Vol. 146, No. 4, pp. 187192, Aug. 1999
- An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection *
- A Temporal Logic for Dynamic Systems and its Application to SDL Seung Mo Cho, Hyung Ho Kim, Sung Deok Cha, and Doo Hwan Bae
- Automatic Test Generation from Statecharts Using Model Checking Hyoung Seok Hong, Insup Lee, Oleg Sokolsky
- SOFTWARE ENGINEERING Journal of Research and Practice in Information Technology, Vol. 32, No. 1, February 2000 39
- Specification and Analysis of RealTime Systems in Statecharts
- Manuscript received: March 2000 Associate Editor: Hugh Williams
- Information Processing Letters 84 (2002) 125130 www.elsevier.com/locate/ipl
- Towards Uni ed Architecture Description Containing Component's Wei-Jin Park, Tai-Hyo Kim, Doo-Hwan Bae and Sung-Deok Cha
- Automated Structural Analysis of SCR-style Software Requirements Speci cations using PVS
- Fuzzy Sets and Systems 127 (2002) 199208 www.elsevier.com/locate/fss
- The International Journal of Time-Critical Computing Systems, 20, 2749, 2001 c 2001 Kluwer Academic Publishers. Manufactured in The Netherlands.
- SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2000; 10: 203227
- , { . p : 97-08-25-259 SCR cgsv"!| -8L , !6 , ' $
- Data Flow Testing as Model Checking Hyoung Seok Hong, Sung Deok Cha
- Developing Distributed Software Systems by Incorporating Meta-Object Protocol (diMOP) with Uni ed Modeling Language
- Behavior Verification of Hybrid Realtime Requirements by Qualitative Formalism (An Extended Abstract)
- Construction of Global Finite State Machine for Testing Task Interactions written in Message Sequence Charts
- Detecting Common Mode Failures in NVersion Software Using Weakest Precondition Analysis \Lambda
- Formal Veri cation of Functional Properties of an SCR-style Software Requirements
