| 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 | 47 | 2013 |
| 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 | 30 | 2015 |
| 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 | 22 | 2010 |
| 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 | 16 | 2016 |
| 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 | 15 | 2014 |
| 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 | 15 | 2014 |
| 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 | 14 | 2014 |
| 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 | 14 | 2014 |
| 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 | 8 | 2015 |
| 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 | 6 | 2016 |
| 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 | 6 | 2016 |
| 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 | 6 | 2015 |
| 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 | 6 | 2007 |
| 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 | 5 | 2016 |
| New Research Reactor Project in Korea S Wu | 5 | 2013 |
| 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 | 5 | 2010 |
| Resource-Oriented Design Framework for Embedded System Components JH Kim, JH Sim, JY Choi Electronic Notes in Theoretical Computer Science 215, 171-189, 2008 | 5 | 2008 |
| 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 | 4 | 2016 |
| 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 | 4 | 2016 |
| 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 | 4 | 2015 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
