The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "BaekGyu Kim" ( http://dblp.L3S.de/Authors/BaekGyu_Kim )

  Author page on DBLP  Author page in RDF  Community of BaekGyu Kim in ASPL-2

Publication years (Num. hits)
2011-2015 (15) 2016-2019 (22)
Publication types (Num. hits)
article(7) inproceedings(30)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 38 publication records. Showing 37 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shili Sheng, Erfan Pakdamanian, Kyungtae Han, BaekGyu Kim, Prashant Tiwari, Inki Kim, Lu Feng 0001 A Case Study of Trust on Autonomous Driving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ziran Wang, Kyungtae Han, BaekGyu Kim, Guoyuan Wu, Matthew J. Barth Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alesia Chernikova, Alina Oprea, Cristina Nita-Rotaru, BaekGyu Kim Are Self-Driving Cars Secure? Evasion Attacks against Deep Neural Networks for Steering Angle Prediction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1BaekGyu Kim, Lu Feng 0001, Oleg Sokolsky, Insup Lee Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models. Search on Bibsonomy TCPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hiromitsu Kobayashi, Kyungtae Han, BaekGyu Kim Vehicle-to-Vehicle Message Sender Identification for Co-Operative Driver Assistance Systems. Search on Bibsonomy VTC Spring The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haoxin Wang, BaekGyu Kim, Jiang Xie, Zhu Han E-Auto: A Communication Scheme for Connected Vehicles with Edge-Assisted Autonomous Driving. Search on Bibsonomy ICC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ziran Wang, Kyungtae Han, BaekGyu Kim, Guoyuan Wu, Matthew J. Barth Lookup Table-Based Consensus Algorithm for Real-Time Longitudinal Motion Control of Connected and Automated Vehicles. Search on Bibsonomy ACC The full citation details ... 2019 DBLP  BibTeX  RDF
1Yue Yu, Jun Wu, Xiao Tang, Tiecheng Song, BaekGyu Kim, Zhu Han Distributed Downloading Strategy for Multi-Source Data Fusion in Edge-Enabled Vehicular Network : (Invited Paper). Search on Bibsonomy ICCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alesia Chernikova, Alina Oprea, Cristina Nita-Rotaru, BaekGyu Kim Are Self-Driving Cars Secure? Evasion Attacks Against Deep Neural Networks for Steering Angle Prediction. Search on Bibsonomy IEEE Symposium on Security and Privacy Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. Search on Bibsonomy SCAV@CPSWeek The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ziran Wang, BaekGyu Kim, Hiromitsu Kobayashi, Guoyuan Wu, Matthew J. Barth Agent-Based Modeling and Simulation of Connected and Automated Vehicles Using Game Engine: A Cooperative On-Ramp Merging Study. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng Safe and Secure Automotive Over-the-Air Updates. Search on Bibsonomy SAFECOMP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Deepak Gangadharan, Oleg Sokolsky, Insup Lee, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges. Search on Bibsonomy IEEE CLOUD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Junhua Wang, Tingting Liu 0005, Kai Liu 0001, BaekGyu Kim, Jiang Xie, Zhu Han Computation Offloading Over Fog and Cloud Using Multi-Dimensional Multiple Knapsack Problem. Search on Bibsonomy GLOBECOM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tingting Liu 0005, Jun Li 0004, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Jiang Xie, Zhu Han Distributed file allocation using matching game in mobile fog-caching service network. Search on Bibsonomy INFOCOM Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, Shinichi Shiraishi Platform-Independent QoS Parameters and Primitive APIs for Automotive Software. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Yusuke Kashiba, Siyuan Dai, Shinichi Shiraishi Testing Autonomous Vehicle Software in the Virtual Prototyping Environment. Search on Bibsonomy Embedded Systems Letters The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng Principles for Systematic Development of an Assurance Case Template from ISO 26262. Search on Bibsonomy ISSRE Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chung-Wei Lin, Shinichi Shiraishi, BaekGyu Kim An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems. Search on Bibsonomy ISSRE Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura The SMT-based automatic road network generation in vehicle simulation environment. Search on Bibsonomy EMSOFT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Deepak Gangadharan, Jin Hyun Kim, Oleg Sokolsky, BaekGyu Kim, Chung-Wei Lin, Shinichi Shiraishi, Insup Lee Platform-Based Plug and Play of Automotive Safety Features: Challenges and Directions (Invited Paper). Search on Bibsonomy RTCSA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Jonathan Shum, Akshay Jarandikar, Shinichi Shiraishi Demo Abstract: Systematic Road Environment Generation for Vehicle Software Simulation. Search on Bibsonomy ICCPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Lu Feng 0001, Linh T. X. Phan, Oleg Sokolsky, Insup Lee Platform-specific timing verification framework in model-based implementation. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1BaekGyu Kim, Lu Feng 0001, Oleg Sokolsky, Insup Lee Platform-Specific Code Generation from Platform-Independent Timed Models. Search on Bibsonomy RTSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dongjiang You, Sanjai Rayadurgam, Mats Per Erik Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky Executing Model-Based Tests on Platform-Specific Implementations (T). Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang Hyuk Son, Insup Lee A layered approach for testing timing in the model-based implementation. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Search on Bibsonomy FHIES/SEHC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee A Causality Analysis Framework for Component-Based Real-Time Systems. Search on Bibsonomy RV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Linh T. X. Phan, Oleg Sokolsky, Insup Lee Platform-dependent code generation for embedded real-time software. Search on Bibsonomy CASES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky Platform dependent code generation of real-time embedded software. Search on Bibsonomy ICCPS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian Challenges and Research Directions in Medical Cyber-Physical Systems. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Search on Bibsonomy IHI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. Search on Bibsonomy SAFECOMP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky A model-based I/O interface synthesis framework for the cross-platform software modeling. Search on Bibsonomy RSP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky A Safety Case Pattern for Model-Based Development Approach. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang 0051, Raoul Praful Jetley Safety-assured development of the GPCA infusion pump software. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. Search on Bibsonomy Wireless Health The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #37 of 37 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license