Projekter pr. år
- 1 - 25 ud af 29 resultater
Søgeresultater
-
DDC 2025-2027: De Danske Cybermesterskaber 2025-2027
Bruni, A. (PI)
01/11/2024 → 31/10/2027
Projekter: Projekt › Forskning
-
Digitalising the General Data Protection Regulation
Hildebrandt, T. (PI) & Normann, H. (CoI)
Innovationsnetværk for IT - InfinIT
01/01/2017 → 31/05/2017
Projekter: Projekt › Forskning
-
ProSec: Cyber security and ICT Infrastructure with importance to crucial functions in Denmark - Mapping Emergency and Security Processes in the Danish Energy and Public Transport Sectors and their Dependency on ICT
Hildebrandt, T. (PI) & Debois, S. (CoI)
01/07/2015 → 31/12/2016
Projekter: Projekt › Forskning
-
-
GAINER: GrAdual sessIoN typEs for pRivacy
Carbone, M. (PI), Bruni, A. (CoI) & Ørup Kristensen, E. (CoI)
02/01/2023 → 31/05/2024
Projekter: Projekt › Andet
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning
-
Agile modeller af forretningsregler og -processer der kan visualiseres og simuleres ud fra forskellige perspektiver (Kunde, forretning, og IT)
Hildebrandt, T. (PI), Debois, S. (CoI), Slaats, T. (CoI) & Sestoft, P. (CoI)
Styrelsen for Forskning og Uddannelse
26/02/2015 → 31/05/2015
Projekter: Projekt › Forskning
-
A Formal Model for Declarative Workflows - Dynamic Condition Response Graphs
Mukkamala, R. R. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 31/12/2012
Projekter: Projekt › Forskning
-
Interaktive træningsteknologier i kommunal genoptræning af hofte og apopleksipatienter
Hildebrandt, T. (PI)
Anvendt Borgernær Teknologi (ABT-fonden)
01/10/2010 → 31/12/2013
Projekter: Projekt › Forskning
-
Co-financed PhD scholarships for the FIRST Research School
Birkedal, L. (PI) & Hildebrandt, T. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 15/08/2013
Projekter: Projekt › Forskning
-
De Danske Cybermesterskaber 2022-24
Bruni, A. (PI)
01/11/2021 → 31/10/2024
Projekter: Projekt › Forskning
-
GAMESS: GAMification and Education for Secure Software
Bruni, A. (PI), Kulyk, O. (PI) & Rafnsson, W. (PI)
Styrelsen for Forskning og Uddannelse
01/04/2023 → 31/10/2024
Projekter: Projekt › Forskning
-
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning
-
VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning
-
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Projekter: Projekt › Forskning
-
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
DISTRUST: Distributed business process execution under partial trust
Jacob, R. (PI), Debois, S. (PI) & Haagensen, F. (CoI)
01/07/2020 → 30/06/2025
Projekter: Projekt › Forskning
-
TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Projekter: Projekt › Forskning
-
Fra visuel procesdesign og kravspecifikation til fleksible digitale arbejdsgange
Hildebrandt, T. (PI) & Lauesen, S. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2013 → 31/05/2014
Projekter: Projekt › Forskning
-
Intelligent Alarmbehandling
Hildebrandt, T. (PI)
Innovationsnetværk for IT - InfinIT
01/02/2017 → 31/05/2017
Projekter: Projekt › Forskning
-
Meta-CLF2: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Projekter: Projekt › Forskning
-
Cyberskills: Youth Community in Cybersecurity
Bruni, A. (PI), Barkhuus, L. (CoI), Schürmann, C. (CoI) & Balle, M. L. (CoI)
01/08/2020 → 31/12/2023
Projekter: Projekt › Forskning
-
EUTYPES: The European research network on types for programming and verification
Møgelberg, R. E. (PI), Graulund, C. U. (CoI) & Veltri, N. (CoI)
21/03/2016 → 20/03/2020
Projekter: Projekt › Forskning
-
Alegro: Algebraic Effects and Guarded Recursion
Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)
01/07/2022 → 30/06/2026
Projekter: Projekt › Forskning