Yunja Choi

	2012
21		Moonzoo Kim, Yunho Kim, Yunja Choi: Concolic testing of the multi-sector read operation for flash storage platform software. Formal Asp. Comput. 24(3): 355-374 (2012)
20		Yunja Choi, Moonzoo Kim: Controlled composition and abstraction for bottom-up integration and verification of abstract components. Information & Software Technology 54(1): 119-136 (2012)
	2011
19		Yunja Choi: Safety Analysis of Trampoline OS Using Model Checking: An Experience Report. ISSRE 2011: 200-209
18		Yunja Choi, Christian Bunse: Design verification in model-based μ-controller development using an abstract component. Software and System Modeling 10(1): 91-115 (2011)
	2010
17		Yunja Choi: Systematic Composition and Verification of Abstract Components. COMPSAC 2010: 525-530
16		Yunja Choi, Hoon Jang: Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. HASE 2010: 122-131
	2009
15		Yunja Choi: Verification of an abstract component using communication patterns. MOMPES 2009: 42-52
	2008
14		Yunja Choi, Christian Bunse: Towards Component-Based Design and Verification of a µ-Controller. CBSE 2008: 196-211
13		Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484
12		Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN 2008: 144-159
	2007
11		Yunja Choi: Checking Interaction Consistency in MARMOT Component Refinements. SOFSEM (1) 2007: 832-843
10		Yunja Choi: From NuSMV to SPIN: Experiences with model checking flight guidance systems. Formal Methods in System Design 30(3): 199-216 (2007)
9		Yunja Choi: Early Safety Analysis: from Use Cases to Component-based Software Development. Journal of Object Technology 6(8): 185-203 (2007)
	2005
8		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		Yunja Choi: Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. Electr. Notes Theor. Comput. Sci. 133: 61-79 (2005)
	2004
6		Yunja Choi, Mats Per Erik Heimdahl: Combination Model Checking: Approach and a Case Study. ASE 2004: 354-357
	2003
5		Yunja Choi, Mats Per Erik Heimdahl: Model Checking Software Requirement Specifications using Domain Reduction Abstraction. ASE 2003: 314-317
	2002
4		Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen: Deviation Analysis Through Model Checking. ASE 2002: 37-46
3		Yunja Choi, Mats Per Erik Heimdahl: Model Checking RSML-e Requirements. HASE 2002: 109-118
2		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		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

Coauthor Index

1	Christian Bunse	[14] [18]
2	Mats Per Erik Heimdahl	[1] [2] [3] [4] [5] [6] [8]
3	Hoon Jang	[16]
4	Hotae Kim	[12] [13]
5	Moonzoo Kim	[12] [13] [20] [21]
6	Yunho Kim	[12] [13] [21]
7	Sanjai Rayadurgam	[1] [2]
8	Michael W. Whalen	[4] [8]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page