Projekter pr. år
Projekter
- 6 Afsluttet
Søgeresultater
-
Afsluttet
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. (CoPI) & Nielsen, P. A. (CoPI)
01/12/2020 → 30/11/2023
Projekter: Projekt › Forskning
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R. (Projektleder), David, A. (Projektdeltager), Hüttel, H. (Projektdeltager) & Larsen, K. G. (Projektdeltager)
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Projektleder), Hansen, R. R. (Projektdeltager), Koch, P. (Projektdeltager), Nielsen, B. (Projektdeltager) & Skou, A. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R. (Projektansøger), Ravn, A. P. (Projektansøger) & Larsen, K. G. (Projektansøger)
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Projekter: Projekt › Forskning
-
Improving the Security of Infrastructure Software
Hansen, R. R. (Projektansøger) & Lawall, J. (Bevillingshaver)
Forskningsrådet for Teknologi og Produktion (FTP)
19/05/2008 → 18/05/2011
Projekter: Projekt › Forskning
-
COST Action IC0701Formel Verifikation af Objekt-Orienteret Software
Thomsen, B. (Projektdeltager), Hansen, R. R. (Projektdeltager) & Thomsen, L. L. (Projektdeltager)
11/03/2008 → 10/03/2012
Projekter: Projekt › Forskning