CS-Journal Papers(저널논문)

Recent Items

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 3126

1

개인별 심박수 기준을 설정하기 위한 피드백-RFC 모델

김태현; 정필수; 이선아; 정기숙; 금창섭; 강성원researcher한국정보처리학회정보처리학회논문지. 소프트웨어 및 데이터 공학, v.6, no.2, pp.91 - 102, 2017-02

2

대화력전 및 기계화 보병 시나리오를 통한 대규모 가상군의 POMDP 행동계획 및 학습 사례연구

이종민; 홍정표; 박재영; 이강훈; 김기응researcher; 문일철; 박재현한국정보과학회정보과학회 컴퓨팅의 실제 논문지, v.23, no.6, pp.343 - 349, 2017-06

3

Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation: Theoretical and Empirical Analysis

Yoo, Shinresearcher; Xie, Xiaoyuan; Kuo, Fei-Ching; Chen, Tsonng Yueh; Harman, MarkASSOC COMPUTING MACHINERYACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.26, no.1, 2017-07

4

On the semantics of refinement calculi

Yang, Hongseokresearcher; Reddy, USSPRINGER-VERLAG BERLINFOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374, 2000

5

A semantic basis for local reasoning

Yang, HSresearcher; O'Hearn, PSPRINGER-VERLAG BERLINFOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, v.2303, pp.402 - 416, 2002

6

Inserting safe memory reuse commands into ML-like programs

Lee, O; Yang, Hongseokresearcher; Yi, KSPRINGER-VERLAG BERLINSTATIC ANALYSIS, PROCEEDINGS, v.2694, pp.171 - 188, 2003

7

Automatic construction of hoare proofs from abstract interpretation results

Seo, SN; Yang, Hongseokresearcher; Yi, KKSPRINGER-VERLAG BERLINPROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v.2895, pp.230 - 245, 2003

8

Correctness of data representations involving heap data structures

Reddy, US; Yang, HongseokresearcherSPRINGER-VERLAG BERLINPROGRAMMING LANGUAGES AND SYSTEMS, v.2618, pp.223 - 237, 2003

9

통합된 버그잡는 기술들 : SLAM과 Bandera

양홍석researcher; 이욱세한국정보과학회정보과학회지, v.21, no.1, pp.15 - 21, 2003-01

10

Separation and information hiding

O'Hearn, Peter W.; Yang, Hongseokresearcher; Reynolds, John C.ASSOC COMPUTING MACHINERYACM SIGPLAN NOTICES, v.39, pp.268 - 280, 2004-01

11

Correctness of data representations involving heap data structures

Reddy, US; Yang, HongseokresearcherELSEVIER SCIENCE BVSCIENCE OF COMPUTER PROGRAMMING, v.50, no.1-3, pp.129 - 160, 2004-03

12

Possible worlds and resources: The semantics of BI

Pym, DJ; OHearn, PW; Yang, HongseokresearcherELSEVIER SCIENCE BVTHEORETICAL COMPUTER SCIENCE, v.315, no.1, pp.257 - 305, 2004-05

13

Automatic verification of pointer programs using grammar-based shape analysis

Lee, O; Yang, Hongseokresearcher; Yi, KKSPRINGER-VERLAG BERLINPROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, v.3444, pp.124 - 140, 2005

14

Static insertion of safe and effective memory reuse commands into ML-like programs

Lee, O; Yang, Hongseokresearcher; Yi, KELSEVIER SCIENCE BVSCIENCE OF COMPUTER PROGRAMMING, v.58, no.1-2, pp.141 - 178, 2005-10

15

A local shape analysis based on separation logic

Distefano, Dino; O'Hearn, Peter W.; Yang, HongseokresearcherSPRINGER-VERLAG BERLINTOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, v.3920, pp.287 - 302, 2006

16

Shape analysis for low-level code

Yang, HongseokresearcherSPRINGER-VERLAG BERLINSTATIC ANALYSIS, PROCEEDINGS, v.4134, pp.280 - 280, 2006

17

Beyond reachability: Shape abstraction in the presence of pointer arithmetic

Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, HongseokresearcherSPRINGER-VERLAG BERLINSTATIC ANALYSIS, PROCEEDINGS, v.4134, pp.182 - 203, 2006

18

SEMANTICS OF SEPARATION-LOGIC TYPING AND HIGHER-ORDER FRAME RULES FOR ALGOL-LIKE LANGUAGES

Birkedal, Lars; Torp-Smith, Noah; Yang, HongseokresearcherTECH UNIV BRAUNSCHWEIGLOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5, 2006

19

Relational separation logic

Yang, HongseokresearcherELSEVIER SCIENCE BVTHEORETICAL COMPUTER SCIENCE, v.375, no.1-3, pp.308 - 334, 2007-05

20

RELATIONAL PARAMETRICITY AND SEPARATION LOGIC

Birkedal, Lars; Yang, HongseokresearcherTECH UNIV BRAUNSCHWEIGLOGICAL METHODS IN COMPUTER SCIENCE, v.4, no.2, 2008

rss_1.0 rss_2.0 atom_1.0