| 2008 |
|---|
| 12 | EE | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Pre-testing Flash Device Driver through Model Checking Techniques.
ICST 2008: 475-484 |
| 11 | EE | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Formal Verification of a Flash Memory Device Driver - An Experience Report.
SPIN 2008: 144-159 |
| 2007 |
|---|
| 10 | EE | Yunja Choi:
Checking Interaction Consistency in MARMOT Component Refinements.
SOFSEM (1) 2007: 832-843 |
| 9 | EE | Yunja Choi:
From NuSMV to SPIN: Experiences with model checking flight guidance systems.
Formal Methods in System Design 30(3): 199-216 (2007) |
| 2005 |
|---|
| 8 | EE | Mats Per Erik Heimdahl,
Yunja Choi,
Michael W. Whalen:
Deviation Analysis: A New Use of Model Checking.
Autom. Softw. Eng. 12(3): 321-347 (2005) |
| 7 | EE | Yunja Choi:
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.
Electr. Notes Theor. Comput. Sci. 133: 61-79 (2005) |
| 2004 |
|---|
| 6 | EE | Yunja Choi,
Mats Per Erik Heimdahl:
Combination Model Checking: Approach and a Case Study.
ASE 2004: 354-357 |
| 2003 |
|---|
| 5 | EE | Yunja Choi,
Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction.
ASE 2003: 314-317 |
| 2002 |
|---|
| 4 | EE | Mats Per Erik Heimdahl,
Yunja Choi,
Michael W. Whalen:
Deviation Analysis Through Model Checking.
ASE 2002: 37-46 |
| 3 | EE | Yunja Choi,
Mats Per Erik Heimdahl:
Model Checking RSML-e Requirements.
HASE 2002: 109-118 |
| 2 | EE | Yunja Choi,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.
Requir. Eng. 7(4): 225-242 (2002) |
| 2001 |
|---|
| 1 | EE | Yunja Choi,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl:
Automatic abstraction for model checking software systems with interrelated numeric constraints.
ESEC / SIGSOFT FSE 2001: 164-174 |
