1 | A Formal C Memory Model Supporting Integer-Pointer Casts Kang, Jeehoon; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06 |
2 | (A) method of knowledge base verification and validation for nuclear power plants expert systems = 원자력 발전소 전문가시스템의 지식베이스 확인 및 검증에 관한 연구link Kwon, Il-Won; 권일원; et al, 한국과학기술원, 1996 |
3 | (A) verification method for web service composition based on discrete event system modeling and simulation = 이산사건시스템 모델링 및 시뮬레이션 기반 웹 서비스 조합 검증 방법link Lim, Seong-Yong; 임성용; et al, 한국과학기술원, 2010 |
4 | Abstractions from Tests Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01 |
5 | (An) approach to defining and verifying modules for Statecharts = Statecharts 모듈 정의 및 검증link Seo, Sun-Ae; 서선애; et al, 한국과학기술원, 2000 |
6 | Calibration and verification of the reaction rate for an insensitive PBX Park, Jung Su; Youn, Sung-Kie; Lee, Jaimin, JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, v.31, no.12, pp.6019 - 6032, 2017-12 |
7 | Compositional Shape Analysis by Means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok, JOURNAL OF THE ACM, v.58, no.6, 2011-12 |
8 | Compositional Shape Analysis by means of Bi-Abduction Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter; Yang, Hongseok, ACM SIGPLAN NOTICES, v.44, no.1, pp.289 - 300, 2009-01 |
9 | Consistency checking between Models in object-oriented analysis = 객체 지향 분석 모형간의 일관성 진단link Chun, Wang-Sung; 천왕성; et al, 한국과학기술원, 1997 |
10 | Controlled composition and abstraction for bottom-up integration and verification of abstract components Choi, Y; Kim, Moonzoo, INFORMATION AND SOFTWARE TECHNOLOGY, v.54, no.1, pp.119 - 136, 2012-01 |
11 | Detection of Harmful Schizophrenic Statements in Esterel Yun, Jeong-Han; Kim, Chul-Joo; Kim, Seong-Gun; Choe, Kwang-Moo; Han, Tai-Sook, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.12, no.3, 2013-03 |
12 | DEVELOPMENT AND PRELIMINARY ASSESSMENT OF A THREE-DIMENSIONAL THERMAL HYDRAULICS CODE, CUPID Jeong J.J.; Yoon H.Y.; Park I.K.; Cho H.K.; Lee H., NUCLEAR ENGINEERING AND TECHNOLOGY, v.42, no.3, pp.279 - 296, 2010 |
13 | Development of a tool for knowledge base verification of expert system based on Design/CPN = Design/CPN에 기초를 둔 전문가 시스템의 지식기반 확인을 위한 도구의 개발link Kim, Jong-Hyun; 김종현; et al, 한국과학기술원, 1998 |
14 | DEVS 형식론을 이용한 공항 PAR 관제 시스템 자동화 방안 검증 성창호; 구정; 김탁곤; 김기형, 한국시뮬레이션학회 논문지, v.21, no.3, pp.1 - 9, 2012-09 |
15 | DEVS-based framework for logical and performance analysis of discrete event systems = DEVS 형식론에 근거한 이산 사건 시스템의 성능 분석 및 논리적 분석을 위한 틀link Hong, Gyung-Pyo; 홍경표; et al, 한국과학기술원, 1997 |
16 | Finding Optimum Abstractions in Parametric Dataflow Analysis Zhang, Xin; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06 |
17 | Formal Modeling and Verification of Safety-Critical Software Yoo J.; Jee, Eunk Young; Cha S., IEEE SOFTWARE, v.26, no.3, pp.42 - 49, 2009 |
18 | Hierarchical bisimulation based on DEVS formalism = DEVS 형식론에 기반한 계층적 bisimulation 기법link Kim, Dae-Hyun; 김대현; et al, 한국과학기술원, 1999 |
19 | Implementation of hardware for behavioral model emulator = 행위 모델 에뮬레이터를 위한 하드웨어 구현link Kim, Young-Il; 김영일; et al, 한국과학기술원, 2000 |
20 | Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.9, pp.404 - 417, 2011-09 |
21 | PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink 김태호; Kim, Tae-Ho; et al, 한국과학기술원, 1997 |
22 | RC 회로망을 이용한 on-wafer noise 측정 검증용 noise standard의 설계 = An on-wafer noise measurement verification standard using a pai-section RC networklink 김지훈; Kim, Ji-Hoon; et al, 한국정보통신대학원대학교, 2000 |
23 | Real-traffic based simulation environment for gigabit switch chipset = 기가비트 스위치 칩셋 검증을 위한 실제 트래픽 기반의 시뮬레이션 환경link Chun, Jung-Bum; 전정범; et al, 한국과학기술원, 2000 |
24 | RTL design verification with target H/W = 대상 하드웨어를 이용한 레지스터 전달 수준 디자인의 검증link Lee, Jae-Gon; 이재곤; et al, 한국과학기술원, 2000 |
25 | Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services Kwon, Youngjin; Dunn, Alan M.; Lee, Michael Z.; Hofmann, Owen S.; Xu, Yuanzhong; Witchel, Emmett, ACM SIGPLAN NOTICES, v.51, no.4, pp.277 - 290, 2016-04 |
26 | Separation and Information Hiding O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04 |
27 | SPIN++를 이용한 병렬 객체 모델의 검증 = Concurrent object model verification using SPIN++link 조웅희; Cho, Woong-Hee; et al, 한국과학기술원, 1999 |
28 | Stack aided verification tool for software defined network and network function virtualization = SDN과 NFV를 위한 스택 기반 검증 방법link Kim, Changjun; 김창준; et al, 한국과학기술원, 2015 |
29 | Step-Indexed Kripke Models over Recursive Worlds Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Stovring, Kristian; Thamsborg, Jacob; Yang, Hongseok, ACM SIGPLAN NOTICES, v.46, no.1, pp.119 - 131, 2011-01 |
30 | Stepwise verification of statecharts specification using state abstraction = 상태 추상화를 통한 Statecharts 요구명세의 단계적 검증link Oh, Seung-Uk; 오승욱; et al, 한국과학기술원, 1998 |
31 | Systematic evaluation of fault trees using real-time model checker = 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증link Jee, Eun-Kyoung; 지은경; Bae, Doo-Hwan; Cha, Sung-Deok; et al, 한국과학기술원, 2001 |
32 | The performance enhancement and verification of wireless LAN system = 무선 랜 시스템의 성능 향상과 검증link Son, Jung-Bo; 손정보; et al, 한국정보통신대학교, 2005 |
33 | Toolpath generation and verification for optimal machining of sculptured surface = 자유곡면의 최적가공을 위한 공구경로의 생성과 검증link Kim, Chan-Bong; 김찬봉; et al, 한국과학기술원, 1995 |
34 | Translating typestates protocol specification into hoare-style specification for object-oriented program verification = 객체 지향 프로그램 검증을 위한 Typestates 프로토콜 명세의 Hoare 스타일 명세로의 번역link Kim, Taek-Goo; 김택구; Kang, Sung-Won; 강성원; et al, 한국과학기술원, 2009 |
35 | Validation of MCS code for shielding calculation using SINBAD Feng, XiaoYong; Zhang, Peng; Lee, Hyunsuk; Lee, Deokjung; Lee, Hyun Chul, NUCLEAR ENGINEERING AND TECHNOLOGY, v.54, no.9, pp.3429 - 3439, 2022-09 |
36 | Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증link Bae, Hyun-Seop; 배현섭; et al, 한국과학기술원, 1999 |
37 | VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS Yoo, Junbeom; Cha, Sungdeok; Jee, Eunk Young, NUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.1, pp.79 - 90, 2009-02 |
38 | VICODE : 검증도구가 일체화된 동시설계환경 = VICODE : verification integrated co-design environmentlink 김건우; Kim, Gun-Woo; et al, 한국과학기술원, 2007 |
39 | Views: Compositional Reasoning for Concurrent Programs Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01 |
40 | X3D-based visual verification of SEDRIS and history-based parametric CAD models = SEDRIS 데이터와 이력기반 파라메트릭 CAD 모델의 X3D 가시화 검증link Rathore, Pranveer Singh; Rathore, Singh; et al, 한국과학기술원, 2010 |
41 | 객체 지향 요구 명세의 동적 행위 검증을 위한 방법 = An approach to verification of dynamic behavior in object-oriented requirements specificationlink 백진욱; Baek, Jin-Wook; et al, 한국과학기술원, 1997 |
42 | 시나리오기반 UML 객체지향 분석모델 검증기법 = Scenario driven verification method for UML object oriented analysis modellink 조진형; Cho, Jin-Hyung; et al, 한국과학기술원, 1999 |
43 | 실시간 무선 RF 대역 송수신 MODEM 개발 시스템 구현 및 성능 분석 = Implementation and performance analysis for real time wireless RF transceiver and MODEM test bedslink 박형철; Park, Hyung-Chul; et al, 한국과학기술원, 1998 |
44 | 향상된 시뮬레이션 환경을 위한 계층적 애니메이션 시스템의 개발 = Development of a hierarchical animation system for the improvement of the simulation environmentlink 오상영; Oh, Sang-Young; et al, 한국과학기술원, 2000 |