| 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 | 57 | 2015 |
| 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 | 50 | 2014 |
| 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 | 24 | 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 | 23 | 2016 |
| 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 | 23 | 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 | 22 | 2014 |
| 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 | 17 | 2015 |
| 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 | 17 | 2014 |
| 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 | 12 | 2016 |
| 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 | 12 | 2016 |
| 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 | 11 | 2015 |
| 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 | 10 | 2016 |
| 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 | 9 | 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 | 9 | 2015 |
| 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 | 8 | 2016 |
| 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 | 7 | 2007 |
| 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 | 6 | 2016 |
| 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 | 5 | 2015 |
| 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 | 5 | 2015 |
| 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 | 5 | 2013 |
Kim G. LarsenDirector, Professor Aalborg UniversityEmail confirmado em cs.aau.dk
