| Testing real-time systems using UPPAAL A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou Formal methods and testing, 77-117, 2008 | 309 | 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 | 220 | 2005 |
| Online testing of real-time systems using uppaal KG Larsen, M Mikucionis, B Nielsen International Workshop on Formal Approaches to Software Testing, 79-94, 2004 | 191 | 2004 |
| Time-optimal real-time test case generation using UPPAAL A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou International Workshop on Formal Approaches to Software Testing, 114-130, 2003 | 144 | 2003 |
| Automated test generation from timed automata B Nielsen, A Skou International Conference on Tools and Algorithms for the Construction and …, 2001 | 111 | 2001 |
| 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 | 97 | 2004 |
| Automated test generation from timed automata B Nielsen, A Skou International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003 | 75 | 2003 |
| Schedulability analysis using uppaal: Herschel-planck case study M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ... International Symposium On Leveraging Applications of Formal Methods …, 2010 | 57 | 2010 |
| Learning probabilistic automata for model checking H Mao, Y Chen, M Jaeger, TD Nielsen, KG Larsen, B Nielsen 2011 Eighth International Conference on Quantitative Evaluation of Systems …, 2011 | 52 | 2011 |
| Online on-the-fly testing of real-time systems M Mikucionis, KG Larsen, B Nielsen BRICS Report Series 10 (49), 2003 | 40 | 2003 |
| Time-optimal test cases for real-time systems A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou International Conference on Formal Modeling and Analysis of Timed Systems …, 2003 | 38 | 2003 |
| Semantics for an actor-based real-time language B Nielsen, G Agha Proceedings of the 4th International Workshop on Parallel and Distributed …, 1996 | 36 | 1996 |
| Timed testing under partial observability A David, KG Larsen, S Li, B Nielsen 2009 International Conference on Software Testing Verification and …, 2009 | 34 | 2009 |
| Online testing of real-time systems using uppaal: Status and future work KG Larsen, M Mikucionis, B Nielsen Dagstuhl Seminar Proceedings, 2005 | 32 | 2005 |
| Specification and test of real-time systems B Nielsen Department of Computer Science, the Faculty of Engineering and Science …, 2000 | 32 | 2000 |
| Formal analysis and testing of real-time automotive systems using UPPAAL tools JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen International Workshop on Formal Methods for Industrial Critical Systems, 47-61, 2015 | 30 | 2015 |
| Learning Markov decision processes for model checking H Mao, Y Chen, M Jaeger, TD Nielsen, KG Larsen, B Nielsen arXiv preprint arXiv:1212.3873, 2012 | 29 | 2012 |
| Learning deterministic probabilistic automata from a model checking perspective H Mao, Y Chen, M Jaeger, TD Nielsen, KG Larsen, B Nielsen Machine Learning 105 (2), 255-299, 2016 | 28 | 2016 |
| Uppaal tron user manual KG Larsen, M Mikucionis, B Nielsen CISS, BRICS, Aalborg University, Aalborg, Denmark, 2009 | 26 | 2009 |
| Towards reusable real-time objects B Nielsen, G Agha Annals of Software Engineering 7 (1), 257-282, 1999 | 26 | 1999 |
