Follow
Brian Nielsen
Brian Nielsen
Associate Professor of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
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
3482008
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
2542005
Online Testing of Real-time Systems Using Uppaal
KG Larsen, M Mikucionis, B Nielsen
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
2192005
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
1532004
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1162001
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
1072004
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5, 59-77, 2003
852003
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
762010
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
702016
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
672011
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
572015
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
532012
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
412004
Online on-the-fly testing of real-time systems
M Mikucionis, KG Larsen, B Nielsen
BRICS Report Series 10 (49), 2003
392003
Timed testing under partial observability
A David, KG Larsen, S Li, B Nielsen
2009 International Conference on Software Testing Verification and …, 2009
382009
Semantics for an actor-based real-time language
B Nielsen, G Agha
Proceedings of the 4th International Workshop on Parallel and Distributed …, 1996
351996
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
332008
Online testing of real-time systems using uppaal: Status and future work
KG Larsen, M Mikucionis, B Nielsen
Dagstuhl Seminar Proceedings, 2005
322005
Specification and test of real-time systems
B Nielsen
Department of Computer Science, the Faculty of Engineering and Science …, 2000
322000
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
312010
The system can't perform the operation now. Try again later.
Articles 1–20