Flemming Nielson

Flemming Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 182

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Publications rss feed

2013
  PDF

Design-Efficiency in Security

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Report

Status: Published     |    Year: 2013

2012
  PDF

Lazy Mobile Intruders

Mödersheim, Sebastian Alexander ; Nielson, Flemming ; Nielson, Hanne Riis

Type: Report

Status: Published     |    Year: 2012

  PDF

Modelling Chinese Smart Grid

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Zhu, Huibiao ; Huang, Heqing

Type: Report

Status: Published     |    Year: 2012

2010
  PDF

Optimizing ZigBee Security using Stochastic Model Checking

Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta

Type: Report

Status: Published     |    Year: 2010

2007
2003
  PDF

Observation Predicates in Flow Logic

Nielson, Flemming ; Nielson, Hanne Riis ; Sun, Hongyan

Type: Report

Status: Published     |    Year: 2003

2002
 

Data Structures in the Succinct Solver (V1.0)

Sun, Hong Yan ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Report

Status: Published     |    Year: 2002

  PDF

Experiments with Succinct Solvers

Buchholtz, Mikael ; Nielson, Hanne Riis ; Nielson, Flemming

Type: Report (Peer reviewed)

Status: Published     |    Year: 2002

  PDF

Security for Mobility

Nielson, Hanne Riis ; Nielson, Flemming ; Buchholtz, Mikael

Type: Report

Status: Published     |    Year: 2002