Kyungmin Bae

15 papers and 72 indexed citations i.

Kyungmin Bae has authored 15 papers that have received a total of 72 indexed citations. This includes 14 papers in Computational Theory and Mathematics, 8 papers in Hardware and Architecture and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (14 papers), Real-Time Systems Scheduling (6 papers) and Model-Driven Software Engineering Techniques (6 papers). Kyungmin Bae is often cited by papers focused on Formal Methods in Verification (14 papers), Real-Time Systems Scheduling (6 papers) and Model-Driven Software Engineering Techniques (6 papers) and collaborates with scholars based in Norway, United States and South Korea. Kyungmin Bae's co-authors include Peter Csaba Ölveczky, José Meseguer, Jia Lee, Soonho Kong and Minseok Kang and has published in prestigious journals such as Lecture notes in computer science, Science of Computer Programming and ACM Transactions on Embedded Computing Systems.