Energy is becoming a key resource for IT systems. Hence, it can be essential for the success
of a system under development to be able to derive and optimise its resource consumption …

After correctness, the most important properties of programs concern their resource
requirements, like how much time they take to run or how much memory they need. It is …

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 …

hile green software is a popular topic in computer science nowadays, the average
programmer still has little options for analysis of the energy-efficiency of his/her software …

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

Energy consumption of software has received significantly more attention in the past decade
due to the advent of increasingly small, mobile technology; embedded systems or smart …

Energy efficiency is a key concern in the design of mobile software, but no less significant for
understanding the environmental impact of backend software in data centers. However …

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 …