dslab.konkuk.ac.kr

Dependable Software Laboratory

Associate Professor / Ph.D. Division of Computer Science and Engineering. College of Information and Communication, KONKUK UNIVERSITY. Room 904, New Millennium Hall. 1 Hwayang-dong, Gwangjin-gu, Seoul, 143-701, Korea. E-Mail: jbyoo@konkuk.ac.kr. Formal Modeling and Verification. Nuclear Development Environment) :. FBD-based Software Development Framework for Nuclear Power Plants' Protection System. FBD Tester , NuFTA. FBD Checker , IST-FPGA. V&V of OFP for the HELISCOPE UAV. 3-1) 소프트웨어 모델링 및 분석.

http://dslab.konkuk.ac.kr/

OVERVIEW OF dslab.konkuk.ac.kr

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR DSLAB.KONKUK.AC.KR

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

February

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Monday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.4 out of 5 with 7 reviews

5 star

5

4 star

0

3 star

2

2 star

0

1 star

0

Hey there! Start your review of dslab.konkuk.ac.kr

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.7 seconds

FAVICON PREVIEW

16x16
32x32
64x64

CONTACTS AT DSLAB.KONKUK.AC.KR

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

20

SSL

EXTERNAL LINKS

1

SITE IP

117.16.143.51

LOAD TIME

0.679 sec

SCORE

6.2

PAGE TITLE

Dependable Software Laboratory | dslab.konkuk.ac.kr Reviews

<META> DESCRIPTION

Associate Professor / Ph.D. Division of Computer Science and Engineering. College of Information and Communication, KONKUK UNIVERSITY. Room 904, New Millennium Hall. 1 Hwayang-dong, Gwangjin-gu, Seoul, 143-701, Korea. E-Mail: jbyoo@konkuk.ac.kr. Formal Modeling and Verification. Nuclear Development Environment) :. FBD-based Software Development Framework for Nuclear Power Plants' Protection System. FBD Tester , NuFTA. FBD Checker , IST-FPGA. V&V of OFP for the HELISCOPE UAV. 3-1) 소프트웨어 모델링 및 분석.

<META> KEYWORDS

1 dependable software laboratory

2 junbeom yoo

3 research interests

4 software engineering

5 safety analysis

6 hybrid system verification

7 requirement engineering

8 current research focus

9

10 nuscrtofbd

CONTENT

Page content here

KEYWORDS ON PAGE

dependable software laboratory,junbeom yoo,research interests,software engineering,safety analysis,hybrid system verification,requirement engineering,current research focus,****,nuscrtofbd,fbd verifier,vis analyzer,fbdtoverilog,fbd fta,cvec,members

SERVER

Microsoft-IIS/7.5

POWERED BY

ASP.NET

CONTENT-TYPE

ks_c_5601-1987

GOOGLE PREVIEW

Dependable Software Laboratory | dslab.konkuk.ac.kr Reviews

https://dslab.konkuk.ac.kr

Associate Professor / Ph.D. Division of Computer Science and Engineering. College of Information and Communication, KONKUK UNIVERSITY. Room 904, New Millennium Hall. 1 Hwayang-dong, Gwangjin-gu, Seoul, 143-701, Korea. E-Mail: jbyoo@konkuk.ac.kr. Formal Modeling and Verification. Nuclear Development Environment) :. FBD-based Software Development Framework for Nuclear Power Plants' Protection System. FBD Tester , NuFTA. FBD Checker , IST-FPGA. V&V of OFP for the HELISCOPE UAV. 3-1) 소프트웨어 모델링 및 분석.

INTERNAL PAGES

dslab.konkuk.ac.kr

1

Young-ju Seo

http://dslab.konkuk.ac.kr/Members/syj.htm

Division of Computer Science and Engineering. Syjsmk at naver dot com. Syjsmk at konkuk.ac.kr. 서영주, 이동아, 유준범, "Fault Tree의 저장을 위한 범용적인 형태의 XML 스키마", 2013 한국컴퓨터종합학술대회(Korea Computer Congress 2013; KCC 2013), Vol. 40, No. 00, pp. 592 594, 전라남도 여수 디오션리조트, 2013.06.26 28 ( paper. 서영주, 이동아, 유준범, "VerilogLinker : FPGA제어기 통합개발환경과 상용 FPGA 합성도구의 연동", 2014 한국정보처리학회 춘계학술발표대회 (KIPS 2014) 논문집 제21권 1호, pp.595-599, 아주대학교, 04.24 25, 2014. ( paper.

2

Eui-Sub Kim

http://dslab.konkuk.ac.kr/Members/Kim.htm

Division of Computer Science and Engineering. Junbeom Yoo, Eui-Sub Kim and Jang-Soo Lee, A Behavior-Preserving Translation from FBD Design to C Implementation for Reactor Protection System Software, Nuclear Engineering and Technology, Vol.45, No.4, pp.489-504, 2013. ( paper. Sejin Jung, Eui-Sub Kim, Junbeom Yoo, Jang-Yeol Kim and Jong Gyun Choi, "An Evaluation and Acceptance of COTS Software for FPGA-based Controllers in NPPS," Annals of Nuclear Energy, Vol.94, pp.338-349, 2016. ( paper. Dong-Ah Lee, Eui...

3

Alumni

http://dslab.konkuk.ac.kr/Members/Alumni.htm

201003 2012.02 : 석사 졸업. 201203 현재 : 건국대학교 박사과정. 201003 2012.02 : 석사 졸업. 201203 현재 : 건국대학교 박사과정. 201103 2013.02 : 석사 졸업. 201303 현재 : ETRI CPS 연구팀 연구원. 201209 2012.12 : 석사과정 중퇴. 201403 현재 : 한예종. 201103 2013.08 : 석사 졸업. 201309 2016.08 : 건국대학교 박사과정 휴학 및 취업. 201609 현재 : 건국대학교 박사과정. 201209 2015.02 : 석사 졸업. 201503 현재 : 건국대학교 박사과정. 201309 2016.02 : 석사 졸업. 201503 2016.08 : 석사 졸업. 201503 2016.08 : 석사 졸업. 201609 현재 : 건국대학교 박사과정. 201503 2017.02 : 석사 졸업 (IT융합정보보호학과). 201612 현재 : 대신정보통신 근무.

4

Jaeyeob Kim

http://dslab.konkuk.ac.kr/Members/Yeob.htm

Division of Computer Science and Engineering. Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young Jun Lee, Jong-Gyun Choi, "An Integrated Software Testing Framework for FPGA-based Controllers in Nuclear Power Plants", Nuclear Engineering and Technology, Vol.48, No.2, pp.470-481, 2016. ( paper. 김재엽, 이동아, 서영주, 유준범, "NuSCRtoFBD 4.0: NuSCR 정형명세언어로부터 FPGA 개발용 FBD프로그램 자동생성 도구", 한국정보과학회 2014 한국컴퓨터종합학술대회 (KCC 2014), pp 1986-1988, 부경대학교&해운대그랜드호텔, 06.25 06.27, 2014. ( paper. 김재엽, 이동아, 유준범, "소프트웨어 개발 프로세스를 대상으로 수행하는 추적성 분...

5

2015 Lab Activity

http://dslab.konkuk.ac.kr/Lab_Activity/2015.htm

DSLab Activities in 2015. 201506.04 : ISET 2015 ( program. 유준범 교수 논문 발표 ( paper. 201506.24-06.25 : 2015 한국컴퓨터종합학술대회 (KCC 2015 , 프로그램. 논문 발표, 김재엽(석1) 참가. 201512.17-12.19 : 2015 한국컴퓨터종합학술대회 (KCC 2015 , 프로그램. 논문 발표, 김의섭(박1), 김태현(석1), 김민우(학부연구생) 참가.

UPGRADE TO PREMIUM TO VIEW 15 MORE

TOTAL PAGES IN THIS WEBSITE

20

LINKS TO THIS WEBSITE

ssef.kr

SSEF 조직

http://www.ssef.kr/main/organization.htm

김익환 ( ABC 컨설팅. 김영진 ( BNF 테크놀로지. 송승환 ( POSCO ICT. 위장 : 김국헌 ( 두산중공업. 부의장: 이상은 ( SW공학센터. 원자력/전력 : 이장수 ( 한국원자력연구원. 자동차 : 배현철 ( 현대자동차. 항공/우주 : 양상우 ( 한국항공우주산업주식회사. 철도 : 김용규 ( 한국철도기술연구원. 의료 : 백종문 ( 한국과학기술원. 기술융합 : 배현섭 ( 슈어소프트웨크. 분과위원장: 이장수 책임연구원 (한국원자력연구원). 송승환 부장 (POSCO ICT). 분과위원장: 양상우 ( 한국항공우주산업주식회사. 분과위원장: 배현철 ( 현대자동차. 분과위원장: 김용규 ( 한국철도기술연구원. 분과위원장: 백종문 ( 한국과학기술원.

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL LINKS TO THIS WEBSITE

1

OTHER SITES

dslab.epfl.ch

Overview - Dependable Systems Lab

We develop techniques and abstractions for building trustworthy computer systems. Ie, systems that are safe and secure. In our work, we:. Enjoy exploring the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers. Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations. Our work is funded by ERC.

dslab.es

DSLab - Whispering IT things...

Whispering IT things…. Saltar al contenido principal. Saltar al contenido secundario. Fiddler: la manera de depurar errores en tu webapp. 27 abril, 2015. No hay comentarios ↓. Si desarrollas aplicaciones web y tú o tu jefe es un perfeccionista nato esta es tu herramienta. Fiddler te ayuda con la detección de errores de programación y rendimiento de tu aplicación web, además de permitirte auditar la seguridad y muchas Seguir leyendo →. Haz clic para compartir en Twitter (Se abre en una ventana nueva).

dslab.fr

DSlab - Portfolio - Création graphique

Partenaire de toutes vos créations graphiques. Fondation La Borie en Limousin. Création logo and modélisation 3D. La Chaumière de Sucy. Création plaquette 3 volets. Création dépliant 3 volets. Les Brasseurs du Sornin. Les brasseurs du sornin.

dslab.in

Website Design Company & Digital Agency in HYDERABAD | Dot Solutions Lab

Subscribe to our newsletter. Be the first one to know when we go live. Get awesome. News about our company and always stay up to date with us. Don't worry we will not use your email for spam. A Digital Agency Focused On Growing Brands Online. Our strategy services provide customized, digital solutions to turn you into an industry leader. Our expert team brings digital ideas to life with beautifully executed, creative design. Web and Mobile Development. Tolichowki, Hyderabad 500008. We are working on new.

dslab.info

Home | Diversified Systems, Diversified Media Group, Skyweb Digital Media

A world-class design and integration team for managed network solutions. Broadcast Design and Integration. AV - Experiential Design. Network Operations and Monitoring. Content Management and Design. IPTV/HD Solutions for Business. DIRECTV Residential Experience (DRE). Please fill out all required fields to download the PDF. Park Media Releases Version 5 of its Sign Center Software for both Android and Linux Media Players. NanoLumens NanoSlim display pretties up MAC Cosmetics store in SoHo.

dslab.konkuk.ac.kr

Dependable Software Laboratory

Associate Professor / Ph.D. Division of Computer Science and Engineering. College of Information and Communication, KONKUK UNIVERSITY. Room 904, New Millennium Hall. 1 Hwayang-dong, Gwangjin-gu, Seoul, 143-701, Korea. E-Mail: jbyoo@konkuk.ac.kr. Formal Modeling and Verification. Nuclear Development Environment) :. FBD-based Software Development Framework for Nuclear Power Plants' Protection System. FBD Tester , NuFTA. FBD Checker , IST-FPGA. V&V of OFP for the HELISCOPE UAV. 3-1) 소프트웨어 모델링 및 분석.

dslab.lzu.edu.cn

DSLab | Distributed & Embedded System Lab School of Information Science & Engineering,Lanzhou University

Distributed and Embedded System Lab School of Information Science and Engineering,Lanzhou University. Prof Nicholas McGuire Received Friendship Award in Beijing during China’s 60th Birthday Festival. XM-eRTL-4.0 release candidate 1 (rc1) has been announced. OSADL Safety Critical Linux Working Group. DSLab team take meeting with Mr.Xue of HUAWEI Co. Prof Nicholas McGuire held git training in LanZhou Aug 15-22,2014. High-performance computing technology training. A five Day Workshop On Embedded Linux RTOS.

dslab.naist.jp

ディペンダブルシステム学研究室

ディペンダブルとは、日本語では頼りがいのあることを意味し、. ディペンダブルとは、日本語では頼りがいのあることを意味し、ユーザがシステムを信頼し安心して使えるという、ユーザ視点の概念です。

dslab.narod.ru

DSlab - Denis Strelkov Web Design Studio

DSlab &copy Denis Strelkov 2005.

dslab.net

- Home

Daniel G. Slabaugh. Client Relations/Growth Cross-functional Alliances. Fortune 100 Presentations Team Building/Turnaround. Business Development Operations Management. Big 5 Consulting Strategic Planning. Express Scripts, Inc. St. Louis, MO - 1999 to 2012. 100 billion provider of pharmacy. Drove operations of largest health plan client from implementation to steady state 2.1 million lives and 26 million annual claims. Director, Client Applications & Training. Director, Medicare Product Team. Led Retiree ...

dslab.org

Dependable Systems Lab