KOASAS

Shin, Hyunil; Choi, Ho-Jin; Baik, Jongmoon, International Conference on Software Process, ICSP 2007, pp.73 - 83, 2007-05-19

Shin, H.; Choi, H.-J.; Baik, Jongmoon, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v.4470 LNCS, pp.73 - 83, 2007

Shin, Hyunil; Choi, Hojin; Baik, Jongmoon, Lecture Notes in Computer Science, Vol.4470, pp.73-83, 2007

신현일; 최호진; 백종문, 2007 한국 소프트웨어공학 학술대회 (KCSE-2007), pp.0 - 0, 2007-02-01

Kim, Daeyoung; Doh, Y; Lee, YH, pp.0 - 0, 2000-10

서희석; 정인상; 김병만; 권용래, 정보과학회논문지:소프트웨어 및 응용, v.29, no.12, 2002-12

Kim, Moonzoo; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03

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

김철기; Kim, Cheol-Gi; et al, 한국과학기술원, 1998

Cho, Junhee; Ryu, Sukyoung, 13th International Conference on Modularity, MODULARITY 2014 (Formerly AOSD), pp.229 - 240, Association for Computing Machinery, 2014-04-24

Park, Jihyeok; Ryu, Sukyoung; et al, 한국과학기술원, 2022

Park, Jihyeok; An, Seungmin; Youn, Dongjun; Kim, Gyeongwon; Ryu, Sukyoung, 43rd IEEE/ACM International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP) / 43rd ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), pp.13 - 24, IEEE COMPUTER SOC, 2021-05

Jin, Sou-Young; Lee, Suwon; Nur Aziza Azis; Choi, Ho-Jin, The International Conference on Big Data and Smart Computing (BigComp2014), pp.123 - 127, Korean Institute of Information Scientists and Engineers, 2014-01-15

Song, Junehwa; Dan, A; Sitaram, D, MULTIMEDIA SYSTEMS, v.8, no.4, pp.295 - 314, 2002-07

PARK, JIHYEOK; Park, Jihee; An, Seungmin; Ryu, Sukyoung, 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, pp.647 - 658, IEEE/ACM, 2020-09-23

Kim, Minsu; Shin, Insik; et al, 한국과학기술원, 2019

Lee, Kilho; Kim, Minsu; Kim, Hayeon; Chwa, Hoon Sung; Lee, Jaewoo; Lee, Jinkyu; Shin, Insik, IEEE INTERNET OF THINGS JOURNAL, v.6, no.4, pp.6310 - 6324, 2019-08

이상헌; Lee, Sang-Heon; et al, 한국과학기술원, 2014

Lee, Jae-Gil; Attaluri, Gopi; Barber, Ronald; Chainani, Naresh; Draese, Oliver; Ho, Frederick; Idreos, Stratos; et al, 40th International Conference on Very Large Data Bases, VLDB 2014, pp.1355 - 1366, ACM SIGMOD and VLDB Endowment, 2014-09-02

Shim, Hajin; Yang, Eunho; et al, 한국과학기술원, 2019