Cited By
View all- Ahmed SBhatti NAlizai MSiddiqui JMottola L(2020)Fast and Energy-Efficient State Checkpointing for Intermittent ComputingACM Transactions on Embedded Computing Systems10.1145/339190319:6(1-27)Online publication date: 29-Sep-2020
- Riesco AAsavoae IAsavoae M(2015)Memory Policy Analysis for Semantics Specifications in MaudeRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_18(293-310)Online publication date: 13-Jul-2015
- Kammerstetter MPlatzer CKastner WMoriai SJaeger TSakurai K(2014)ProspectProceedings of the 9th ACM symposium on Information, computer and communications security10.1145/2590296.2590301(329-340)Online publication date: 4-Jun-2014
- Show More Cited By