40 citations · 48 across the 3 of their papers we have counts for
3 papers
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems
Bernard van Gastel, Marko van Eekelen
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 opt…
Formal Component-Based Semantics
Ken Madlener, Sjaak Smetsers, Marko van Eekelen
One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that t…
Polynomial Size Analysis of First-Order Shapely Functions
Olha Shkaravska, Marko van Eekelen, Ron van Kesteren
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by…