| A Tutorial on Uppaal G Behrmann, A David, KG Larsen Formal methods for the design of real-time systems, 200-236, 2004 | 2111 | 2004 |
| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... Los Alamitos, CA: IEEE Computer Society, 2006 | 452 | 2006 |
| 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 | 371 | 2015 |
| 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 | 337 | 2005 |
| 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 | 316 | 2007 |
| Innate immune and chemically triggered oxidative stress modifies translational fidelity N Netzer, JM Goodenbour, A David, KA Dittmar, RB Jones, JR Schneider, ... Nature 462 (7272), 522-526, 2009 | 290 | 2009 |
| Nuclear translation visualized by ribosome-bound nascent chain puromycylation A David, BP Dolan, HD Hickman, JJ Knowlton, G Clavarino, P Pierre, ... Journal of Cell Biology 197 (1), 45-57, 2012 | 219 | 2012 |
| 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 | 217 | 2010 |
| 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 | 168 | 2011 |
| 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 | 166 | 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 | 166 | 2002 |
| Dendritic cell aggresome-like induced structures are dedicated areas for ubiquitination and storage of newly synthesized defective proteins H Lelouard, V Ferrand, D Marguet, J Bania, V Camosseto, A David, ... Journal of Cell Biology 164 (5), 667-675, 2004 | 165 | 2004 |
| 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 | 162 | 2012 |
| 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 | 154 | 2016 |
| 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 | 146 | 2000 |
| A tutorial on Uppaal 4.0 G Behrmann, A David, KG Larsen Department of computer science, Aalborg university, 2006 | 141 | 2006 |
| 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 |
| Reactivation of stalled polyribosomes in synaptic plasticity TE Graber, S Hébert-Seropian, A Khoutorsky, A David, JW Yewdell, ... Proceedings of the National Academy of Sciences 110 (40), 16205-16210, 2013 | 137 | 2013 |
| Fitness costs limit influenza A virus hemagglutinin glycosylation as an immune evasion strategy SR Das, SE Hensley, A David, L Schmidt, JS Gibbs, P Puigbò, WL Ince, ... Proceedings of the National Academy of Sciences 108 (51), E1417-E1422, 2011 | 119 | 2011 |
| 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 | 117 | 2009 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
