Jin Hyun Kim

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jin Young Choi

> Home > Persons > Jin Hyun Kim

Publications

2016
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/Larsen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/Larsen16
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016)
2011
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/KimCKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/KimCKL11
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-9 (2011)
2010
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/KimCKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/KimCKL10
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16(17): 2415-2434 (2010)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/KimKCL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/KimKCL10
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee:
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6(4): 568-578 (2010)
2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/KimC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/KimC07
Jin Hyun Kim, Jin-Young Choi:
Embedded System Modeling Based on Resource-Oriented Model. ECBS 2007: 203-212
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/KimSKC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/KimSKC07
Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi:
Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC 2007: 244-249
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimSC08
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. FACS 2007: 171-189
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KimLASYLC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KimLASYLC04
Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi:
Development of RTOS for PLC Using Formal Methods. ATVA 2004: 479-482
2001
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/hci/KimKKKCP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/KimKKKCP01
Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo:
A visual component based tool for developing embedded application software. HCI 2001: 180-184

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.