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

Projects rss feed

2013-2016

SESAMO: Security and Safety Modelling

Li, Ximeng; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Aceto, Luca; Mantal, Heiko Examiner: Aceto, Luca; Mantal, Heiko

Type: PhD    |     Project status: Finished

2012-2016

SESAMO: Security and Safety Modelling

Bruni, Alessandro; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Kremer, Steve; Maffeis, Sergio Examiner: Kremer, Steve; Maffeis, Sergio

Type: PhD    |     Project status: Finished

2012-2016

Cyber-Physical Systems secure communication protocols

Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis; Lluch Lafuente, Alberto; Victor, Björn; Viganò, Luca Examiner: Victor, Björn; Viganò, Luca

Type: PhD    |     Project status: Finished

2011-2015

Conflict Management in Aspect Policies

Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming; Probst, Christian W.; Kammuller, Florian; Karjoth, Günter Examiner: Kammuller, Florian; Karjoth, Günter

Type: PhD    |     Project status: Finished

2010-2015

Round-trip Engineering of Service-Oriented Architectures

Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming; Dragoni, Nicola; Gollmann, Dieter; Kammuller, Florian Examiner: Gollmann, Dieter; Kammuller, Florian

Type: PhD    |     Project status: Finished

2010-2013

Static Analysis for Model Checking

Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming; Mödersheim, Sebastian Alexander; Cortesi, Agostino; Jensen, Thomas Examiner: Cortesi, Agostino

Type: PhD    |     Project status: Finished

2010-2013

Logics and models for stochastic analysis of information systems

Zeng, Kebin; Nielsen, Bo Friis; Nielson, Flemming; Zhang, Lijun; Buchholz, Peter; Hillston, Jane Examiner: Buchholz, Peter; Hillston, Jane

Type: PhD    |     Project status: Finished

2009-2013

Combined Techniques of Static Analysis and Model Checking

Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Dam, Mads; Huth, Michael Examiner: Dam, Mads; Huth, Michael

Type: PhD    |     Project status: Finished

2009-2012