Christian W. Probst
Modelling Socio-Technical Aspects of Organizational Security
Ivanova, M. G. & Probst, C. W.
15-01-13 → 14-01-16
Project: PhD
Portable and predictable Performance Heterogeneous Embedded Manycores - Low Level System Stack
Brock-Nannestad, L., Karlsson, S. & Probst, C. W.
15-01-13 → 14-01-16
Project: PhD
Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
01-11-12 → 31-10-16
Project
Portable and Predictable Performance Heterogeneous Embedded Manycores - Upper Level System stack
Bonnichsen, L. F., Karlsson, S. & Probst, C. W.
01-10-12 → 30-09-15
Project: PhD
Adaptive Security in Energy Harvesting Wireless Sensor Networks
Di Mauro, A., Dragoni, N. & Probst, C. W.
15-08-11 → 14-08-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
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
A Framework for Constraint-Programming based Configuration
Queva, M. S. B., Clausen, J., Ricci, L., Probst, C. W., Hotz, L., Felfernig, A. & Fischer, P.
01-03-08 → 28-09-11
Project: PhD