KOASAS

Kang, Kyo Chul; Kim, Moonzoo; Lee, Jaejoon; Kim, Byungkil; Hong, Youngjin; Lee, Hyoungki; Bang, Seokwon, IEEE International Conference on Robotics and Automation, pp.2903 - 2908, IEEE, 2005-04-19

Hoang, Duc Bui; 김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-09

Moon, Seokhyun; Kim, Yoonho; Kim, Moonzoo; Yoo, Shin, International Conference on Software Testing, Verification and Validation (ICST), pp.153 - 162, IEEE Computer Society, 2014-04-02

Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26

Kim, Moonzoo; Kim, Yunho, 12th Brazilian Symposium on Formal Methods, SBMF 2009, pp.251 - 265, 2009-08-19

Kim, Yunho; Kim, Moonzoo; Jang, Yoonkyu, ACM SIGSOFT Foundation of Software Engineering Industrial track, ACM SIGSOFT Foundation of Software Engineering Industrial track, 2011-09-05

김영주; 김윤호; 김문주, 한국정보처리학회 추계학술대회, 한국정보처리학회, 2011-10-26

김윤호; 김문주; 장윤규, Korea Computer Congress (KCC), 한국정보과학회, 2012-06-28

Xu, Zhihong; Kim, Yunho; Kim, Moonzoo; Rothermel, Gregg; Cohen, Myra B., 18th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-18, pp.257 - 266, ACM, 2010-11-07

Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20

Kim, Moonzoo; Kang, Kyo Chul; Lee, Hyoungki, International Conference on Robotics and Automation, pp.4739 - 4744, IEEE, 2005-04-18

Kim, Moonzoo; Viswanathan, Mahesh; Abdallah, Hanene Ben; Kannan, Sampath; Lee, Insup, European Conference on Real-Time Systems, pp.114 - 122, ECRTS, 1999-06-09

Viswanathan, Mahesh; Kim, Moonzoo, First international conference on Theoretical Aspects of Computing , pp.543 - 556, ICTAC, 2005-10

Kim, Moonzoo; Kannan, S.; Lee, I.; Sokolsky, O., Runtime Verification, pp.218 - 235, Runtime Verification, 2001-07-23

Kim, Moonzoo; Hong, Shin; Hong, Changki; Kim, Taeho, Model-based Testing (ENTCS), pp.21 - 36, Model-based Testing (ENTCS), 2009-05-22

Kim, Moonzoo; Lee, Insup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, 2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111, Run-time Verification, 2002-07-26

Kim, Moonzoo; Lee, Jaejoon; Kang, Kyo Chul, ACM/IEEE International Conference on Software Engineering (ICSE), pp.505 - 513, ICSE, 2005-05-18

Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Modeling Software System Structures in a Fastly Moving Scenario, Modeling Software System Structures in a Fastly Moving Scenario, 2000-06

Lee, Insup; Kannan, Sampath; Kim, Moonzoo; Sokolsky, Oleg; Viswanathan, Mahesh, International Conference on Parallel and Distributed Processing Techniques and Applications, pp.279 - 287, PDPTA', 1999-07-01

Sokolsky, Oleg; Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh, Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999. , pp.11 - 18, International Workshop on Object-Oriented Real-Time Dependable Systems, 1999-03-23

Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01

김문주; 홍창기; 홍신, 한국 소프트웨어공학 학술대회, pp.415 - 416, 2009-02-10

김문주; 홍신; Matt Staats, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-10

문영주; 김문주; 김태효, Korea Computer Congress (KCC), 한국정보과학회, 2013-11-15

안재민; 홍신; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2012-02-09

김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2011-02-09

김윤호; 김문주, 한국 소프트웨어공학 학술대회, 한국정보과학회/한국정보처리학회, 2010-02-08

김문주; 김윤호; 김호태, 한국 소프트웨어공학 학술대회, pp.19 - 23, 2008-02-20

문석현; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13

박용배; 김윤호; 조준희; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2014-02-13

안재민; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31

박용배; 김윤호; 김문주, Korea Computer Congress (KCC), 한국정보과학회, 2012-11-24

문석현; 김윤호; 김문주, Korea Conference on Software Engineering (KCSE), 한국소프트웨어공학회, 2013-01-31