Jin Hyun Kim
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
492013
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
362015
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
232010
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
182016
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
172014
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
162014
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
162014
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
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
92015
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
82016
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
82016
A process algebraic approach to resource-parameterized timing analysis of automotive software architectures
JH Kim, I Kang, S Kang, A Boudjadar
IEEE Transactions on Industrial Informatics 12 (2), 655-671, 2016
72016
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
72015
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
62016
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
Bypassing malware obfuscation with dynamic synthesis
F Biondi, S Josse, A Legay
ERCIM News, 2016
52016
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
52016
New Research Reactor Project in Korea
S Wu, JS Song, TH Kwon, JY Kim, IC Lim, JJ Ha
Korea, 4, 2012
52012
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
JH Kim, JY Choi, I Kang, I Lee
J. Univers. Comput. Sci. 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
The system can't perform the operation now. Try again later.
Articles 1–20