Projekter pr. år
- 1 - 50 ud af 57 resultater
Søgeresultater
-
Totalflex
Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.
01/01/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
The Software Corridor
Skou, A., Hansen, J. A., Jessen, J. J., Andersen, P. & Balstrup, B.
Danish Enterprise and Construction Authority
01/01/2009 → 31/12/2011
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
The Virtual Desktop and Beyond
Skou, A., Thomsen, L. L. & Christensen, K.
Den regionale IKT satsning, INS fakultetets medfinancieringspulje, Landmandens Virtuelle Skrivebord, Dansk Landbrugsrådgivning
15/08/2006 → 15/08/2009
Projekter: Projekt › Forskning
-
RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms
Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.
01/04/2010 → 01/04/2013
Projekter: Projekt › Forskning
-
-
TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning
-
Støtte- og styringssystem til rutebusser
Lahrmann, H., Larsen, K. G., Tibo, A., Skov, M. B., Øhlenschlæger, R., Stakenaite, D., Gøeg, P. R. & Christensen, A. E.
01/08/2020 → 30/11/2021
Projekter: Projekt › Forskning
-
Sb3D: Security by Design in Digital Denmark
Hansen, R. R. & Nielsen, P. A.
01/12/2020 → 30/11/2023
Projekter: Projekt › Forskning
-
Productive4.0: Productive4.0
Skou, A., Nielsen, B. & Albano, M.
01/05/2017 → 30/09/2020
Projekter: Projekt › Forskning
-
PVCC: Photo Voltage Comfort Cooling
Skou, A. & Agesen, M. K.
01/01/2014 → 31/10/2016
Projekter: Projekt › Forskning
-
Quasimodo
Larsen, K. G., Nielsen, B., Skou, A., David, A., Mikucionis, M. & Li, S.
01/01/2008 → 31/12/2010
Projekter: Projekt › Forskning
-
domOS: Operating System for Smart Services in Buildings
Skou, A., Nielsen, B., Pedersen, T. B. & Thomsen, C.
01/09/2020 → 31/08/2023
Projekter: Projekt › Forskning
-
Prosoft
Knudsen, J., Aaen, I., Skou, A., Nielsen, B. & Nielsen, P. A.
01/01/2004 → 01/04/2006
Projekter: Projekt › Forskning
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
Projekter: Projekt › Forskning
-
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
01/10/2008 → 01/10/2013
Projekter: Projekt › Forskning
-
MoDES: Model Driven Development of Embedded Systems
Larsen, K. G., Skou, A. & Ravn, A. P.
The Strategic Research Council
01/01/2006 → 31/07/2010
Projekter: Projekt › Forskning
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning
-
MULTIFORM - Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems
Nielsen, B., Mikucionis, M., Larsen, K. G., Nielsen, B. & David, A.
01/09/2008 → 01/02/2012
Projekter: Projekt › Forskning
-
Modelbaseret Integrationstest af Software i Mobile Enheder
Rasmussen, J. I., Skou, A. & Mikucionis, M.
01/11/2007 → 31/10/2009
Projekter: Projekt › Forskning
-
Java Object
Skou, A., Thomsen, B. & Ravn, A. P.
Council for Technology and Innovation
01/01/2007 → 31/12/2009
Projekter: Projekt › Forskning
-
-
INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G., Skou, A. & Ravn, A. P.
01/11/2012 → 31/10/2015
Projekter: Projekt › Forskning
-
InfinIT: Innovation Network for IT
Larsen, K. G., Skou, A., Nielsen, P. A., Stage, J., Nielsen, B., Larsen, L. B., Brendborg, B., Werning Uhrenholt, R. & Kristensen, S. K.
Council for Technology and Innovation
01/03/2009 → 01/07/2018
Projekter: Projekt › Forskning
-
Kontraktbaseret programudvikling for internettjenester
Ravn, A. P., Owe, O., Schneider, G., Prisacariou, C., Giambiagi, P., Haridi, S. & Okika, J.
01/06/2006 → 01/06/2009
Projekter: Projekt › Forskning
-
IKT Agil
Skou, A., Aaen, I., Biegel, J. & Coplien, J.
Danish Enterprise and Construction Authority
01/01/2009 → 01/01/2011
Projekter: Projekt › Forskning
-
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/2009 → 31/07/2012
Projekter: Projekt › Forskning
-
Improving Power Plant Operation through Hybrid Control
Niemczyk, P., Bendtsen, J. D. & Ravn, A. P.
Center for Embedded Software Systems (CISS), Section for Automation and Control, DONG Energy A/S
01/12/2007 → 31/10/2010
Projekter: Projekt › Forskning
-
GASICS: Games for Analysis and Synthesis of Interactive Computational Systems
Larsen, K. G., David, A., Skou, A., Nielsen, B., Mikucionis, M. & Li, S.
01/11/2008 → 31/10/2011
Projekter: Projekt › Forskning
-
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.
19/05/2010 → 18/05/2013
Projekter: Projekt › Forskning
-
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.
01/04/2011 → 30/04/2015
Projekter: Projekt › Forskning
-
FEVER: Flexible Energy Production, Demand and Storage-based Virtual Power Plants for Electricity Markets and Resilient DSO Operation
Skou, A., Pedersen, T. B., Skov, M. B., Chakraborty, N., Jensen, R. H. & Raptis, D.
01/02/2020 → 31/07/2023
Projekter: Projekt › Forskning
-
FED: Flexible Energy Denmark
Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.
01/04/2019 → 31/03/2023
Projekter: Projekt › Forskning
-
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.
01/06/2011 → 30/11/2014
Projekter: Projekt › Forskning
-
Energieffektiv regulering af separationsprocessor
Larsen, J. A., Sloth, C. & Skou, A.
01/01/2011 → 31/12/2012
Projekter: Projekt › Forskning
-
Energieffektiv måling og regulering af dekantere
Larsen, J. A. & Skou, A.
01/01/2012 → 31/12/2013
Projekter: Projekt › Forskning
-
Data Science meets Microbial Dark Matter
Albertsen, M., Hose, K., Nielsen, T. D., Lamurias, A. & Mølvang Dall, S.
Villum Fonden, Danish E-infrastructure Cooperation
01/01/2021 → 31/12/2023
Projekter: Projekt › Forskning
-
MANTIS: Cyber Physical System based Proactive Collaborative Maintenance
Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.
01/05/2015 → 30/04/2018
Projekter: Projekt › Forskning
-
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.
01/06/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
-
CLINES: Cluster-based Innovation through Embedded Systems technology
Skou, A., Nielsen, P. A., Aaen, I., Larsen, K. G., Nøhr, B. P., Holmene, C. F., Nielsen, C., Kristiansen, K. B. & Pedersen, J. E.
01/09/2013 → 31/08/2016
Projekter: Projekt › Forskning
-
DiCyPS: Center for Data-Intensive Cyber-Physical Systems
Larsen, K. G., Skou, A., Pedersen, T. B., Jensen, C. S., Kjeldskov, J., Skov, M. B., Nielsen, B., Lahrmann, H., Bak-Jensen, B., Guerrero, J. M. & Raptis, D.
01/01/2015 → 31/12/2020
Projekter: Projekt › Forskning
-
Dansk center for Grid Computing (DCGC)
Kleist, J., Behrmann, G., Skou, A. & Jensen, H. T.
19/05/2010 → 19/05/2013
Projekter: Projekt › Forskning
-
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/2007 → 31/03/2011
Projekter: Projekt › Forskning
-
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/2017 → 31/07/2021
Projekter: Projekt › Andet
-
CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Projekter: Projekt › Forskning
-
Arrowhead
Skou, A., Pedersen, T. B. & Bak-Jensen, B.
01/03/2013 → 28/02/2017
Projekter: Projekt › Forskning
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
Projekter: Projekt › Forskning
-
Automatisk Test-Afviklingssystem
Nielsen, B., Mikucionis, M., Skou, A., Andersen, F. & Wiwe, C. B.
01/01/2006 → 28/02/2006
Projekter: Projekt › Forskning