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.
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.
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.
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.
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.
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.
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.
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.
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.
Eric Saxe (2010):
Power-efficient software.
Communications of the ACM 53(2),
pp. 44–48,
doi:10.1145/1646353.1646370.
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.
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.
Frits W. Vaandrager (2017):
Model learning.
Commun. ACM 60(2),
pp. 86–95,
doi:10.1145/2967606.
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.
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.