☰

Yunja Choi, Ph.D. - Publications

Affiliations: 
2003 University of Minnesota, Twin Cities, Minneapolis, MN 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

13 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Kim D, Choi Y. A two-step approach for pattern-based API-call constraint checking Science of Computer Programming. 163: 19-41. DOI: 10.1016/J.Scico.2018.04.001  0.4
2015 Choi Y, Park M, Byun T, Kim D. Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation Science of Computer Programming. 103: 51-70. DOI: 10.1016/J.Scico.2014.10.006  0.375
2015 Choi Y, Byun T. Constraint-based test generation for automotive operating systems Software and Systems Modeling. DOI: 10.1007/S10270-014-0449-6  0.404
2014 Choi Y. Model checking trampoline OS: A case study on safety analysis for automotive software Software Testing Verification and Reliability. 24: 38-60. DOI: 10.1002/Stvr.1482  0.403
2012 Bunse C, Choi Y, Gross HG. Evaluation of an Abstract Component Model for Embedded Systems Development Journal of Information Processing Systems. 8: 539-554. DOI: 10.3745/Jips.2012.8.4.539  0.413
2012 Choi Y, Kim M. Controlled composition and abstraction for bottom-up integration and verification of abstract components Information & Software Technology. 54: 119-136. DOI: 10.1016/J.Infsof.2011.08.001  0.42
2011 Jang H, Park M, Choi Y. A Model Translator for Checking Behavioral Consistency of Abstract Components The Kips Transactions:Partd. 443-450. DOI: 10.3745/Kipstd.2011.18D.6.443  0.364
2011 Choi Y. Safety analysis of Trampoline OS using model checking: An experience report Proceedings - International Symposium On Software Reliability Engineering, Issre. 200-209. DOI: 10.1109/ISSRE.2011.22  0.304
2011 Choi Y, Bunse C. Design verification in model-based μ-controller development using an abstract component Software and Systems Modeling. 10: 91-115. DOI: 10.1007/S10270-010-0147-Y  0.415
2011 Kim M, Kim Y, Choi Y. Concolic testing of the multi-sector read operation for flash storage platform software Formal Aspects of Computing. 24: 355-374. DOI: 10.1007/S00165-011-0200-9  0.36
2007 Choi Y. Early Safety Analysis: from Use Cases to Component-based Software Development The Journal of Object Technology. 6: 185-203. DOI: 10.5381/Jot.2007.6.8.A4  0.389
2007 Choi Y. From NuSMV to SPIN: Experiences with model checking flight guidance systems Formal Methods in System Design. 30: 199-216. DOI: 10.1007/s10703-006-0027-9  0.322
2002 Choi Y, Rayadurgam S, Heimdahl MPE. Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints Requirements Engineering. 7: 225-242. DOI: 10.1007/S007660200018  0.501
Show low-probability matches.