1. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger & Pei-Hsin Ho (1992): Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Robert L. Grossman, Anil Nerode, Anders P. Ravn & Hans Rischel: Hybrid Systems, Lecture Notes in Computer Science 736. Springer, pp. 209–229, doi:10.1007/3-540-57318-6\@uscore .30.
  2. Rajeev Alur, Salar Moarref & Ufuk Topcu (2016): Compositional Synthesis with Parametric Reactive Controllers. In: Alessandro Abate & Georgios E. Fainekos: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. ACM, pp. 215–224, doi:10.1145/2883817.2883842.
  3. Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans & Mehmet Aksit (2013): A design method for modular energy-aware software. In: Sung Y. Shin & José Carlos Maldonado: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. ACM, pp. 1180–1182, doi:10.1145/2480362.2480584.
  4. Miguel A Ferreira, Eric Hoekstra, Bo Merkus, Bram Visser & Joost Visser (2013): SEFLab: A lab for measuring software energy footprints. In: 2nd International Workshop on Green and Sustainable Software (GREENS), 2013. IEEE, pp. 30–37, doi:10.1109/GREENS.2013.6606419.
  5. Bernard van Gastel, Rody Kersten & Marko C. J. D. van Eekelen (2015): Using Dependent Types to Define Energy Augmented Semantics of Programs. In: Marko C. J. D. van Eekelen & Ugo Dal Lago: Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9964, pp. 20–39, doi:10.1007/978-3-319-46559-3\@uscore .2.
  6. Bernard van Gastel (2016): Assessing sustainability of software; analysing correctness, memory and energy consumption. Open Universiteit. Available at
  7. Bernard van Gastel & Marko van Eekelen (2016): Lecture notes on `Analysing energy consumption by software', for the TACLe Summerschool 2016 in Yspertal, Austria. Technical Report. Radboud University Nijmegen. Available at
  8. Erik A. Jagroep, Jan Martijn van der Werf, Sjaak Brinkkemper, Giuseppe Procaccianti, Patricia Lago, Leen Blom & Rob van Vliet (2016): Software Energy Profiling: Comparing Releases of a Software Product. In: Proceedings of the 38th International Conference on Software Engineering Companion, ICSE '16. ACM, New York, NY, USA, pp. 523–532, doi:10.1145/2889160.2889216.
  9. Ramkumar Jayaseelan, Tulika Mitra & Xianfeng Li (2006): Estimating the Worst-Case Energy Consumption of Embedded Software. In: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE, pp. 81–90, doi:10.1109/RTAS.2006.17.
  10. Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel & Marko van Eekelen (2014): A Hoare Logic for Energy Consumption Analysis. In: Proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'13), LNCS 8552. Springer, pp. 93–109, doi:10.1007/978-3-319-12466-7\@uscore .6.
  11. Xavier Leroy (2009): Formal verification of a realistic compiler. Communications of the ACM 52(7), pp. 107–115, doi:10.1145/1538788.1538814. Available at
  12. F. A. Moghaddam, T. Geenen, P. Lago & P. Grosso (2015): A user perspective on energy profiling tools in large scale computing environments. In: Sustainable Internet and ICT for Sustainability (SustainIT), 2015, pp. 1–5, doi:10.1109/SustainIT.2015.7101364.
  13. Rik Oldenkamp, Rosalie van Zelm & Mark A.J. Huijbregts (2016): Valuing the human health damage caused by the fraud of Volkswagen. Environmental Pollution 212, pp. 121 – 127, doi:10.1016/j.envpol.2016.01.053. Available at
  14. Paolo Parisen Toldin, Rody Kersten, Bernard van Gastel & Marko van Eekelen (2013): Soundness proof for a Hoare logic for energy consumption analysis. Technical Report ICIS–R13009. Radboud University Nijmegen. Available at
  15. Eric Saxe (2010): Power-efficient software. Communications of the ACM 53(2), pp. 44–48, doi:10.1145/1646353.1646370.
  16. Olha Shkaravska, Marko C. J. D. van Eekelen & Alejandro Tamalet (2013): Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. In: Ugo Dal Lago & Ricardo Peña: Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, Lecture Notes in Computer Science 8552. Springer, pp. 143–159, doi:10.1007/978-3-319-12466-7\@uscore .9.
  17. Alejandro Tamalet, Olha Shkaravska & Marko C.J.D. van Eekelen (2009): Size Analysis of Algebraic Data Types. In: Peter Achten, Pieter Koopman & Marco T. Morazán: Trends in Functional Programming, Trends in Functional Programming 9. Intellect, pp. 33–48. Available at,id=4648/. ISBN 978-1-84150-277-9.
  18. Frits W. Vaandrager (2017): Model learning. Commun. ACM 60(2), pp. 86–95, doi:10.1145/2967606.
  19. Peter Wagemann, Tobias Distler, Timo Honig, Heiko Janker, Rudiger Kapitza & Wolfgang Schroder-Preikschat (2015): Worst-Case Energy Consumption Analysis for Energy-Constrained Embedded Systems. 2015 27th Euromicro Conference on Real-Time Systems (ECRTS) 00, pp. 105–114, doi:10.1109/ECRTS.2015.17.
  20. Dmitry Zhurikhin, Andrey Belevantsev, Arutyun Avetisyan, Kirill Batuzov & Semun Lee (2009): Evaluating power aware optimizations within GCC compiler. In: GROW-2009: International Workshop on GCC Research Opportunities, pp. 1–9, doi:

Comments and questions to:
For website issues: