Hanne Riis Nielson

Hanne Riis Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 218

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Projects rss feed

Modeling and Verifying eID Protocols (Future ID)

Almousa, Omar; Mödersheim, Sebastian Alexander; Nielson, Hanne Riis; Lluch Lafuente, Alberto; Brucker, Achim D. ; Sprenger, Christoph Examiner: Brucker, Achim D. ; Sprenger, Christoph

Type: PhD    |     Project status: Finished

2012-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

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

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

Static Analysis and Model Checking of Software Systems

Filipiuk, Piotr; Nielson, Hanne Riis; Nielson, Flemming; Probst, Christian W.; Schmidt, David A.; Seidl, Helmut Examiner: Schmidt, David A.; Seidl, Helmut

Type: PhD    |     Project status: Finished

2009-2012

Formal approaches for Aspect-Oriented Systems

Hernandez, Alejandro Mario; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; De Nicola, Rocco; Hankin, Chris Examiner: De Nicola, Rocco; Hankin, Chris

Type: PhD    |     Project status: Finished

2009-2012