Distributed, Embedded and Intelligent Systems

Albertsen, M. (PI), Hose, K. (PI), Nielsen, T. D. (PI), Heidelbach, S. (Project Participant), Knudsen, K. S. (Project Participant), Sereika, M. (Project Participant), Corfixen, M. (Project Participant), Celikkanat, A. (Project Participant), Masegosa, A. (Project Participant), Sagi, T. (Project Participant), Nissen, J. (Project Participant), Heede, T. (Project Participant) & Kirkegaard, R. H. (Project Participant)

Villum Foundation

01/11/2022 → …

Project: Research

Explainable and Causally Enforced Reinforcement Learning

Høeg-Petersen, A. H. (PI), Larsen, K. G. (Supervisor), Wasowski, A. (Supervisor) & Jensen, P. G. (Supervisor)

01/09/2022 → …

Project: PhD Project

S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS

Larsen, K. G. (PI)

Villum Foundation

01/01/2021 → 31/12/2027

Project: Research

Directed algebraic topology and concurrency

Fajstrup, L. (Project Participant), Fahrenberg, U. (Project Participant) & Raussen, M. (Project Participant)

19/05/2010 → …

Project: Research

Not started

30.06.2024: Direc Bridge

Kim, E. H. (PI)

Project: PhD Project

Finished

Optimization of Membrane Desalination Processes by Reinforcement Learning

Bacci, G. (PI) & Boffa, V. (PI)

01/05/2023 → 31/01/2024

Project: Research

File

AIDK: AI Denmark

Jurowetzki, R. (PI), Hain, D. S. (Project Participant), Brøns Kringelum, L. (Project Participant), Holmgren, J. (Project Participant), Gjerding, A. N. (Project Participant), Larsen, M. V. (Project Participant), Moeslund, T. B. (Project Participant), Nielsen, T. D. (Project Participant), Madsen, K. M. (Project Participant), Holm, C. G. (PI), Bekamiri, H. (PI) & Hviid, L. (PI)

The Danish Industry Foundation

01/01/2021 → 31/03/2024

Project: Research

Data Science meets Microbial Dark Matter

Albertsen, M. (PI), Hose, K. (PI), Nielsen, T. D. (PI), Lamurias, A. (Project Participant) & Mølvang Dall, S. (Project Participant)

Villum Foundation, Danish E-infrastructure Cooperation

01/01/2021 → 31/12/2023

Project: Research

Sb3D: Security by Design in Digital Denmark

Hansen, R. R. (CoPI) & Nielsen, P. A. (CoPI)

01/12/2020 → 30/11/2023

Project: Research

domOS: Operating System for Smart Services in Buildings

Skou, A. (CoI), Nielsen, B. (CoI), Pedersen, T. B. (CoI) & Thomsen, C. (PI)

Horizon Europe

01/09/2020 → 31/08/2023

Project: Research

Støtte- og styringssystem til rutebusser

Lahrmann, H. (PI), Larsen, K. G. (PI), Tibo, A. (CoI), Skov, M. B. (PI), Øhlenschlæger, R. (CoI), Stakenaite, D. (CoI), Gøeg, P. R. (CoI) & Christensen, A. E. (CoI)

01/08/2020 → 30/11/2021

Project: Research

BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL

Larsen, K. G. (PI), Stoustrup, J. (CoPI), Jensen, P. G. (Project Participant), Mikučionis, M. (Project Participant), Jørgensen, K. Y. (Project Participant), Muniz Rodriguez, M. A. (Project Participant), Poulsen, D. B. (Project Participant) & Tschaikowski, M. (Project Participant)

Poul Due Jensen Foundation

27/04/2020 → 01/10/2020

Project: Research

FEVER: Flexible Energy Production, Demand and Storage-based Virtual Power Plants for Electricity Markets and Resilient DSO Operation

Skou, A. (CoI), Pedersen, T. B. (CoI), Skov, M. B. (CoI), Chakraborty, N. (Project Participant), Jensen, R. H. (Project Participant) & Raptis, D. (Project Participant)

EU Forskning

01/02/2020 → 31/07/2023

Project: Research

FED: Flexible Energy Denmark

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

Innovation Fund Denmark

01/04/2019 → 31/03/2023

Project: Research

Digital technologies for Industry 4.0

Berardinelli, G. (Project Coordinator), Nyman, U. (Project Participant), Schjørring, A. (Project Participant), Schiøler, H. (Project Participant), Tan, Z.-H. (Project Participant), Popovski, P. (Project Participant), Kristjansen, M. (Project Participant), Klicius, N. (Project Participant), Xie, Y. (Project Participant), Chiariotti, F. (Project Participant) & Kalør, A. E. (Project Participant)

01/03/2019 → 28/02/2021

Project: Research

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

Nyman, U. (PI), Nielsen, B. (Other), Thi Xuan Phan, L. (Project Participant), Lee, I. (Project Participant), Legay, A. B. E. (Project Participant), Boudjadar, J. (Contact) & Kim, J. H. (Contact)

Independent Research Fund Denmark | Technology and Production sciences

01/08/2017 → 31/07/2021

Project: Other

Productive4.0: Productive4.0

Skou, A. (CoI), Nielsen, B. (CoI) & Albano, M. (CoI)

Horizon Europe

01/05/2017 → 30/09/2020

Project: Research

MANTIS: Cyber Physical System based Proactive Collaborative Maintenance

Skou, A. (CoI), Larsen, K. G. (CoI), Nielsen, B. (CoI), Sørensen, J. D. (CoI) & Nielsen, J. S. (CoI)

01/05/2015 → 30/04/2018

Project: Research

P3: Popular Parallel Programming

Thomsen, B. (CoI), Thomsen, L. L. (Project Participant), Larsen, K. G. (CoI) & Bøgholm, T. (Project Participant)

01/02/2015 → 31/03/2019

Project: Research

DiCyPS: Center for Data-Intensive Cyber-Physical Systems

Larsen, K. G. (PI), Skou, A. (CoI), Pedersen, T. B. (CoI), Jensen, C. S. (CoI), Kjeldskov, J. (CoI), Skov, M. B. (CoI), Nielsen, B. (CoI), Lahrmann, H. (CoI), Bak-Jensen, B. (CoI), Guerrero, J. M. (CoI) & Raptis, D. (Project Participant)

Innovation Fund Denmark

01/01/2015 → 31/12/2020

Project: Research

PVCC: Photo Voltage Comfort Cooling

Skou, A. (Project Participant) & Agesen, M. K. (Project Participant)

EUDP

01/01/2014 → 31/10/2016

Project: Research

AMIDST: Analysis of MassIve Data STreams - AMIDST

Madsen, A. L. (Project Coordinator), Rommerdahl Bock, A. (Project Manager), Nielsen, T. D. (Project Participant) & Martinez, A. M. (Project Participant)

European Union’s Seventh Framework Programme for research, technological development and demonstration

01/01/2014 → 31/12/2016

Project: Research

CLINES: Cluster-based Innovation through Embedded Systems technology

Skou, A. (Project Coordinator), Nielsen, P. A. (Project Participant), Aaen, I. (Project Participant), Larsen, K. G. (Project Coordinator), Nøhr, B. P. (Project Participant), Holmene, C. F. (Project Manager), Nielsen, C. (Project Participant), Kristiansen, K. B. (Project Participant) & Pedersen, J. E. (Project Participant)

Regions of Knowledge

01/09/2013 → 31/08/2016

Project: Research

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

Larsen, K. G. (Project Manager), Skou, A. (Project Participant), David, A. (Project Participant) & Srba, J. (Project Participant)

FP7 STREP

01/04/2013 → 31/03/2016

Project: Research

Arrowhead

Skou, A. (Project Participant), Pedersen, T. B. (Project Participant) & Bak-Jensen, B. (Project Participant)

Artemis JU

01/03/2013 → 28/02/2017

Project: Research

INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

Larsen, K. G. (Project Participant), Skou, A. (Project Participant) & Ravn, A. P. (Project Participant)

FP7 STREP

01/11/2012 → 31/10/2015

Project: Research

TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security

Hansen, R. R. (Project Manager), David, A. (Project Participant), Hüttel, H. (Project Participant) & Larsen, K. G. (Project Participant)

FP7 ICT

01/11/2012 → 31/12/2016

Project: Research

SENSATION: Self Energy-Supporting Autonomous Computation

Larsen, K. G. (Project Manager), Hansen, R. R. (Project Participant), Koch, P. (Project Participant), Nielsen, B. (Project Participant) & Skou, A. (Project Participant)

FP7 FET Proactive

01/10/2012 → 30/09/2015

Project: Research

BETTY: Behavioural Types for Reliable Large-Scale Software Systems

Hüttel, H. (Project Participant)

01/10/2012 → 01/11/2015

Project: Research

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

Skou, A. (Project Participant), Larsen, K. G. (Project Participant), Nielsen, B. (Project Participant), David, A. (Project Participant), Nyman, U. (Project Participant), Mikučionis, M. (Project Participant), Olsen, P. (Project Participant), Boudjadar, J. (Project Participant) & Kim, J. H. (Project Participant)

Artemis JU

01/06/2012 → 30/09/2015

Project: Research

Totalflex

Skou, A. (Project Participant), Pedersen, T. B. (Project Participant), Bak-Jensen, B. (Project Participant), Kjeldskov, J. (Project Participant), Skov, M. B. (Project Participant) & Uhrenholt, R. W. (Project Participant)

ForskEL

01/01/2012 → 31/12/2016

Project: Research

Energieffektiv måling og regulering af dekantere

Larsen, J. A. (Project Participant) & Skou, A. (Project Participant)

01/01/2012 → 31/12/2013

Project: Research

MBAT: Model-based Analysis and Testing of Embedded Systems

Nielsen, B. (Project Participant), Larsen, K. G. (Project Participant), David, A. (Project Participant), Mikučionis, M. (Project Participant) & Skou, A. (Project Participant)

Artemis JU

01/11/2011 → 31/10/2014

Project: Research

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

Skou, A. (Project Coordinator), Larsen, K. G. (Project Coordinator), Ravn, A. P. (Project Participant), Rosenkilde, J. (Project Participant), Olsen, P. (Project Participant), Le Guilly, T. (Project Participant), Madsen, P. P. (Project Participant), Holmene, C. F. (Project Manager) & Mardare, D. (Project Participant)

Artemis JU

01/06/2011 → 30/11/2014

Project: Research

IDEA4CPS: Foundations for Cyber-Physical Sytems

Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)

01/04/2011 → 30/04/2015

Project: Research

CJ4ES: Certifiable Java for Embedded Systems

Hansen, R. R. (Project Applicant), Ravn, A. P. (Project Applicant) & Larsen, K. G. (Project Applicant)

Forskningsrådet for Teknologi og Produktion

01/03/2011 → 28/02/2014

Project: Research

Energieffektiv regulering af separationsprocessor

Larsen, J. A. (Project Participant), Sloth, C. (Project Participant) & Skou, A. (Project Participant)

01/01/2011 → 31/12/2012

Project: Research

Hybrid Systems

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

19/05/2010 → 18/05/2013

Project: Research

Danish Center for Grid Computing (DCGC)

Kleist, J. (Project Licensee), Behrmann, G. (Project Participant), Skou, A. (Project Participant) & Jensen, H. T. (Project Participant)

19/05/2010 → 19/05/2013

Project: Research

RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms

Skou, A. (Project Licensee), Larsen, K. G. (Project Participant), Nyman, U. (Project Participant), Ravn, A. P. (Project Participant) & David, A. (Project Participant)

FP7 ARTEMIS JU

01/04/2010 → 01/04/2013

Project: Research

Homeport

Skou, A. (Project Manager), Madsen, P. P. (Project Participant), Brønsted, J. (Project Participant), Torbensen, R. (Project Participant), Ravn, A. P. (Project Participant), Olsen, P. (Project Participant), Rosenkilde, J. (Project Participant) & Le Guilly, T. (Project Participant)

Danish Enterprise and Construction Authority

01/04/2009 → 31/07/2012

Project: Research

InfinIT: Innovation Network for IT

Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, P. A. (Project Participant), Stage, J. (Project Participant), Nielsen, B. (Project Participant), Larsen, L. B. (Project Participant), Brendborg, B. (Project Participant), Uhrenholt, R. W. (Project Participant) & Kristensen, S. K. (Project Participant)

Council for Technology and Innovation

01/03/2009 → 01/07/2018

Project: Research

IKT Agil

Skou, A. (Project Licensee), Aaen, I. (Project Manager), Biegel, J. (Project Participant) & Coplien, J. (Project Participant)

Danish Enterprise and Construction Authority

01/01/2009 → 01/01/2011

Project: Research

The Software Corridor

Skou, A. (Project Manager), Hansen, J. A. (Project Participant), Jessen, J. J. (Project Participant), Andersen, P. (Project Participant) & Balstrup, B. (Project Participant)

Danish Enterprise and Construction Authority

01/01/2009 → 31/12/2011

Project: Research

Distributed, Embedded and Intelligent Systems

Projects

Search results