Browse "College of Engineering(공과대학)" by Subject VERIFICATION
Showing results 1 to 30 of 30
| A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study Kim, Moon-Zoo; Kim, Yun-Ho; Kim, Ho-Tae, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.37, no.2, pp.146 - 160, 2011 |
| A Simulation-Based Prediction Model of the Restraining and Normal Force of Draw-Beads with a Normalization Method Bae, Gi-Hyun; Huh, Hoon; Park, Sung-Ho, METALS AND MATERIALS INTERNATIONAL, v.18, no.1, pp.7 - 22, 2012-02 |
| (A) design of generic memory model for verification system = 검증 시스템을 위한 통합 메모리 모델의 설계link Hwangbo, Woong; 황보웅; et al, 한국과학기술원, 2004 |
| Augmentation Adversarial Training for Self-Supervised Speaker Representation Learning Kang, Jingu; Huh, Jaesung; Heo, Hee Soo; Chung, Joon Son, IEEE JOURNAL OF SELECTED TOPICS IN SIGNAL PROCESSING, v.16, no.6, pp.1253 - 1262, 2022-10 |
| Automated test case generation for FBD programs implementing reactor protection system software Jee, Eun-Kyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang-Soo; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.24, no.8, pp.608 - 628, 2014-12 |
| CH4 recovery and CO2 sequestration using flue gas in natural gas hydrates as revealed by a micro-differential scanning calorimeter Lee, Yohan; Kim, Yunju; Lee, Jaehyoung; Lee, Huen; Seo, Yongwon, APPLIED ENERGY, v.150, pp.120 - 127, 2015-07 |
| Development of microplane model based on degree of hydration concept Kim, Jin-Keun; Lee, Y, ACI MATERIALS JOURNAL, v.104, pp.313 - 322, 2007-05 |
| Discriminative likelihood score weighting based on acoustic-phonetic classification for speaker identification Suh, Young Joo; Kim, Hoi-Rin, EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2014-08 |
| Enhancing performance of HW/SW cosimulation and coemulation by reducing communication overhead Chung, MK; Kyung, Chong-Min, IEEE TRANSACTIONS ON COMPUTERS, v.55, pp.125 - 136, 2006-02 |
| Fatigue characteristics of the bolted joints for unidirectional composite laminates Lim, TS; Kim, BC; Lee, Dai Gil, COMPOSITE STRUCTURES, v.72, no.1, pp.58 - 68, 2006-01 |
| FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states Song, Jiyoung; Jee, Eunkyoung; Bae, Doo-Hwan, SCIENCE OF COMPUTER PROGRAMMING, v.163, pp.115 - 137, 2018-10 |
| Formal synthesis of application and platform behaviors of embedded software systems Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05 |
| Hydrodynamic hull form optimization using parametric models Han, Soonhung; Lee, Yeon-Seung; Choi, Young Bok, JOURNAL OF MARINE SCIENCE AND TECHNOLOGY, v.17, no.1, pp.1 - 17, 2012-03 |
| Implementing the flexible development platform to verify IP for SoC with multi-core = 다중코어 SoC 상의 IP 검증을 위한 개발환경 구축link Kim, Seon-Pil; 김선필; et al, 한국과학기술원, 2004 |
| Improved batch exponentiation Chung, Byungchun; Hur, Junbeom; Kim, Heeyoul; Hong, Seong-Min; Yoon, Hyunsoo, INFORMATION PROCESSING LETTERS, v.109, no.15, pp.832 - 837, 2009-07 |
| Industrial issues and solutions to statistical model improvement: a case study of an automobile steering column Son, Hyejeong; Lee, Guesuk; Kang, Kyeonghwan; Kang, Young-Jin; Youn, Byeng D.; Lee, Ikjin; Noh, Yoojeong, STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, v.61, no.4, pp.1739 - 1756, 2020-04 |
| Isostructural and cage-specific replacement occurring in sII hydrate with external CO2/N-2 gas and its implications for natural gas production and CO2 storage Seo, Young-ju; Park, Seongmin; Kang, Hyery; Ahn, Yun-Ho; Lim, Dongwook; Kim, Se-Joon; Lee, Jaehyoung; et al, APPLIED ENERGY, v.178, pp.579 - 586, 2016-09 |
| Kinetics of Methane Hydrate Replacement with Carbon Dioxide and Nitrogen Gas Mixture Using in Situ NMR Spectroscopy Cha, Minjun; Shin, Kyuchul; Lee, Huen; Moudrakovski, Igor L.; Ripmeester, John A.; Seo, Yu-Taek, ENVIRONMENTAL SCIENCE & TECHNOLOGY, v.49, no.3, pp.1964 - 1971, 2015-02 |
| Markov Network-Based Unified Classifier for Face Recognition Hwang, Wonjun; Kim, Junmo, IEEE TRANSACTIONS ON IMAGE PROCESSING, v.24, no.11, pp.4263 - 4275, 2015-11 |
| Modelling for design and evaluation of industrial exoskeletons: A systematic review Ma, Tiejun; Zhang, Yanxin; Choi, Sang D.; Xiong, Shuping, APPLIED ERGONOMICS, v.113, 2023-11 |
| MuFBDTester: A mutation-based test sequence generator for FBD programs implementing nuclear power plant software Liu, Lingjun; Jee, Eunkyoung; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.32, no.8, 2022-12 |
| Numerical analysis of the early age behavior of concrete structures with a hydration based microplane model Lee, Y; Kim, Jin-Keun, COMPUTERS & STRUCTURES, v.87, pp.1085 - 1101, 2009-09 |
| Performance-optimized synthesis of finite temporal property for functional coverage in co-emulation system = 에뮬레이션 시스템에서 기능검증 보장을 위해 유한한 길이의 속성을 최적화된 성능을 갖도록 합성하는 방법의 제안link Kim, Hyung-Ock; 김형옥; et al, 한국과학기술원, 2004 |
| Reachability-Based Decision-Making for Autonomous Driving: Theory and Experiments Ahn, Heejin; Berntorp, Karl; Inani, Pranav; Ram, Arjun Jagdish; Di Cairano, Stefano, IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, v.29, no.5, pp.1907 - 1921, 2021-09 |
| Recent advances in thin and broadband layered microwave absorbing and shielding structures for commercial and defense applications Panwar, Ravi; Lee, Jung Ryul, FUNCTIONAL COMPOSITES AND STRUCTURES, v.1, no.3, 2019-09 |
| Robust Supervisors for Intersection Collision Avoidance in the Presence of Legacy Vehicles Ahn, Heejin; Rizzi, Andrea; Colombo, Alessandro, INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, v.18, no.2, pp.384 - 393, 2020-02 |
| Stacked Borrows: An Aliasing Model for Rust Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
| Thermodynamic stability and guest distribution of CH4/N-2/CO2 mixed hydrates for methane hydrate production using N-2/CO2 injection Lim, Dongwook; Ro, Hyeyoon; Seo, Yongwon; Seo, Young-Ju; Lee, Joo Yong; Kim, Se-Joon; Lee, Jaehyoung; et al, JOURNAL OF CHEMICAL THERMODYNAMICS, v.106, pp.16 - 21, 2017-03 |
| Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 |
| Validation of severe accident management guidelines (SAMGs) for advanced power reactor 1400 (APR1400) using colored Petri net (CPN) Tools Lee, Young Seung; No, Young Gyu; Seong, Poong Hyun, ANNALS OF NUCLEAR ENERGY, v.126, pp.186 - 193, 2019-04 |
Discover
Open Access
Date issued
- 24,612 2020 - 2024
- 75,435 2010 - 2019
- 57,255 2000 - 2009
- 30,842 1990 - 1999
- 9,025 1980 - 1989