Brian Nielsen

  I am a member of the Distributed and Embedded Systems research group, and take active part in the Centre of Embedded Software Systems, CISS.

My research interests include distributed, embedded, and cyber-physical systems and software, Internet-of-Things, robotics, and methods and tools for model-based development and test generation for embedded real-time systems, and industrial applications.

I am involved in numerous European projects related to model-based testing, recently the industrially driven Artemis MBAT (Combined Model-based Analysis and Testing of Embedded Systems).

I am also a co-designer of the testing tool components of the Uppaal tool-suite for verification and validation of rea-time systems.

List of Publications (see also DBLP, Google Scholar, Research Gate)

Extended CV