• Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2019
If you made any changes in Pure these will be visible here soon.

Projects 2000 2019

Stochastic Model Checking of Socio- Technical Models

Aslanyan, Z., Nielson, F., Probst, C. W., Lluch Lafuente, A., Hansen, R. R. & Legay, A.

1/3 FUU, 1/3 inst 1/3 Andet

01/07/201323/11/2016

Project: PhD

SESAMO: Security and Safety Modelling

Li, X., Nielson, F., Nielson, H. R., Probst, C. W., Aceto, L. & Mantal, H.

Institut, samfinansiering

01/10/201221/01/2016

Project: PhD

SESAMO: Security and Safety Modelling

Bruni, A., Nielson, F., Nielson, H. R., Probst, C. W., Kremer, S. & Maffeis, S.

Institut, samfinansiering

01/10/201231/03/2016

Project: PhD

Conflict Management in Aspect Policies

Ramli, C. D. P. K., Nielson, H. R., Nielson, F., Probst, C. W., Kammuller, F. & Karjoth, G.

1/3 FUU, 1/3 inst 1/3 Andet

01/09/201021/09/2015

Project: PhD

Round-trip Engineering of Service-Oriented Architectures

Carvalho Quaresma, J. N., Probst, C. W., Nielson, F., Dragoni, N., Gollmann, D. & Kammuller, F.

Technical University of Denmark

01/09/201022/11/2013

Project: PhD

Logics and models for stochastic analysis of information systems

Zeng, K., Nielsen, B. F., Nielson, F., Zhang, L., Buchholz, P. & Hillston, J.

1/3 FUU, 1/3 inst 1/3 Andet

01/11/200907/03/2013

Project: PhD

Combined Techniques of Static Analysis and Model Checking

Zhang, F., Nielson, F., Nielson, H. R., Probst, C. W., Dam, M. & Huth, M.

1/3 FUU, 1/3 inst 1/3 Andet

01/09/200922/11/2012

Project: PhD

Static Analysis and Model Checking of Software Systems

Filipiuk, P., Nielson, H. R., Nielson, F., Probst, C. W., Schmidt, D. A. & Seidl, H.

Technical University of Denmark

01/08/200925/10/2012

Project: PhD

Formal approaches for Aspect-Oriented Systems

Hernandez, A. M., Nielson, F., Nielson, H. R., Probst, C. W., De Nicola, R. & Hankin, C.

Forskningsrådsfinansiering

01/06/200928/09/2012

Project: PhD

Verification of Stochastic Process Calculi

Skrypnyuk, N., Nielson, F., Nielson, H. R., Seidl, H., Probst, C. W., Hankin, C. & Hermanns, H.

Forskningsrådsfinansiering

01/09/200722/06/2011

Project: PhD

Aspects for security policies

Yang, F., Nielson, F., Nielson, H. R., Probst, C. W., De Nicola, R. & Südholt, M.

DTU stipendium

01/06/200708/12/2010

Project: PhD

Logic-Based Solver Technology

Zhang, Y., Nielson, F., Fischer, P., Hankin, C. & Jensen, T.

Programbevilling

15/09/200525/03/2009

Project: PhD

Validation of Security Properties in Network Systems

Nielsen, C. R., Nielson, H. R., Nielson, F., Fischer, P., Mycroft, A. & Viganò, L.

DTU stipendium

15/09/200505/05/2009

Project: PhD

Specification and Programming Lanquages for Biological Systems

Pilegaard, H., Nielson, F., Nielson, H. R., Hillston, J. & Ingolfsdottir, A.

DTU stipendium

01/10/200313/12/2007

Project: PhD

Statisk program analyse af VHDL

Tolstrup, T. K., Nielson, H. R., Nielson, F., Madsen, J., Banerjee, A. & Sabelfeld, A.

DTU stipendium

01/04/200318/04/2007

Project: PhD

Modellering og analyse af globale applikationer

Buchholtz, M., Nielson, H. R., Nielson, F., Haxthausen, A. E., Focardi, R. & Guttman, J. D.

Eksternt EU-finansieret

01/01/200212/07/2005

Project: PhD

Security Validation through Static Analysis

Hansen, R. R., Nielson, F., Fischer, P., Cortesi, A. & Schmidt, D. A.

DTU stipendium

01/01/200206/06/2005

Project: PhD

Security and Safety of Computer Systems

Nielson, H. R., Nielson, F., Hankin, C., Jensen, T. & Marlet, R.

01/12/200031/12/2002

Project: Research