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 |
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 | 254 | 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 | 219 | 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 | 153 | 2004 |
Automated test generation from timed automata B Nielsen, A Skou International Conference on Tools and Algorithms for the Construction and …, 2001 | 116 | 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 | 76 | 2010 |
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 | 70 | 2016 |
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 | 67 | 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 | 57 | 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 | 53 | 2012 |
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 | 41 | 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 | 38 | 2009 |
Semantics for an actor-based real-time language B Nielsen, G Agha Proceedings of the 4th International Workshop on Parallel and Distributed …, 1996 | 35 | 1996 |
A game-theoretic approach to real-time system testing A David, KG Larsen, S Li, B Nielsen Proceedings of the conference on Design, automation and test in Europe, 486-491, 2008 | 33 | 2008 |
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 |
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 | 31 | 2010 |