Department of Computer Science

Projects

Projects per year

1984 2023

• 2 Not started
• 58 Active
• 157 Finished

Projects per year

Search results

• Finished

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

  Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.

  Poul Due Jensen Foundation

  27/04/2020 → 01/10/2020

  Project: Research

  • decision
  • project
  • modeling
  • serum
  • school

• EUopSTART - H2020 Proposal Preparation

  Papachristos, L.

  25/02/2020 → 07/04/2020

  Project: Other

• The Anthill - A Fragmented View of the Designed Beyond

  Encinas, E. & Mitchell, R.

  01/01/2020 → 10/05/2020

  Project: Other

• Understanding business-travel practices

  Raptis, D., Encinas, E., Skov, M. B. & Kjeldskov, J.

  01/02/2019 → 01/10/2019

  Project: Research

• AlliHop - Awaking Local Languages in Interaction

  Encinas, E., Dzalbe, S. & Mitchell, R.

  01/01/2019 → 01/06/2019

  Project: Research

• A virtual laboratory for sustainability assessment

  Hose, K. & Thomsen, C.

  01/01/2019 → 31/12/2020

  Project: Research

• PBL og entreprenørskab - sammenkobling og udvikling af begreber og praksis, der fremmer entreprenante kompetencer på tværs af AAU

  Lund, B., Vestergaard, J., Christensen, J. L., Aaen, I., Bak-Jensen, B., Gertsen, F., Vistisen, P., Krogh, L., Strand, A. M. C., Østergaard, A., Andreasen, M. B. & Thorsted, A. C.

  01/04/2018 → 30/10/2019

  Project: Research

• Research Collaborations with Industries in North Jutland

  Yang, B.

  01/03/2018 → 31/10/2018

  Project: Research

• PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (PBL and mathematics: How might PBL suit the fundamental sciences at a university)

  Søndergaard, B. D., Geil, O., Hüttel, H., Rasmussen, M. G. & Rasmussen, J. G.

  01/01/2018 → 01/03/2019

  Project: Other

• Interacting with Cars in Digital Ecologies

  Svangren, M. K.

  01/10/2017 → 30/09/2019

  Project: Research

• User Experience in Agile Development Environments

  Bruun, A. R., Nielsen, L., Nielsen, P. A., Persson, J. S. & Larusdottir, M.

  01/09/2017 → 01/04/2018

  Project: Research

  File

• Digital Disruption Consortium

  Rosenstand, C. A. F., Nielsen, K., Otrel-Cass, K., Gertsen, F., Haase, L. M., Tollestrup, C., Brunø, T. D., Nielsen, C., Thomsen, P., Lund, M., Kristiansen, K. B., Ploug, T., Gudiksen, S. K., Andersen, J. G., Lassen, A. H., Jensen, J. F., Haslam, C. R., Vistisen, P., Johansen, S. S., Brix, J., Kjeldskov, J., Sarangi, S. K. & Kristiansen, J. N.

  01/06/2017 → 01/05/2018

  Project: Research

• Productive4.0: Productive4.0

  Skou, A., Nielsen, B. & Albano, M.

  EU - Horizon 2020

  01/05/2017 → 30/09/2020

  Project: Research

  • Automation
  • Industry
  • Robot learning
  • Industry 4.0
  • Cyber Physical System

• Vejledning og IT-platform: PBL Exchange

  Hüttel, H., Gnaur, D. & Nørmark, K.

  01/02/2017 → 01/05/2018

  Project: Research

• Playing User Experience Assessments

  Nielsen, L. & Bruun, A. R.

  01/01/2017 → 01/09/2017

  Project: Research

  File

• Agile software processes for safety-critical systems

  Nielsen, P. A. & Tordrup Heeager, L.

  01/08/2016 → 31/10/2018

  Project: Research

• DISIMIT: Digital Service Integration through effective Management of IT

  Kræmmergaard, P., Nielsen, P. A., Tjørnehøj, G. & Reinwald, A.

  01/01/2016 → 31/12/2017

  Project: Consultancy

• Management and Applications of Indoor-Space Trajectory Data

  Lu, H. & Shou, L.

  01/01/2016 → 31/12/2017

  Project: Research

• Danish-Sino Workshops on Big Data Research Collaboration

  Lu, H.

  01/01/2016 → 30/06/2017

  Project: Other

• 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

  Jensen, R. H.

  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

• P3: Popular Parallel Programming

  Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.

  01/02/2015 → 31/03/2019

  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

• 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.

  Innovation Fund Denmark

  01/01/2015 → 31/12/2020

  Project: Research

  • IT Infrastructure
  • Research Center
  • Consortium
  • Usability
  • Prototype

• InfinIT Embedded Systems Engineering interest group

  Thomsen, B. & Madsen, J.

  01/07/2014 → 31/12/2018

  Project: Research

• PVCC: Photo Voltage Comfort Cooling

  Skou, A. & Agesen, M. K.

  EUDP

  01/01/2014 → 31/10/2016

  Project: Research

  • comfort
  • air conditioning
  • heat pumps
  • cooling
  • heat

• AMIDST: Analysis of MassIve Data STreams - AMIDST

  Madsen, A. L., Bock, A. R., Nielsen, T. D. & Martinez, A. M.

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

  01/01/2014 → 31/12/2016

  Project: Research

  • Finance
  • Automotive industry
  • Software engineering
  • Decision making

• 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.

  Regions of Knowledge

  01/09/2013 → 31/08/2016

  Project: Research

  • Embedded Systems
  • Innovation
  • Dissemination
  • Research Agenda
  • Triple Helix

• ASUD: Agile SW+UX Design

  Nielsen, P. A.

  01/08/2013 → 30/06/2016

  Project: Research

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

  Larsen, K. G., Skou, A., David, A. & Srba, J.

  FP7 STREP

  01/04/2013 → 31/03/2016

  Project: Research

  • Adaptive systems
  • Model checking
  • Health care
  • Automation
  • Communication

• Arrowhead

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

  Artemis JU

  01/03/2013 → 28/02/2017

  Project: Research

  • energy process
  • automation
  • manufacturing
  • infrastructure
  • market

• Arrowhead

  Bak-Jensen, B.

  01/03/2013 → 28/02/2017

  Project: Research

• Mobile Data Management for Pervasive Computing

  Lu, H.

  01/02/2013 → 31/12/2013

  Project: Research

• INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

  Larsen, K. G., Skou, A. & Ravn, A. P.

  FP7 STREP

  01/11/2012 → 31/10/2015

  Project: Research

  • residential building
  • energy
  • electricity
  • world
  • project

• SENSATION: Self Energy-Supporting Autonomous Computation

  Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.

  FP7 FET Proactive

  01/10/2012 → 30/09/2015

  Project: Research

  • Computer systems programming
  • Optimal systems
  • Energy harvesting
  • Embedded systems
  • Productivity

• BETTY: Behavioural Types for Reliable Large-Scale Software Systems

  Hüttel, H.

  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.

  Artemis JU

  01/06/2012 → 30/09/2015

  Project: Research

  • Real time systems
  • Embedded systems
  • Ecosystems
  • Middleware
  • Benchmarking

• Improving IT Project Portfolio Management

  Pedersen, K.

  02/04/2012 → 02/04/2013

  Project: Research

• Totalflex

  Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.

  ForskEL

  01/01/2012 → 31/12/2016

  Project: Research

  • Agglomeration
  • Automation

• Energieffektiv måling og regulering af dekantere

  Larsen, J. A. & Skou, A.

  01/01/2012 → 31/12/2013

  Project: Research

• BagTrack: Styr på bagagen

  Pedersen, T. B. & Lu, H.

  01/01/2012 → 31/12/2014

  Project: Research

• CAIN/Aveva

  Rose, J., Heeager, L. T. & Nielsen, P. A.

  01/12/2011 → 30/06/2012

  Project: Research

• MBAT: Model-based Analysis and Testing of Embedded Systems

  Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.

  Artemis JU

  01/11/2011 → 31/10/2014

  Project: Research

  • Embedded systems
  • Testing
  • Industry
  • Costs
  • Static analysis

• Produktivitet og Trivsel Projektet

  Pedersen, K.

  01/09/2011 → 01/09/2013

  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.

  Artemis JU

  01/06/2011 → 30/11/2014

  Project: Research

  • energy saving
  • energy use
  • energy
  • non-residential building
  • monitoring

• 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

• Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)

  Thomsen, B.

  10/02/2011 → 09/02/2015

  Project: Research