Search results for "Yunja Choi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Moonzoo Kim, Yunho Kim, Yunja Choi	Concolic testing of the multi-sector read operation for flash storage platform software.	Formal Asp. Comput.	2012	DBLP DOI BibTeX RDF
1	Yunja Choi, Moonzoo Kim	Controlled composition and abstraction for bottom-up integration and verification of abstract components.	Information & Software Technology	2012	DBLP DOI BibTeX RDF
1	Yunja Choi, Christian Bunse	Design verification in model-based μ-controller development using an abstract component.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	Yunja Choi	Safety Analysis of Trampoline OS Using Model Checking: An Experience Report.	ISSRE	2011	DBLP DOI BibTeX RDF
1	Yunja Choi, Hoon Jang	Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software.	HASE	2010	DBLP DOI BibTeX RDF	Reverse-engineering, component, abstraction
1	Yunja Choi	Systematic Composition and Verification of Abstract Components.	COMPSAC	2010	DBLP DOI BibTeX RDF
1	Yunja Choi	Verification of an abstract component using communication patterns.	MOMPES	2009	DBLP DOI BibTeX RDF
1	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
1	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Formal Verification of a Flash Memory Device Driver - An Experience Report.	SPIN	2008	DBLP DOI BibTeX RDF
1	Yunja Choi, Christian Bunse	Towards Component-Based Design and Verification of a µ-Controller.	CBSE	2008	DBLP DOI BibTeX RDF
1	Yunja Choi	Early Safety Analysis: from Use Cases to Component-based Software Development.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Yunja Choi	From NuSMV to SPIN: Experiences with model checking flight guidance systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Flight guidance systems, Model checking, SPIN, NuSMV
1	Yunja Choi	Checking Interaction Consistency in MARMOT Component Refinements.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen	Deviation Analysis: A New Use of Model Checking.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	model checking, robustness, deviation analysis
1	Yunja Choi	Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Yunja Choi, Mats Per Erik Heimdahl	Combination Model Checking: Approach and a Case Study.	ASE	2004	DBLP DOI BibTeX RDF
1	Yunja Choi, Mats Per Erik Heimdahl	Model Checking Software Requirement Specifications using Domain Reduction Abstraction.	ASE	2003	DBLP DOI BibTeX RDF
1	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Model checking specifications, Abstraction, Numeric constraints
1	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen	Deviation Analysis Through Model Checking.	ASE	2002	DBLP DOI BibTeX RDF
1	Yunja Choi, Mats Per Erik Heimdahl	Model Checking RSML-e Requirements.	HASE	2002	DBLP DOI BibTeX RDF
1	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Automatic abstraction for model checking software systems with interrelated numeric constraints.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	domain abstraction, model checking software systems, numeric constraints

Publications of "Yunja Choi" ( http://dblp.L3S.de/Authors/Yunja_Choi )