Projekter pr. år
- 22 resultater
Søgeresultater
-
Afsluttet
domOS: Operating System for Smart Services in Buildings
Skou, A. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)) & Thomsen, C. (PI (principal investigator))
01/09/2020 → 31/08/2023
Projekter: Projekt › Forskning
-
FED: Flexible Energy Denmark
Larsen, K. G. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)), Skou, A. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)) & Thomsen, C. (CoI (co-investigator))
01/04/2019 → 31/03/2023
Projekter: Projekt › Forskning
-
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U. (PI (principal investigator)), Nielsen, B. (Andet), Thi Xuan Phan, L. (Projektdeltager), Lee, I. (Projektdeltager), Legay, A. B. E. (Projektdeltager), Boudjadar, J. (Kontaktperson) & Kim, J. H. (Kontaktperson)
Danmarks Frie Forskningsfond | Teknologi og Produktion
01/08/2017 → 31/07/2021
Projekter: Projekt › Andet
-
Productive4.0: Productive4.0
Skou, A. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)) & Albano, M. (CoI (co-investigator))
01/05/2017 → 30/09/2020
Projekter: Projekt › Forskning
-
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A. (CoI (co-investigator)), Larsen, K. G. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Sørensen, J. D. (CoI (co-investigator)) & Nielsen, J. S. (CoI (co-investigator))
01/05/2015 → 30/04/2018
Projekter: Projekt › Forskning
-
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G. (PI (principal investigator)), Skou, A. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)), Jensen, C. S. (CoI (co-investigator)), Kjeldskov, J. (CoI (co-investigator)), Skov, M. B. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Lahrmann, H. (CoI (co-investigator)), Bak-Jensen, B. (CoI (co-investigator)), Guerrero, J. M. (CoI (co-investigator)) & Raptis, D. (Projektdeltager)
01/01/2015 → 31/12/2020
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
-
CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A. (Projektdeltager), Larsen, K. G. (Projektdeltager), Nielsen, B. (Projektdeltager), David, A. (Projektdeltager), Nyman, U. (Projektdeltager), Mikučionis, M. (Projektdeltager), Olsen, P. (Projektdeltager), Boudjadar, J. (Projektdeltager) & Kim, J. H. (Projektdeltager)
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Bulychev, P. (Projektdeltager), Ravn, A. P. (Projektdeltager) & Poulsen, D. B. (Projektdeltager)
01/04/2011 → 30/04/2015
Projekter: Projekt › Forskning
-
InfinIT: Innovation Network for IT
Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, P. A. (Projektdeltager), Stage, J. (Projektdeltager), Nielsen, B. (Projektdeltager), Larsen, L. B. (Projektdeltager), Brendborg, B. (Projektdeltager), Uhrenholt, R. W. (Projektdeltager) & Kristensen, S. K. (Projektdeltager)
Council for Technology and Innovation
01/03/2009 → 01/07/2018
Projekter: Projekt › Forskning
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G. (Projektleder), David, A. (Projektdeltager), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Li, S. (Projektdeltager)
01/11/2008 → 31/10/2011
Projekter: Projekt › Forskning
-
MULTIFORM - Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems
Nielsen, B. (Projektdeltager), Mikučionis, M. (Projektdeltager), Larsen, K. G. (Bevillingshaver), Nielsen, B. (Projektleder) & David, A. (Projektleder)
01/09/2008 → 01/02/2012
Projekter: Projekt › Forskning
-
Quasimodo
Larsen, K. G. (Bevillingshaver), Nielsen, B. (Projektkoordinator), Skou, A. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Li, S. (Projektdeltager)
01/01/2008 → 31/12/2010
Projekter: Projekt › Forskning
-
DaNES
Larsen, K. G. (Projektdeltager), Mikučionis, M. (Projektdeltager), Nielsen, P. A. (Projektdeltager), Nielsen, B. (Projektdeltager), Ravn, A. P. (Projektdeltager), Skou, A. (Projektdeltager), (AAU), D. O. C. (Projektdeltager), Danmarks Tekniske Universitet, D. (Projektdeltager), Syddansk Universitet, S. (Projektdeltager), A/S, I. (Projektdeltager), A/S, N. N. (Projektdeltager), A/S, P. S. (Projektdeltager), A/S, P. (Projektdeltager) & A/S, S. (Projektdeltager)
Danish Advanced Technology Foundation.
01/04/2007 → 31/03/2011
Projekter: Projekt › Forskning
-
Automatisk Model-baseret Software Test
Nielsen, B. (Projektleder), Mikučionis, M. (Projektdeltager), Skou, A. (Projektdeltager), Justesen, J. (Projektdeltager), Riisgaard-Jensen, M. (Projektdeltager) & Madsen, K. B. (Projektdeltager)
01/06/2006 → 31/05/2007
Projekter: Projekt › Forskning
-
TestNet
Skou, A. (Bevillingshaver) & Nielsen, B. (Projektleder)
01/04/2006 → 01/04/2008
Projekter: Projekt › Forskning
-
Automatisk Test-Afviklingssystem
Nielsen, B. (Projektleder), Mikučionis, M. (Projektdeltager), Skou, A. (Projektdeltager), Andersen, F. (Projektdeltager) & Wiwe, C. B. (Projektdeltager)
01/01/2006 → 28/02/2006
Projekter: Projekt › Forskning
-
Artist 2, Kompetencecenter for Design af Indlejrede Systemer
Larsen, K. G. (Projektdeltager), Kleist, J. (Projektdeltager), Nielsen, B. (Projektdeltager), Skou, A. (Projektdeltager), Ravn, A. P. (Projektdeltager) & Behrmann, G. (Projektdeltager)
01/08/2004 → 31/07/2008
Projekter: Projekt › Forskning
-
Prosoft
Knudsen, J. (Projektdeltager), Aaen, I. (Projektdeltager), Skou, A. (Projektdeltager), Nielsen, B. (Projektdeltager) & Nielsen, P. A. (Projektdeltager)
01/01/2004 → 01/04/2006
Projekter: Projekt › Forskning
-
Advanced Real-Time Systems - ARTIST
Larsen, K. G. (Projektdeltager), Skou, A. (Projektdeltager) & Nielsen, B. (Projektdeltager)
01/04/2002 → 31/03/2005
Projekter: Projekt › Forskning
-
Networks and Paradigms for the Next Generation of Distributed Systems, 1996-2002
Christiansen, M. (Projektdeltager), Pietraszek, W. A. (Projektdeltager), Skou, A. (Projektdeltager) & Nielsen, B. (Projektdeltager)
01/01/1996 → 31/12/2002
Projekter: Projekt › Forskning