In this paper we present type patterns: a notation for shape-carrying array types that enables
the specification of dependent type signatures while maintaining flexibility and a high level …

Energy consumption analysis of IT-controlled systems can play a major role in minimising
the overall energy consumption of such IT systems, during the development phase, or for …

We explore a way to find energy deficiencies in code by model checking, both properties
related to utilisation (energy hotspots) and not related to utilisation (energy bugs). Temporal …

Many studies discuss the high energy consumption of software, most of which attempt to
measure it or focus on what software developers can do to reduce it. In contrast, this paper …

Type systems provide software developers immediate feedback about a subset of
correctness properties of their programs. IDE integrations often take advantage of type …

Many studies discuss the high energy consumption of software, most of which attempt to
measure it or focus on what software developers can do to reduce it. In contrast, this paper …

Abstract The Manning and Automation project of the Royal Netherlands Navy is an effort to
modernize the mode of operation on board of their ships. The central idea is that with more …

Energy consumption in embedded systems plays a large role as it has implications for the
power supply and the batteries used. Programmers of these systems should consider how …

Saving the World Page 1 Saving the World A long and windy road towards sustainability and
formal verification in practice Marko van Eekelen Full Professor, Head of Department Computer …

Energy consumption analysis of IT-controlled systems can play a major role in minimising
the overall energy consumption of such IT systems, during the development phase, or for …