| Modal I/O automata for interface and product line theories KG Larsen, U Nyman, A Wąsowski Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 323 | 2007 |
| Timed I/O automata: a complete specification theory for real-time systems A David, KG Larsen, A Legay, U Nyman, A Wasowski Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 238 | 2010 |
| Moving from specifications to contracts in component-based design SS Bauer, A David, R Hennicker, K Guldstrand Larsen, A Legay, ... Fundamental Approaches to Software Engineering: 15th International …, 2012 | 135 | 2012 |
| On modal refinement and consistency KG Larsen, U Nyman, A Wąsowski CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007 | 85 | 2007 |
| Interface input/output automata KG Larsen, U Nyman, A Wąsowski International Symposium on Formal Methods, 82-97, 2006 | 70 | 2006 |
| Analytical design and performance validation of finite set MPC regulated power converters M Novak, UM Nyman, T Dragicevic, F Blaabjerg IEEE Transactions on Industrial Electronics 66 (3), 2004-2014, 2018 | 66 | 2018 |
| ECDAR: An environment for compositional design and analysis of real time systems A David, KG Larsen, A Legay, U Nyman, A Wąsowski Automated Technology for Verification and Analysis: 8th International …, 2010 | 65 | 2010 |
| 20 years of modal and mixed specifications A Antonik, M Huth, KG Larsen, U Nyman, A Wasowski European Association for Theoretical Computer Science. Bulletin, 2008 | 64 | 2008 |
| Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal⋆ A Boudjadar, A David, JH Kim, KG Larsen, M Mikucionis, U Nyman, ... The 10th International Symposium on Formal Aspects of Component Software, 2013 | 50 | 2013 |
| Complexity of decision problems for mixed and modal specifications A Antonik, M Huth, KG Larsen, U Nyman, A Wąsowski Foundations of Software Science and Computational Structures: 11th …, 2008 | 40 | 2008 |
| Real-time specifications A David, KG Larsen, A Legay, U Nyman, LM Traonouez, A Wąsowski International Journal on Software Tools for Technology Transfer 17, 17-45, 2015 | 29 | 2015 |
| Modal Transition Systems as the Basis for Interface Theories and Product Lines: PhD Dissertation U Nyman Department of Computer Science, The Faculty of Engineering, Science, and …, 2008 | 28* | 2008 |
| Mutation-based test-case generation with ecdar KG Larsen, F Lorber, B Nielsen, UM Nyman 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 23 | 2017 |
| 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 |
| A modal specification theory for components with data SS Bauer, KG Larsen, A Legay, U Nyman, A Wąsowski Science of Computer Programming 83, 106-128, 2014 | 22 | 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 |
| Compositional verification of real-time systems using Ecdar A David, KG Larsen, A Legay, MH Møller, U Nyman, AP Ravn, A Skou, ... International Journal on Software Tools for Technology Transfer 14, 703-720, 2012 | 22 | 2012 |
| Modeling software product lines using color-blind transition systems KG Larsen, U Nyman, A Wasowski International Journal on Software Tools for Technology Transfer 9, 471-487, 2007 | 21 | 2007 |
| Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach P Pop, L Tsiopoulos, S Voss, O Slotosch, C Ficek, U Nyman, AR Lopez Workshop on Industry-Driven Approaches for Cost-effective Certification of …, 2013 | 19 | 2013 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
