Concepedia

Brian Nielsen

BN

Statistics

Publications

38

Citations

981

H-Index

18

Active since

1980

Affiliations

Aalborg University(Current)

University of Illinois Urbana-Champaign

Northwestern University

Aarhus University

Chr. Hansen (Denmark)

Brian Nielsen is an author at Aalborg University specializing in computer science, computing, and real-time systems.

Publications per year

1980–2023

38

Publications

38

Testing real-time embedded software using UPPAAL-TRON

Kim G. Larsen, Marius Mikučionis, Brian Nielsen et al. · 2005 · 146 citations

Computing, Computer Engineering, Computer Science +14

Learning deterministic probabilistic automata from a model checking perspective

Hua Mao, Yingke Chen, Manfred Jaeger et al. · Machine Learning · 2016 · 67 citations · Full text

Computing, Computer Science, Algorithms +11

Learning Probabilistic Automata for Model Checking

Hua Mao, Yingke Chen, Manfred Jaeger et al. · 2011 · 56 citations · Full text

Computing, Computer Science, Systems Engineering +17

T-UPPAAL: online model-based testing of real-time systems

Marius Mikučionis, Kim G. Larsen, Brian Nielsen · 2004 · 51 citations

Engineering, Computer Engineering, Computer Science +14

Proceedings of 2009 International Conference on Software Testing Verification and Validation

Alexandre David, Kim G. Larsen, Shuhao Li et al. · 2009 · 49 citations

Computing, Computer Engineering, Computer Science +13

1–5 of 38