MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yunja Choi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Automatic abstraction for model checking software systems with interrelated numeric constraints
by Yunja Choi — 2001 — In Proceedings of the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-9
… ∗ Yunja Choi Computer Science and Engineering University of Minnesota Minneapolis, MN 55455 yuchoi…
Cited by 8 (5 self) – Add To MetaCart

Model Checking Software Requirement Specifications using Domain Reduction Abstraction
by Mats P. Heimdahl, Yunja Choi, Yunja Choi, Mats Heimdahl — in 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6.-10.X.2003
… Specifications Using Domain Reduction Abstraction Yunja Choi and Mats P. Heimdahl May 12, 2003 Model Checking…
Cited by 1 (0 self) – Add To MetaCart

Deviation Analysis Through Model Checking
by Mats Heimdahl Yunja, Mats P. E. Heimdahl, Yunja Choi, Mike Whalen — 2002 — In Proceedings of IEEE International Automated Software Engineering Conference, ASE 2002. IEEE Computer
…Deviation Analysis Through Model Checking ∗ Mats P.E. Heimdahl, Yunja Choi, Mike Whalen Department…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB