Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Projekter 2002 2023

Filter
Afsluttet

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

Cooling
Electric potential
Cooling systems
Air conditioning
Ventilation
Finance
Automotive industry
Software engineering
Decision making
Innovation
Embedded systems
Research agenda
Dissemination
Risk sharing

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

Adaptive systems
Model checking
Health care
Automation
Communication

Arrowhead

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

Artemis JU

01/03/201328/02/2017

Projekter: ProjektForskning

Intelligent buildings
Automation

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

Intelligent systems
Electricity
Optimal systems
Computer systems programming
Energy harvesting
Embedded systems
Energy utilization

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

Real time systems
Embedded systems
Ecosystems
Middleware
Energy management

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

Automation
Agglomeration

Energieffektiv måling og regulering af dekantere

Larsen, J. A. & Skou, A.

01/01/201231/12/2013

Projekter: ProjektForskning

Embedded systems
Testing
Costs
Industry
Static analysis

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

Intelligent control
Monitoring
Energy conservation
Office buildings
Middleware

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

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

Hybrid systems
Dynamical systems
Space applications
Control theory
Spacecraft

Dansk center for Grid Computing (DCGC)

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

19/05/201019/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

Costs

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

Energy utilization
Intelligent control
Interoperability
Pollution
Embedded systems
Computer systems
Innovation
Internet
Concretes

IKT Agil

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

Danish Enterprise and Construction Authority

01/01/200901/01/2011

Projekter: ProjektForskning

Software engineering
Industry

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

Innovation
Education
Industry
Embedded software

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

Computer science
Formal verification
Control systems
Interchanges
Life cycle
Systems analysis
Specifications

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

Embedded systems
Real time systems
Testing
Fault tolerance
Software engineering
Power plants
Coal
Steam

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

Embedded systems
Climate control
Insulin
Space applications
Industry

Java Object

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

Council for Technology and Innovation

01/01/200731/12/2009

Projekter: ProjektForskning

Embedded software
Object oriented programming
Computer programming languages

LandIT

Skou, A. & Pedersen, T. B.

IKT korridoren

01/01/200731/12/2008

Projekter: ProjektForskning

infrastructure
farm
software
climate
monitoring
Industry
Service oriented architecture (SOA)

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

Software testing
Testing
Climate control
Embedded software
Controllers

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

Software engineering
Internet
Service oriented architecture (SOA)
Computer programming languages
Quality of service

TestNet

Skou, A. & Nielsen, B.

Forskerkontrakten

01/04/200601/04/2008

Projekter: ProjektForskning

Technical presentations
Industry
Managers
Automation
Specifications

Agil

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

IT Korridoren

01/03/200601/06/2007

Projekter: ProjektForskning

Embedded software
Software engineering
Education
Industry

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

Software
Model-driven development
System development
Control theory
Embedded systems

Automatisk Test-Afviklingssystem

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

<ingen navn>

01/01/200628/02/2006

Projekter: ProjektForskning

Air conditioning
Cooling
Controllers

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

Embedded systems
Systems analysis
Electrical engineering
Computer control
Control theory

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

Digital circuits
Real time systems
Resource allocation
Telecommunication networks

Advanced Real-Time Systems - ARTIST

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

01/04/200231/03/2005

Projekter: ProjektForskning