Brian Nielsen
Brian Nielsen
Associate Professor of Computer Science, Aalborg University
Bekræftet mail på cs.aau.dk - Startside
Titel
Citeret af
Citeret af
År
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
3242008
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
2292005
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
1952004
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
1472003
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1132001
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
1032004
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003
802003
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
632010
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
592011
Online on-the-fly testing of real-time systems
M Mikucionis, KG Larsen, B Nielsen
BRICS Report Series 10 (49), 2003
402003
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
392003
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
372015
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
352016
Timed testing under partial observability
A David, KG Larsen, S Li, B Nielsen
2009 International Conference on Software Testing Verification and …, 2009
352009
Specification and test of real-time systems
B Nielsen
Department of Computer Science, the Faculty of Engineering and Science …, 2000
342000
Semantics for an actor-based real-time language
B Nielsen, G Agha
Proceedings of the 4th International Workshop on Parallel and Distributed …, 1996
341996
Online testing of real-time systems using uppaal: Status and future work
KG Larsen, M Mikucionis, B Nielsen
Dagstuhl Seminar Proceedings, 2005
332005
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
302012
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 (2), 200-264, 2010
282010
Uppaal tron user manual
KG Larsen, M Mikucionis, B Nielsen
CISS, BRICS, Aalborg University, Aalborg, Denmark, 2009
262009
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20