Jin Hyun Kim
Jin Hyun Kim
Assistant Process, Gyeongsang National University
No verified email - Homepage
Title
Cited by
Cited by
Year
Hierarchical scheduling framework based on compositional analysis using uppaal
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
International Workshop on Formal Aspects of Component Software, 61-78, 2013
472013
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
International Workshop on Formal Methods for Industrial Critical Systems, 47-61, 2015
302015
Timed and resource-oriented statecharts for embedded software
J Kim, I Kang, JY Choi, I Lee
IEEE Transactions on Industrial Informatics 6 (4), 568-578, 2010
222010
Statistical and exact schedulability analysis of hierarchical scheduling systems
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Science of Computer Programming 127, 103-130, 2016
162016
Widening the schedulability of hierarchical scheduling systems
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
International Conference on Formal Aspects of Component Software, 209-227, 2014
152014
Degree of schedulability of mixed-criticality real-time systems with probabilistic sporadic tasks
AJ Boudjadar, A David, JH Kim, KG Larsen, M Mikucionis, U Nyman, ...
2014 Theoretical Aspects of Software Engineering Conference, 126-130, 2014
152014
Compositional schedulability analysis of an avionics system using UPPAAL
J Boudjadar, KG Larsen, JH Kim, U Nyman
International Conference on Advanced Aspects of Software Engineering, 140-147, 2014
142014
Schedulability and energy efficiency for multi-core hierarchical scheduling systems
J Boudjadar, A David, JH Kim, KG Larsen, U Nyman, A Skou
Proceedings of ERTS2 2014, 1-4, 2014
142014
Formal synthesis of application and platform behaviors of embedded software systems
J Kim, I Kang, JY Choi, I Lee, S Kang
Software & Systems Modeling 14 (2), 839-859, 2015
82015
Performance-aware scheduling of multicore time-critical systems
J Boudjadar, JH Kim, S Nadjm-Tehrani
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
62016
A formal modeling and analysis framework for software product line of preemptive real-time systems
JH Kim, A Legay, LM Traonouez, M Acher, S Kang
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1562-1565, 2016
62016
Quantitative schedulability analysis of continuous probability tasks in a hierarchical context
JH Kim, A Boudjadar, U Nyman, M Mikučionis, KG Larsen, A Skou, I Lee, ...
Proceedings of the 18th International ACM SIGSOFT Symposium on Component …, 2015
62015
Formal embedded operating system model based on resource-based design framework
JH Kim, JH Sim, CJ Kim, JY Kim, JY Choi
Seventh International Conference on Quality Software (QSIC 2007), 244-249, 2007
62007
Platform-based plug and play of automotive safety features: Challenges and directions
D Gangadharan, JH Kim, O Sokolsky, BG Kim, CW Lin, S Shiraishi, I Lee
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing …, 2016
52016
New Research Reactor Project in Korea
S Wu
52013
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
JH Kim, JY Choi, I Kang, I Lee
J. UCS 16 (17), 2415-2434, 2010
52010
Resource-Oriented Design Framework for Embedded System Components
JH Kim, JH Sim, JY Choi
Electronic Notes in Theoretical Computer Science 215, 171-189, 2008
52008
A model-based framework for the specification and analysis of hierarchical scheduling systems
M Chadli, JH Kim, A Legay, LM Traonouez, S Naujokat, B Steffen, ...
Critical Systems: Formal Methods and Automated Verification, 133-141, 2016
42016
Optimizing the resource requirements of hierarchical scheduling systems
JH Kim, A Legay, LM Traonouez, A Boudjadar, U Nyman, KG Larsen, ...
ACM SIGBED Review 13 (3), 41-48, 2016
42016
Resource-parameterized timing analysis of real-time systems
JH Kim, A Legay, KG Larsen, M Mikučionis, B Nielsen
Haifa Verification Conference, 190-205, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20