Flemming Nielson
Project: PhD
Project: PhD
Project: PhD
Cyber-Physical Systems secure communication protocols
Vigo, R., Nielson, H. R. & Nielson, F.
01-12-11 → 30-11-14
Project: PhD
Round-trip Engineering of Service-Oriented Architectures
Carvalho Quaresma, J. N., Probst, C. W. & Nielson, F.
01-09-10 → 31-08-13
Project: PhD
- Completed
Logics and models for stochastic analysis of information systems
Zeng, K., Nielsen, B. F., Nielson, F., Zhang, L., Buchholz, P. & Hillston, J.
01-11-09 → 07-03-13
Project: PhD
- Completed
Combined Techniques of Static Analysis and Model Checking
Zhang, F., Nielson, H. R., Nielson, F., Huth, M., Probst, C. W. & Probst, C. W.
01-09-09 → 22-11-12
Project: PhD
- Completed
Static Analysis and Model Checking of Software Systems
Filipiuk, P., Nielson, H. R., Nielson, F., Schmidt, D. A., Seidl, H. & Probst, C. W.
01-08-09 → 25-10-12
Project: PhD
- Completed
Formal approaches for Aspect-Oriented Systems
Hernandez, A. M., Nielson, H. R., Nielson, F., Hankin, C., Probst, C. W. & De Nicola, R.
01-06-09 → 28-09-12
Project: PhD
- Completed
Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks
Yuksel, E., Nielson, H. R., Nielson, F., Martinelli, F., Madsen, J. & Gilmore, S. D.
01-09-07 → 30-03-11
Project: PhD