, ). -Automating efficient variable-grained resiliency for lowpower IoT systems, International Symposium on Code Generation and Optimization, pp.38-49, 2018.

, Hibernus++: a self-calibrating and adaptive system for transiently-powered embedded devices, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.35, pp.1968-1980, 2016.

, ). -Hibernus: Sustaining computation during intermittent supply for energy-harvesting systems, IEEE Embedded Systems Letters, vol.7, pp.15-18, 2015.

, ). -HarvOS: Efficient code instrumentation for transiently-powered embedded sensing, 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), pp.209-220, 2017.

, Rohou (E.) et Gamatié (A.). -Energy-efficient memory mappings based on partial WCET analysis and multi-retention time STT-RAM, 26th International Conference on Real-Time Networks and Systems (RTNS), pp.1-11, 2018.

, Rohou (E.) et Gamatié (A.). -Partial worst-case execution time analysis, ComPAS: Conférence d'informatique en Parallélisme, 2018.

C. , ). -Chain: tasks and channels for reliable intermittent programs, ACM SIGPLAN Noticesvolume, vol.51, pp.514-530, 2016.

(. A. Colin and L. Et, ). -Termination checking and task decomposition for task-based intermittent programs, 27th International Conference on Compiler Construction, pp.116-127, 2018.

, ). -The IoT energy challenge: A software perspective, IEEE Embedded Systems Letters, vol.10, pp.53-56, 2018.

, Static energy consumption analysis of LLVM IR programs. Computing Research Repository, arXiv, pp.1-12, 2014.

(. J. Gustafsson, Ermedahl (A.) et Lisper (B.). -The Mälardalen WCET benchmarks: Past, present and future, 10th International Workshop on Worst-Case Execution Time Analysis (WCET)

, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010.

. Hardy, Rouxel (B.) et Puaut (I.). -The Heptane static worst-case execution time estimation tool, 17th International Workshop on Worst-Case Execution Time Analysis (WCET), vol.8, p.12, 2017.

, QuickRecall: A low overhead HW/SW approach for enabling computations across power cycles in transiently powered computers, 27th International Conference on VLSI Design and 13th International Conference on Embedded Systems, pp.330-335, 2014.

J. , ). -The program structure tree: Computing control regions in linear time, ACM SigPlan Noticesvolume, vol.29, pp.171-185, 1994.

, LLVM: A compilation framework for lifelong program analysis & transformation, International symposium on Code generation and optimization: feedback-directed and runtime optimization, p.75, 2004.

, ). -Performance analysis of embedded software using implicit path enumeration, ACM SIGPLAN Noticesvolume, vol.30, pp.88-98, 1995.

, ). -A simpler, safer programming and execution model for intermittent systems, ACM SIGPLAN Notices, vol.50, pp.575-585, 2015.

(. K. Maeng, Colin (A.) et Lucia (B.). -Alpaca: intermittent execution without checkpoints. Proceedings of the ACM on Programming Languages (OOPSLA), vol.1, p.96, 2017.

. Raghunathan, ). -Design considerations for solar energy harvesting wireless embedded systems, Proceedings of the 4th international symposium on Information processing in sensor networks, p.64, 2005.

, ). -Nonvolatile memory is a broken time machine, Workshop on Memory Systems Performance and Correctness, p.5, 2014.

, ). -Mementos: System support for long-running computation on RFID-scale devices, ACM SIGARCH Computer Architecture Newsvolume, vol.39, pp.159-170, 2011.

. Van-der-woude, ). -Intermittent computation without hardware support or programmer intervention, 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.17-32, 2016.

. Wägemann, Kapitza (R.) et Schröder-Preikschat (W.). -Worst-case energy consumption analysis for energy-constrained embedded systems, 27th Euromicro Conference on Real-Time Systems, pp.105-114, 2015.

, ). -Remote area wind energy harvesting for low-power autonomous sensors, 37th IEEE Power Electronics Specialists Conference, pp.1-5, 2006.

. Wilhelm, -The worst-case execution-time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (TECS), vol.7, p.36, 2008.