Volgen
Brian Nielsen
Brian Nielsen
Associate Professor of Computer Science, Aalborg University
Geverifieerd e-mailadres voor cs.aau.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3342008
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
2382005
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
2082004
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
1482003
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
1052004
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003
862003
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
702010
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
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
472016
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
462015
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
Online on-the-fly testing of real-time systems
M Mikucionis, KG Larsen, B Nielsen
BRICS Report Series 10 (49), 2003
382003
Timed testing under partial observability
A David, KG Larsen, S Li, B Nielsen
2009 International Conference on Software Testing Verification and …, 2009
362009
Semantics for an actor-based real-time language
B Nielsen, G Agha
Proceedings of the 4th International Workshop on Parallel and Distributed …, 1996
361996
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
342012
Online testing of real-time systems using uppaal: Status and future work
KG Larsen, M Mikucionis, B Nielsen
Dagstuhl Seminar Proceedings, 2005
342005
Specification and test of real-time systems
B Nielsen
Aalborg Universitetsforlag, 2000
332000
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
302010
Towards reusable real-time objects
B Nielsen, G Agha
Annals of Software Engineering 7 (1), 257-282, 1999
281999
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20