References

  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 http://sustainablesoftware.info/download/thesis-met-cover.pdf.
  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 https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2016-van-Eekelen-EnergyAnalysing.
  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 http://gallium.inria.fr/~xleroy/publi/compcert-CACM.pdf.
  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 http://www.sciencedirect.com/science/article/pii/S0269749116300537.
  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 https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2013-ParisenToldin-SoundnessLogic.
  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 http://www.intellectbooks.co.uk/books/view-Book,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:10.1.1.470.8078.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org