Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Projekter

Igangværende

FED: Flexible Energy Denmark

Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.

01/04/201931/03/2023

Projekter: ProjektForskning

Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A. B. E., Boudjadar, J. & Kim, J. H.

Danmarks Frie Forskningsfond | Teknologi og Produktion

01/08/201731/07/2021

Projekter: ProjektAndet

Directed algebraic topology and concurrency

Fajstrup, L., Fahrenberg, U. & Raussen, M.

19/05/2010 → …

Projekter: ProjektForskning

P3: Popular Parallel Programming

Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.

01/02/201531/03/2019

Projekter: ProjektForskning

PVCC: Photo Voltage Comfort Cooling

Skou, A. & Agesen, M. K.

EUDP

01/01/201431/10/2016

Projekter: ProjektForskning

CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

Larsen, K. G., Skou, A., David, A. & Srba, J.

FP7 STREP

01/04/201331/03/2016

Projekter: ProjektForskning

Arrowhead

Skou, A., Pedersen, T. B. & Bak-Jensen, B.

Artemis JU

01/03/201328/02/2017

Projekter: ProjektForskning

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

Larsen, K. G., Skou, A. & Ravn, A. P.

FP7 STREP

01/11/201231/10/2015

Projekter: ProjektForskning

BETTY: Behavioural Types for Reliable Large-Scale Software Systems

Hüttel, H.

01/10/201201/11/2015

Projekter: ProjektForskning

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

Artemis JU

01/06/201230/09/2015

Projekter: ProjektForskning

Totalflex

Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.

ForskEL

01/01/201231/12/2016

Projekter: ProjektForskning

Energieffektiv måling og regulering af dekantere

Larsen, J. A. & Skou, A.

01/01/201231/12/2013

Projekter: ProjektForskning

ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE

Skou, A., Larsen, K. G., Ravn, A. P., Rosenkilde, J., Olsen, P., Le Guilly, T., Madsen, P. P., Holmene, C. F. & Mardare, D.

Artemis JU

01/06/201130/11/2014

Projekter: ProjektForskning

IDEA4CPS: Foundations for Cyber-Physical Sytems

Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

01/04/201130/04/2015

Projekter: ProjektForskning

Energieffektiv regulering af separationsprocessor

Larsen, J. A., Sloth, C. & Skou, A.

01/01/201131/12/2012

Projekter: ProjektForskning

Dansk center for Grid Computing (DCGC)

Kleist, J., Behrmann, G., Skou, A. & Jensen, H. T.

19/05/201019/05/2013

Projekter: ProjektForskning

Hybride Systemer

Wisniewski, R., Izadi-Zamanabadi, R., Ravn, A. P., Bhanderi, D., Thomsen, J. S., Larsen, J. A., N. Soltani, M., Stoustrup, J., Bendtsen, J. D., Trangbæk, K., Alminde, L., Grunnet, J. D. & Laursen, K. K.

<ingen navn>

19/05/201018/05/2013

Projekter: ProjektForskning

RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms

Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.

FP7 ARTEMIS JU

01/04/201001/04/2013

Projekter: ProjektForskning

Homeport

Skou, A., Madsen, P. P., Brønsted, J., Torbensen, R., Ravn, A. P., Olsen, P., Rosenkilde, J. & Le Guilly, T.

Danish Enterprise and Construction Authority

01/04/200931/07/2012

Projekter: ProjektForskning

IKT Agil

Skou, A., Aaen, I., Biegel, J. & Coplien, J.

Danish Enterprise and Construction Authority

01/01/200901/01/2011

Projekter: ProjektForskning

The Software Corridor

Skou, A., Hansen, J. A., Jessen, J. J., Andersen, P. & Balstrup, B.

Danish Enterprise and Construction Authority

01/01/200931/12/2011

Projekter: ProjektForskning

MT-LAB: MT-LAB A VKR Foundation Center of Excellence

Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.

VKR Centre of Excellence

01/10/200801/10/2013

Projekter: ProjektForskning

Quasimodo

Larsen, K. G., Nielsen, B., Skou, A., David, A., Mikucionis, M. & Li, S.

FP7-ICT-3.3

01/01/200831/12/2010

Projekter: ProjektForskning

Modelbaseret Integrationstest af Software i Mobile Enheder

Rasmussen, J. I., Skou, A. & Mikucionis, M.

Regionale Teknologicentre

01/11/200731/10/2009

Projekter: ProjektForskning

DaNES

Larsen, K. G., Mikucionis, M., Nielsen, P. A., Nielsen, B., Ravn, A. P., Skou, A., (AAU), D. O. C., Danmarks Tekniske Universitet, D. -., Syddansk Universitet, S., A/S, I., A/S, N. N., A/S, P. S., A/S, P. & A/S, S.

Danish Advanced Technology Foundation.

01/04/200731/03/2011

Projekter: ProjektForskning

Java Object

Skou, A., Thomsen, B. & Ravn, A. P.

Council for Technology and Innovation

01/01/200731/12/2009

Projekter: ProjektForskning

LandIT

Skou, A. & Pedersen, T. B.

IKT korridoren

01/01/200731/12/2008

Projekter: ProjektForskning

Automatisk Model-baseret Software Test

Nielsen, B., Mikucionis, M., Skou, A., Justesen, J., Riisgaard-Jensen, M. & Madsen, K. B.

<ingen navn>

01/06/200631/05/2007

Projekter: ProjektForskning

Kontraktbaseret programudvikling for internettjenester

Ravn, A. P., Owe, O., Schneider, G., Prisacariou, C., Giambiagi, P., Haridi, S. & Okika, J.

Nordunet3

01/06/200601/06/2009

Projekter: ProjektForskning

TestNet

Skou, A. & Nielsen, B.

Forskerkontrakten

01/04/200601/04/2008

Projekter: ProjektForskning

Agil

Skou, A., Aaen, I., Hosbond, J. H., Nielsen, P. A. & Biegel, J.

IT Korridoren

01/03/200601/06/2007

Projekter: ProjektForskning

MoDES: Model Driven Development of Embedded Systems

Larsen, K. G., Skou, A. & Ravn, A. P.

The Strategic Research Council

01/01/200631/07/2010

Projekter: ProjektForskning

Automatisk Test-Afviklingssystem

Nielsen, B., Mikucionis, M., Skou, A., Andersen, F. & Wiwe, C. B.

<ingen navn>

01/01/200628/02/2006

Projekter: ProjektForskning

Artist 2, Kompetencecenter for Design af Indlejrede Systemer

Larsen, K. G., Kleist, J., Nielsen, B., Skou, A., Ravn, A. P. & Behrmann, G.

EU IST FP6

01/08/200431/07/2008

Projekter: ProjektForskning

Prosoft

Knudsen, J., Aaen, I., Skou, A., Nielsen, B. & Nielsen, P. A.

IT Korridoren

01/01/200401/04/2006

Projekter: ProjektForskning

Advancerede Metoder Til Tidsafhængige Systemer - AMETIST

Larsen, K. G., Behrmann, G. & Fleury, E.

Euro Contract number: IST-2001-35304

01/04/200231/03/2005

Projekter: ProjektForskning

Advanced Real-Time Systems - ARTIST

Larsen, K. G., Skou, A. & Nielsen, B.

01/04/200231/03/2005

Projekter: ProjektForskning