| emsoft | participants

BaekGyu Kim

EMSOFT 2016: 16th International Conference on Embedded Software

The SMT-Based Automatic Road Network Generation in Vehicle Simulation Environment

BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, and Masahiro Yamaura

EMSOFT 2011: 11th International Conference on Embedded Software

Safety-Assured Development of the GPCA Infusion Pump Software

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, and Raoul Praful Jetley