Folgen
Jin Hyun Kim
Jin Hyun Kim
Assistant Professor, Gyeongsang National University
Bestätigte E-Mail-Adresse bei gnu.ac.kr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
542015
Hierarchical scheduling framework based on compositional analysis using uppaal
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
492014
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
242010
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
212016
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
212014
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
202014
Widening the schedulability of hierarchical scheduling systems
A Boudjadar, A David, JH Kim, KG Larsen, M Mikučionis, U Nyman, ...
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
172015
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
172014
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
122016
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
122016
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, 839-859, 2015
112015
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
102016
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: Joint 21st …, 2016
92016
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
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
82015
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
72007
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
Flexible framework for statistical schedulability analysis of probabilistic sporadic tasks
A Boudjadar, JH Kim, A David, KG Larsen, M Mikucionis, U Nyman, ...
2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 74-83, 2015
52015
Resource-parameterized timing analysis of real-time systems
JH Kim, A Legay, KG Larsen, M Mikučionis, B Nielsen
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
52015
ExCHARON: Improved modeling language for cyber-physical systems based on CHARON
Y Han, S Kang, J Kim
2013 IEEE 16th International Conference on Computational Science and …, 2013
52013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20