Projekter pr. år
- 11 resultater
Søgeresultater
-
Igangværende
STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers
Goorden, M. (Projektdeltager), Schilling, C. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Larsen, K. G. (Projektdeltager)
01/01/2024 → 31/12/2027
Projekter: Projekt › Forskning
-
Afsluttet
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G. (PI (principal investigator)), Stoustrup, J. (CoPI), Jensen, P. G. (Projektdeltager), Mikučionis, M. (Projektdeltager), Jørgensen, K. Y. (Projektdeltager), Muniz Rodriguez, M. A. (Projektdeltager), Poulsen, D. B. (Projektdeltager) & Tschaikowski, M. (Projektdeltager)
27/04/2020 → 01/10/2020
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
-
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
-
Modelbaseret Integrationstest af Software i Mobile Enheder
Rasmussen, J. I. (Projektdeltager), Skou, A. (Projektleder) & Mikučionis, M. (Projektdeltager)
01/11/2007 → 31/10/2009
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
-
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