| Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International journal on software tools for technology transfer 17, 397-415, 2015 | 555 | 2015 |
| Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008 | 339 | 2008 |
| Testing real-time embedded software using UPPAAL-TRON: an industrial case study KG Larsen, M Mikucionis, B Nielsen, A Skou Proceedings of the 5th ACM international conference on Embedded software …, 2005 | 247 | 2005 |
| Online Testing of Real-time Systems Using Uppaal KG Larsen, M Mikucionis, B Nielsen Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005 | 223 | 2005 |
| UPPAAL-SMC: Statistical model checking for priced timed automata P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ... arXiv preprint arXiv:1207.1272, 2012 | 206 | 2012 |
| Statistical model checking for networks of priced timed automata A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ... Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011 | 198 | 2011 |
| Time for statistical model checking of real-time systems A David, KG Larsen, A Legay, M Mikučionis, Z Wang Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 188 | 2011 |
| Uppaal stratego A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 185 | 2015 |
| Statistical model checking for stochastic hybrid systems A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ... arXiv preprint arXiv:1208.3856, 2012 | 107 | 2012 |
| T-uppaal: Online model-based testing of real-time systems M Mikucionis, KG Larsen, B Nielsen Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 105 | 2004 |
| Schedulability analysis using uppaal: Herschel-planck case study M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ... Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 73 | 2010 |
| Online and compositional learning of controllers with application to floor heating KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 61 | 2016 |
| Safe and optimal adaptive cruise control KG Larsen, M Mikučionis, JH Taankvist Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015 | 57 | 2015 |
| An evaluation framework for energy aware buildings using statistical model checking A David, DH Du, KG Larsen, M Mikučionis, A Skou Science China information sciences 55, 2694-2707, 2012 | 57 | 2012 |
| Schedulability of herschel-planck revisited using statistical model checking A David, KG Larsen, A Legay, M Mikučionis Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 56 | 2012 |
| 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 | 54 | 2014 |
| 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 | 53 | 2015 |
| Analyzing industrial architectural models by simulation and model-checking R Marinescu, H Kaijser, M Mikučionis, C Seceleanu, H Lönn, A David Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015 | 46 | 2015 |
| Statistical model checking for biological systems A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards International Journal on Software Tools for Technology Transfer 17, 351-367, 2015 | 45 | 2015 |
| Optimizing control strategy using statistical model checking A David, D Du, K Guldstrand Larsen, A Legay, M Mikučionis NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 43 | 2013 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
