Department of Computer Science

Projects

Projects per year

1984 2023

• 2 Not started
• 58 Active
• 157 Finished

Projects per year

Search results

• 3D Visual Data Mining -3DVDM-

  Bukauskas, L., Granum, E., Nagel, H. R., Böhlen, M. & Mylov, P.

  01/08/1999 → 30/07/2003

  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

• Advanced Real-Time Systems - ARTIST

  Larsen, K. G., Skou, A. & Nielsen, B.

  01/04/2002 → 31/03/2005

  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

• AAU Cubesat

  Bhanderi, D., Alminde, L., Bisgaard, M., Wisniewski, R., Nielsen, J. F. D. & Bak, T.

  <ingen navn>

  03/09/2001 → 30/06/2003

  Project: Research

  • Small satellites
  • Satellites
  • Students
  • Education
  • Transmitters

• A Data-Intensive Paradigm for Dynamic, Uncertain Networks

  Yang, B.

  01/09/2019 → 31/08/2023

  Project: Research

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

  Hüttel, H.

  01/10/2012 → 01/11/2015

  Project: Research

• Advanced Methods for Timed Systems - AMETIST

  Larsen, K. G., Behrmann, G. & Fleury, E.

  Euro Contract number: IST-2001-35304

  01/04/2002 → 31/03/2005

  Project: Research

  • Digital circuits
  • Real time systems
  • Telecommunication networks
  • Resource allocation

• Agil

  Skou, A., Aaen, I., Hosbond, J. H., Nielsen, P. A. & Biegel, J.

  IT Korridoren

  01/03/2006 → 01/06/2007

  Project: Research

  • Embedded software
  • Education
  • Software engineering
  • Industry

• Agile &amp; Open Business Intelligence (AOBI)

  Thomsen, C. & Pedersen, T. B.

  Den Regionale IKT-Korridor

  01/02/2008 → 01/08/2009

  Project: Research

• Agile software processes for safety-critical systems

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

  01/08/2016 → 31/10/2018

  Project: Research

• ASUD: Agile SW+UX Design

  Nielsen, P. A.

  01/08/2013 → 30/06/2016

  Project: Research

• Algorithmic Foundations for Data-Intensive Routing

  Yang, B.

  01/03/2019 → 28/02/2021

  Project: Other

• AlliHop - Awaking Local Languages in Interaction

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

  01/01/2019 → 01/06/2019

  Project: Research

• 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

• 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

• Astra: Analytics of Time series in spatial networks

  Yang, B., Guo, C. & Cirstea, R.

  01/10/2018 → 30/09/2021

  Project: Research

• Animated computer games

  Zeng, Y., Jensen, F. V., Søndberg-Jeppesen, N. & Bangsø, O.

  19/05/2010 → …

  Project: Research

• Anytime hybrid propagation in Bayesian networks

  Kjærulff, U., Zeng, Y., Jensen, F. V. & Nielsen, T. D.

  19/05/2010 → …

  Project: Research

• Approximate Reasoning for Stochastic Markovian Systems

  Mardare, R. & Larsen, K. G.

  01/11/2015 → 31/10/2019

  Project: Research

• APRIL 2

  Jaeger, M.

  31/12/2006 → 31/12/2006

  Project: Research

• Arrowhead

  Bak-Jensen, B.

  01/03/2013 → 28/02/2017

  Project: Research

• 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

• ABRA: Artificial Biology, Robotics and Art

  Jochum, E., Horvath, A., Löchtefeld, M., Rehm, M., Merritt, T. R., Chrysostomou, D. & Pekarik, M.

  ERASMUS+

  01/09/2020 → 31/08/2023

  Project: Research

  • biology
  • art
  • transdisciplinary
  • strategic alliance
  • creativity

• Artist 2, Network of Excellence on Embedded Systems Design

  Larsen, K. G., Kleist, J., Nielsen, B., Skou, A., Ravn, A. P. & Behrmann, G.

  EU IST FP6

  01/08/2004 → 31/07/2008

  Project: Research

  • artist
  • budget
  • control theory
  • Euro
  • electrical engineering

• Asian University for Women

  Dirckinck-Holmfeld, L., Bygholm, A. K. M., Kanstrup, A. M., Nielsen, P. A., Tjørnehøj, G., Vardinghus, L. H. & Georgsen, M.

  Det Obelske Familiefond, AAU medfinansiering

  01/01/2008 → 01/02/2015

  Project: Research

  • Environmental engineering
  • E-learning
  • Informatics
  • Curricula
  • Computer science

• aSTEP: aau's Spatio-TEmporal data analytics Platform

  Yang, B.

  01/02/2016 → …

  Project: Research

• Automated Model-based Software Testing

  Nielsen, B., Mikucionis, M., Skou, A., Justesen, J., Riisgaard-Jensen, M. & Madsen, K. B.

  <ingen navn>

  01/06/2006 → 31/05/2007

  Project: Research

  • Software testing
  • Testing
  • Climate control
  • Embedded software
  • Controllers

• Automated Test-Execution system

  Nielsen, B., Mikucionis, M., Skou, A., Andersen, F. & Wiwe, C. B.

  <ingen navn>

  01/01/2006 → 28/02/2006

  Project: Research

  • Air conditioning
  • Cooling
  • Controllers

• A virtual laboratory for sustainability assessment

  Hose, K. & Thomsen, C.

  01/01/2019 → 31/12/2020

  Project: Research

• Calculi and verification techniques for security and mobility, 1999-2001

  Hüttel, H.

  01/01/1999 → 31/12/2001

  Project: Research

• BagTrack: Styr på bagagen

  Pedersen, T. B. & Lu, H.

  01/01/2012 → 31/12/2014

  Project: Research

• 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

• Bluetooth-Based Mobile Services for Conference Delegates

  Jensen, C. S., Inc., B. S., Inc., N., Familiefond, D. O., Aalborg, S. F. C. F. E. S. S. & Aalborg, C. F. E. S. S.

  <ingen navn>

  01/07/2005 → 30/11/2006

  Project: Research

  • Bluetooth
  • Information services
  • Computer science
  • Servers
  • Industry

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

  Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A., Boudjadar, J. & Kim, J. H.

  Independent Research Fund Denmark | Technology and Production sciences

  01/08/2017 → 31/07/2021

  Project: Other

• Data governance in complex organizations

  Benfeldt, O., Persson, J. S. & Madsen, S.

  01/09/2016 → …

  Project: Research

• Data Management Support for Location-Based Services

  Pedersen, T. B. & Jensen, C. S.

  Center for IT Research

  01/01/2002 → 31/12/2005

  Project: Research

• CAIN/Aveva

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

  01/12/2011 → 30/06/2012

  Project: Research

• Design of a Usability Laboratory for Testing Mobile Devices

  Kjeldskov, J., Skov, M. B., Stage, J., Technology, S. U. O. & ETI, N. S.

  Nokia, Siemens, Aalborg University, Department of Computer Science, <ingen navn>

  01/01/1999 → 01/01/2003

  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

• CJ4ES: Certifiable Java for Embedded Systems

  Hansen, R. R., Ravn, A. P. & Larsen, K. G.

  Forskningsrådet for Teknologi og Produktion

  01/03/2011 → …

  Project: Research

• 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

• 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

• 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

• 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

• 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

• Contract-Oriented Software Development for Internet Services

  Ravn, A. P., Owe, O., Schneider, G., Prisacariou, C., Giambiagi, P., Haridi, S. & Okika, J.

  Nordunet3

  01/06/2006 → 01/06/2009

  Project: Research

  • Software engineering
  • Internet
  • Service oriented architecture (SOA)
  • Computer programming languages
  • Quality of service

• Core Application Technology for Telematics in USN Enviroment

  Jensen, C. S. & National University, P.

  Electronics and Telecommunications Research Institute, South Korea

  01/08/2005 → 31/01/2006

  Project: Research

  • Mobile ad hoc networks
  • Communication
  • Sensor networks
  • Digital multimedia broadcasting
  • Sensors

• COSPA

  Böhlen, M., Bolzano, F. U. O., Automatizalasi Kutatointezet, M. S. E., Limerick, U. O., Sheffield, U. O., Hospital, B., Adige, C. D. C., Kommune, H., Genoa, P. O., Pisa, P. O., - Society of Information Technology Management, S., Regional Authority, S. W., City Council, T., (SME), C. & Belgium, I.

  European Union Sixth Framework Programme

  01/01/2004 → 30/06/2006

  Project: Research

  • Open Data
  • Open Source Software
  • Consortium
  • Public Administration

• COST Action IC0701Formal Verification of Object-Oriented Software

  Thomsen, B., Hansen, R. R. & Thomsen, L. L.

  COST

  11/03/2008 → 10/03/2012

  Project: Research