| UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997 | 3135 | 1997 |
| A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004 | 2467 | 2004 |
| Bisimulation through probabilistic testing (preliminary report) KG Larsen, A Skou Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 1727 | 1989 |
| UPPAAL—a tool suite for automatic verification of real-time systems J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi Hybrid Systems III: Verification and Control 3, 232-243, 1996 | 1177 | 1996 |
| A modal process logic KG Larsen, B Thomsen Proceedings Third Annual Symposium on Logic in Computer Science, 203,204,205 …, 1988 | 620 | 1988 |
| 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 | 605 | 2015 |
| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 548 | 2006 |
| Specification and refinement of probabilistic processes B Jonsson, KG Larsen Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991 | 468 | 1991 |
| Minimum-cost reachability for priced time automata G Behrmann, A Fehnker, T Hune, K Larsen, P Pettersson, J Romijn, ... Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001 | 450 | 2001 |
| Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007 | 426 | 2007 |
| Contracts for system design KGL Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone ... Foundations and Trends in Electronic Design Automation 12 (2-3), 124-400, 2018 | 415* | 2018 |
| 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 | 402 | 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 | 386 | 2007 |
| 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 | 348 | 2008 |
| Modal specifications KG Larsen Automatic Verification Methods for Finite State Systems: International …, 1990 | 346 | 1990 |
| 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 | 320 | 2007 |
| The impressive power of stopwatches F Cassez, K Larsen International Conference on Concurrency Theory, 138-152, 2000 | 314 | 2000 |
| Model-checking for real-time systems KG Larsen, P Pettersson, W Yi Fundamentals of Computation Theory: 10th International Conference, FCT'95 …, 1995 | 285 | 1995 |
| Formal modeling and analysis of an audio/video protocol: An industrial case study using UPPAAL K Havelund, A Skou, KG Larsen, K Lund Proceedings Real-Time Systems Symposium, 2-13, 1997 | 263 | 1997 |
| Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008 | 258 | 2008 |
Alexandre DavidSenior Software Engineer, Google Inc.cs.aau.dk의 이메일 확인됨
