| A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004 | 2507 | 2004 |
| 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 | 636 | 2015 |
| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 558 | 2006 |
| Efficient on-the-fly algorithms for the analysis of timed games F Cassez, A David, E Fleury, KG Larsen, D Lime CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005 | 410 | 2005 |
| UPPAAL-Tiga: Time for Playing Games! (Tool Paper) G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 390 | 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 | 237 | 2010 |
| 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 | 233 | 2015 |
| 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 | 223 | 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 | 215 | 2011 |
| A tutorial on Uppaal 4.0 G Behrmann, A David, KG Larsen Department of computer science, Aalborg university 1 (1), 1-48, 2006 | 195 | 2006 |
| 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 | 194 | 2011 |
| 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 | 179 | 2002 |
| UPPAAL-now, next, and future T Amnell, G Behrmann, J Bengtsson, PR D’argenio, A David, A Fehnker, ... Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001 | 158 | 2001 |
| UppaaL Implementation Secrets G Behrmann, J Bengtsson, A David, KG Larsen, P Pettersson, W Yi Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002 | 155 | 2002 |
| Model-based framework for schedulability analysis using UPPAAL 4.1 A David, J Illum, KG Larsen, A Skou Model-based design for embedded systems, 117-144, 2018 | 141 | 2018 |
| 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 |
| Developing UPPAAL over 15 years G Behrmann, A David, KG Larsen, P Pettersson, W Yi Software: Practice and Experience 41 (2), 133-142, 2011 | 125 | 2011 |
| 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 | 119 | 2001 |
| 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 | 116 | 2012 |
| TAPAAL 2.0: Integrated development environment for timed-arc Petri nets A David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J Srba Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 105 | 2012 |
Kim G. LarsenDirector, Professor Aalborg University確認したメール アドレス: cs.aau.dk