| A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004 | 1954 | 2004 |
| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 424 | 2006 |
| Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime International Conference on Concurrency Theory, 66-80, 2005 | 320 | 2005 |
| Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International Journal on Software Tools for Technology Transfer 17 (4), 397-415, 2015 | 296 | 2015 |
| Uppaal-tiga: Time for playing games! G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime International Conference on Computer Aided Verification, 121-125, 2007 | 294 | 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 | 198 | 2010 |
| Formal verification of UML statecharts with real-time extensions A David, MO Möller, W Yi International Conference on Fundamental Approaches to Software Engineering …, 2002 | 162 | 2002 |
| Statistical model checking for networks of priced timed automata A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ... International Conference on Formal Modeling and Analysis of Timed Systems, 80-96, 2011 | 150 | 2011 |
| 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 | 146 | 2012 |
| Time for statistical model checking of real-time systems A David, KG Larsen, A Legay, M Mikučionis, Z Wang International Conference on Computer Aided Verification, 349-355, 2011 | 145 | 2011 |
| UPPAAL-now, next, and future T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ... Summer School on Modeling and Verification of Parallel Processes, 99-124, 2000 | 145 | 2000 |
| Uppaal implementation secrets G Behrmann, J Bengtsson, A David, KG Larsen, P Pettersson, W Yi International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002 | 141 | 2002 |
| A tutorial on Uppaal 4.0 G Behrmann, A David, KG Larsen Department of computer science, Aalborg university, 2006 | 125 | 2006 |
| The cell proliferation antigen Ki-67 organises heterochromatin M Sobecki, K Mrouj, A Camasses, N Parisis, E Nicolas, D Llères, F Gerbe, ... Elife 5, e13722, 2016 | 115 | 2016 |
| Uppaal-present and future G Behrmann, KG Larsen, O Moller, A David, P Pettersson, W Yi Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No …, 2001 | 108 | 2001 |
| Model-based framework for schedulability analysis using UPPAAL 4.1 A David, J Illum, KG Larsen, A Skou Model-based design for embedded systems 1 (1), 93-119, 2009 | 106 | 2009 |
| Moving from specifications to contracts in component-based design SS Bauer, A David, R Hennicker, KG Larsen, A Legay, U Nyman, ... International Conference on Fundamental Approaches to Software Engineering …, 2012 | 103 | 2012 |
| Uppaal stratego A David, PG Jensen, KG Larsen, M Mikučionis, JH Taankvist International Conference on Tools and Algorithms for the Construction and …, 2015 | 89 | 2015 |
| Developing UPPAAL over 15 years G Behrmann, A David, KG Larsen, P Pettersson, W Yi Software: Practice and Experience 41 (2), 133-142, 2011 | 89 | 2011 |
| Heat roadmap Europe: large-scale electric heat pumps in district heating systems A David, BV Mathiesen, H Averfalk, S Werner, H Lund Energies 10 (4), 578, 2017 | 85 | 2017 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
