Følg
Brian Nielsen
Brian Nielsen
Associate Professor of Computer Science, Aalborg University
Verifisert e-postadresse på cs.aau.dk - Startside
Tittel
Sitert av
Sitert av
År
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
3432008
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
2472005
Online Testing of Real-time Systems Using Uppaal
KG Larsen, M Mikucionis, B Nielsen
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
2172005
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
1522004
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
1062004
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5, 59-77, 2003
842003
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
752010
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
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
632016
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
542015
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
502012
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
322008
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
302010
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20