Papers
Some representative publications from our group in this area:
- Sjoerd Crooijmans, Mart Lubbers, Pieter Koopman. Reducing the Power Consumption of IoT with Task-Oriented Programming. In: Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers.
- Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko van Eekelen. Skylines for Symbolic Energy Consumption Analysis. FMICS 2020: 93-112.
- Pascal van Gastel, Bernard van Gastel, Marko van Eekelen. Detecting energy bugs and hotspots in control software using model checking. Programming 2018: 93-98.
- Bernard van Gastel. Analysing energy consumption of systems controlled by software. Programming 2017: 19:1-19:2.
