Projects per year
- 50 - 100 out of 245 results
Search results
-
Finished
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Project: Research
-
Designing Smart Home Interactions and Their Energy Consumption Impacts
01/08/2015 → 01/08/2018
Project: Research
-
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
Project: Research
-
QWeb: Querying the Web of Data Easily and Efficiently
Hose, K., Montoya, G., Prado, L. A. G. D., Rouces, J., Mathiassen, K. A. M., Zervakis, E. & Setty, V.
01/02/2015 → 31/10/2019
Project: Research
-
P3: Popular Parallel Programming
Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.
01/02/2015 → 31/03/2019
Project: Research
-
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
Project: Research
-
InfinIT Embedded Systems Engineering interest group
Thomsen, B. & Madsen, J.
01/07/2014 → 31/12/2018
Project: Research
-
-
AMIDST: Analysis of MassIve Data STreams - AMIDST
Madsen, A. L., Rommerdahl Bock, A., Nielsen, T. D. & Martinez, A. M.
01/01/2014 → 31/12/2016
Project: Research
-
INFINIT Udviklingsprocesser i vækst
Nørbjerg, J., Nielsen, P. A. & Persson, J. S.
01/01/2014 → 30/06/2014
Project: Research
-
ABCDE: Agile Bruger-Centreret Design og Evaluering
Færch, S. V., Larsen, L. B., Stage, J., Billestrup-Olesen, J. & Bruun, A. R.
02/12/2013 → 30/04/2014
Project: Research
-
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
Project: Research
-
IT4BI-DC: Erasmus Mundus Joint Doctorate in Information Technologies for Business Intelligence – Doctoral College
Pedersen, T. B., Thomsen, C., Hose, K., Xie, X., Karras, P., Gür, N., Nath, R. P., Saleem, M. A., Ahmed, T., Siksnys, L., Gummidi, B., Subba, L. T., Iqbal, M., Rybnytska, O., Isaj, S., Neupane, B. & Valsomatzis, E.
01/08/2013 → 31/10/2021
Project: Research
-
-
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
Project: Research
-
-
-
-
INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level
Larsen, K. G., Skou, A. & Ravn, A. P.
01/11/2012 → 31/10/2015
Project: Research
-
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
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Project: Research
-
BETTY: Behavioural Types for Reliable Large-Scale Software Systems
01/10/2012 → 01/11/2015
Project: Research
-
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
Project: Research
-
-
Totalflex
Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.
01/01/2012 → 31/12/2016
Project: Research
-
Energieffektiv måling og regulering af dekantere
Larsen, J. A. & Skou, A.
01/01/2012 → 31/12/2013
Project: Research
-
-
-
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
Project: Research
-
-
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
Project: Research
-
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
Project: Research
-
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
Project: Research
-
Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)
10/02/2011 → 09/02/2015
Project: Research
-
Energieffektiv regulering af separationsprocessor
Larsen, J. A., Sloth, C. & Skou, A.
01/01/2011 → 31/12/2012
Project: Research
-
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Project: Research
-
The Logic of Obligation
Zeller, J., Øhrstrøm, P. & Sandborg-Petersen, U.
19/05/2010 → 31/12/2013
Project: Research
-
-
Inference methods for Bayesian networks and influence diagrams
Nielsen, T. D., Jensen, F. V., Olesen, K. G., Kjærulff, U. & Bangsø, O.
19/05/2010 → 31/12/2015
Project: Research
-
Modularization of complex tasks
Olesen, K. G., Bangsø, O., Nielsen, T. D. & Jaeger, M.
19/05/2010 → 31/12/2015
Project: Research
-
Mobile Software Development
Nielsen, P. A., Hosbond, J. H. & Aaen, I.
19/05/2010 → 31/10/2020
Project: Research
-
Self-Validating Self-Reconfigurable Control Systems
Tabatabaeipour, S. M.
19/05/2010 → 18/05/2013
Project: Research
-
Graphical models in R
Lauritzen, S. L., Dethlefsen, C., Bøttcher, S. G., Eriksen, S. & Gregersen, A. R.
19/05/2010 → 31/12/2012
Project: Research
-
Analysis tools for Bayesian networks and influence diagram
Nielsen, T. D., Olesen, K. G., Bangsø, O., Jensen, F. V., Kjærulff, U. & Nielsen, S. H.
19/05/2010 → 31/12/2015
Project: Research
-
Information Systems Development
Nielsen, P. A., Rose, J., Aaen, I., Bækgaard, L., Hosbond, J. H., Bygstad, B., Omland, H. O. & Nordheim, S.
19/05/2010 → 31/12/2020
Project: Research
-
Hybrid Systems
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
Project: Research
-
Danish Center for Grid Computing (DCGC)
Kleist, J., Behrmann, G., Skou, A. & Jensen, H. T.
19/05/2010 → 19/05/2013
Project: Research
-
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
Project: Research
-
MEco: MEco - Medical Ecosystem - Personalized Event-Based Surveillance
Dolog, P., Xu, G., Lage, R. G., Bayyapu, K. R. & Pan, R.
01/01/2010 → 30/06/2012
Project: Research