20012023

Research output per year

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

Projects

Cognitive and Perceptive Cameras - Compilation system

Jensen, N. B., Probst, C. W., Karlsson, S., Lluch Lafuente, A., Kessler, C. W. & Sestoft, P.

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

01/10/201318/01/2017

Project: PhD

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

Modelling Socio-Technical Aspects of Organizational Security

Ivanova, M. G., Probst, C. W., Lluch Lafuente, A., Schürmann, C. & Gollmann, D.

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

15/01/201320/04/2016

Project: PhD

Modeling and Verifying eID Protocols (Future ID)

Almousa, O., Mödersheim, S. A., Nielson, H. R., Lluch Lafuente, A., Brucker, A. D. & Sprenger, C.

EU-finansieret

15/12/201224/02/2016

Project: PhD