| 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 | 337 | 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 | 243 | 2005 |
| Online Testing of Real-time Systems Using Uppaal KG Larsen, M Mikucionis, B Nielsen Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005 | 210 | 2005 |
| Time-Optimal Real-Time Test Case Generation Using Uppaal A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 149 | 2004 |
| Automated test generation from timed automata B Nielsen, A Skou Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001 | 113 | 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 | 107 | 2004 |
| Automated test generation from timed automata B Nielsen, A Skou International Journal on Software Tools for Technology Transfer 5, 59-77, 2003 | 85 | 2003 |
| Schedulability analysis using uppaal: Herschel-planck case study M Mikučionis, KG Larsen, JI Rasmussen, B Nielsen, A Skou, SU Palm, ... Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 74 | 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 | 60 | 2011 |
| Formal analysis and testing of real-time automotive systems using UPPAAL tools JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 52 | 2015 |
| Learning deterministic probabilistic automata from a model checking perspective H Mao, Y Chen, M Jaeger, TD Nielsen, KG Larsen, B Nielsen Machine Learning 105, 255-299, 2016 | 46 | 2016 |
| Time-optimal test cases for real-time systems A Hessel, KG Larsen, B Nielsen, P Pettersson, A Skou Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004 | 40 | 2004 |
| Online on-the-fly testing of real-time systems M Mikucionis, KG Larsen, B Nielsen BRICS Report Series 10 (49), 2003 | 39 | 2003 |
| Timed testing under partial observability A David, KG Larsen, S Li, B Nielsen 2009 International Conference on Software Testing Verification and …, 2009 | 36 | 2009 |
| 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 |
| 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 | 34 | 2012 |
| Online testing of real-time systems using uppaal: Status and future work KG Larsen, M Mikucionis, B Nielsen Dagstuhl Seminar Proceedings, 2005 | 34 | 2005 |
| Specification and test of real-time systems B Nielsen Aalborg Universitetsforlag, 2000 | 33 | 2000 |
| Scenario-based verification of real-time systems using Uppaal S Li, S Balaguer, A David, KG Larsen, B Nielsen, S Pusinskas Formal Methods in System Design 37, 200-264, 2010 | 30 | 2010 |
| Uppaal tron user manual KG Larsen, M Mikucionis, B Nielsen CISS, BRICS, Aalborg University, Aalborg, Denmark, 2009 | 27 | 2009 |
