Jesung Kim

California University of Pennsylvania, University of Pennsylvania

Papers

Total Citations

H-Index

About

Jesung Kim is a researcher specializing in embedded systems, hybrid systems modeling, and automated code generation. His work sits at the intersection of formal methods and practical software engineering, focusing on how high-level mathematical models can be translated reliably into deployable embedded control software. Kim's most influential contribution, "Generating Embedded Software from Hierarchical Hybrid Models" (2003), has garnered 57 citations and addresses a critical challenge in embedded systems development: ensuring that automatically generated code maintains a precise, verifiable correspondence with its source model. By leveraging hybrid systems as a modeling paradigm — one that captures both continuous dynamics and discrete control behaviors — Kim demonstrated how the benefits of model-based design could be fully realized through rigorous code generation pipelines. Complementing this work, his 2003 paper on testing and monitoring model-based generated programs introduced an integrated framework that employs testing automata to systematically produce test traces, bridging the gap between model verification and runtime validation. Together, these contributions helped lay foundational groundwork for model-based development practices in safety-critical embedded systems, making Kim a meaningful early contributor to a field that has since grown central to automotive, aerospace, and industrial control engineering.