본문 바로가기

황대연 (Dae Yon Hwang)

소속기관
고려대학교
소속부서
컴퓨터학과
직급
-
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 전자/정보통신공학
  • 공학 > 컴퓨터학

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수18
  • 발행기간2003 ~ 2015
  • 이용수1,961
  • 피인용수2

논문제목를 인용한 논문목록입니다.

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크 정보과학회 컴퓨팅의 실제 논문지 2015 78 0
계층적 스케줄링 시스템의 스케줄링 가능성 검증을 위한 UPPAAL 모델 한국정보과학회 학술발표논문집 2014 31 0
시큐어 임베디드 소프트웨어 개발을 위한 위협모델링 기법 한국정보과학회 학술발표논문집 2014 138 0
UPPAAL을 이용한 인공 심장 박동기의 안전성 검사 한국정보과학회 학술발표논문집 2012 122 0
Statchart/ACSR:State chart와 ACSR을 조합한 정형 명세 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2012 60 0
SCADE를 이용한 발전소 제어용 통신 모듈 안전성 연구 한국정보과학회 학술발표논문집 2011 46 0
SNS을 활용한 스마트 채널 구축방안 한국정보과학회 학술발표논문집 2011 661 1
SC/ACSR : ACSR과 Statechart를 조합한 정형 명세 한국정보과학회 학술발표논문집 2011 23 0
융합소프트웨어 안전성을 위한 소프트웨어공학 기술 적용 정보과학회지 2010 353 0
Combining 분기 예측기에서의 Choice 분기 예측기의 포화 카운터에 관한 연구 한국정보과학회 학술발표논문집 2009 38 0
중첩 반복문을 위한 학습형 예측기를 이용한 향상된 분기 예측기 구현 대한전자공학회 학술대회 2009 15 0
중첩 반복문을 위한 학습형 예측기를 이용한 향상된 분기 예측기 구현 대한전자공학회 학술대회 2009 6 0
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성 정보과학회논문지 : 소프트웨어 및 응용 2008 156 1
상태차트를 이용한 철도제어시스템 요구사항 명세 한국정보과학회 학술발표논문집 2008 97 0
시스템 안전성을 위한 복잡도 메트릭스 고찰 한국정보과학회 학술발표논문집 2008 47 0
Statechart 상호 변환을 위한 Semantics의 분석 한국정보과학회 학술발표논문집 2006 37 0
Assertion Based Verification을 이용한 Statechart 모델의 검증 한국정보과학회 학술발표논문집 2004 27 0
SMV를 이용한 접근통제모델의 정형적 설계방법 연구 한국정보과학회 학술발표논문집 2003 26 0