Brian Nielsen
Brian Nielsen
Associate Professor of Computer Science, Aalborg University
Dirección de correo verificada de cs.aau.dk - Página principal
Título
Citado por
Citado por
Año
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
2862008
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
2042005
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
1812004
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
1362003
Automated test generation from timed automata
B Nielsen, A Skou
International Conference on Tools and Algorithms for the Construction and …, 2001
1082001
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
872004
Automated test generation from timed automata
B Nielsen, A Skou
International Journal on Software Tools for Technology Transfer 5 (1), 59-77, 2003
702003
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
552010
Testing real-time systems using UPPAAL, Formal methods and testing: an outcome of the FORTEST network
A Hessel, KG Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Springer-Verlag, Berlin, Heidelberg, 2008
502008
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
472011
Online on-the-fly testing of real-time systems
M Mikucionis, KG Larsen, B Nielsen
BRICS Report Series 10 (49), 2003
382003
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
372003
Timed testing under partial observability
A David, KG Larsen, S Li, B Nielsen
2009 International Conference on Software Testing Verification and …, 2009
332009
Online testing of real-time systems using uppaal: Status and future work
KG Larsen, M Mikucionis, B Nielsen
Dagstuhl Seminar Proceedings, 2005
332005
Specification and test of real-time systems
B Nielsen
Department of Computer Science, the Faculty of Engineering and Science …, 2000
322000
Semantics for an actor-based real-time language
B Nielsen, G Agha
Proceedings of the 4th International Workshop on Parallel and Distributed …, 1996
311996
Uppaal tron user manual
KG Larsen, M Mikucionis, B Nielsen
CISS, BRICS, Aalborg University, Aalborg, Denmark, 2009
272009
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
262015
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
262012
Evaluating neuropshychiatric diseases using a specimen-linked database
P Muraca
US Patent App. 10/184,671, 2003
26*2003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20