OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
The IT University of Copenhagen's Repository
Institutional Repository
758 Publications
More information
Detailed data provider information (OpenDOAR)


  • Family-Based Model Checking Without a Family-Based Model Checker

    Dimovski, Aleksandar; Al-Sibahi, Ahmad Salim; Brabrand, Claus; Wasowski, Andrzej (2015)
    Many software systems are variational: they can be configured to meet diverse sets of requirements. Variability is found in both communication protocols and discrete controllers of embedded systems. In these areas, model checking is an important verification technique. For variational models (systems with variability), specialized family-based model checking algorithms allow efficient verification of multiple variants, simultaneously. These algorithms scale much better than ``brute force'' ve...

    Optimeringseksperimenter:Postkritiske perspektiver på monitorering og evaluering i en miljøorganisation

    Winthereik, Brit Ross; Jensen, Casper Bruun (2014)
    In this article we investigate a group of environmental consultants in their efforts to create a local standard for monitoring and evaluating development projects. The point of these efforts is at once to improve the quality of projects and internal communication. We describe them as experiments in optimization. In particular, our analysis focuses on monitoring and evaluating as a form of optimization that generously constrains the world’s complexity in order to facilitate specific kinds of w...

    HELENA Stage 2—Danish Overview

    Tell, Paolo; Pfeiffer, Rolf-Helge; Pagh Schultz, Ulrik (2017)
    Since the early days of software engineering, a number of methods, processes, and practices to design and develop software systems have been proposed and applied in industry, e.g., the Rational Unified Process, Agile Software Development, etc. However, since no silver bullet exists, organizations use rich combinations of agile and/or traditional methods and practices, rather than following a single process by the book. To investigate this reality, an international exploratory multistage resea...

    Performance Evaluation of a Low-Cost Gaze Tracker for Eye Typing

    Barrett, Maria; Jensen, Henrik Tomra Skovsgaard Hegner; San Agustin, Javier (2009)

    Within the Mainstream. An Ecocritical Framework for Digital Game History

    Backe, Hans-Joachim (2017)
    Ecocriticism of digital games has so far engaged with a rather small corpus of examples, predominantly from a prescriptive perspective and with a quite limited methodological toolkit. This essay systematizes and historicizes some of these commonly found limitations of past research and proposes methods for a more historically and generically diverse exploration of ecological thinking vis-à-vis digital games. The majority of discussions of games from an ecocritical perspective has applied conc...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok