Projekter pr. år
- 28 resultater
Søgeresultater
-
Afsluttet
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
-
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
-
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
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
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
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Quasimodo
Larsen, K. G., Nielsen, B., Skou, A., David, A., Mikucionis, M. & Li, S.
01/01/2008 → 31/12/2010
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
-
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
-
Artist 2, Kompetencecenter for Design af Indlejrede Systemer
Larsen, K. G., Kleist, J., Nielsen, B., Skou, A., Ravn, A. P. & Behrmann, G.
01/08/2004 → 31/07/2008
Projekter: Projekt › Forskning
-
Advancerede Metoder Til Tidsafhængige Systemer - AMETIST
Larsen, K. G., Behrmann, G. & Fleury, E.
Euro Contract number: IST-2001-35304
01/04/2002 → 31/03/2005
Projekter: Projekt › Forskning
-
Advanced Real-Time Systems - ARTIST
Larsen, K. G., Skou, A. & Nielsen, B.
01/04/2002 → 31/03/2005
Projekter: Projekt › Forskning