EMSOFT: Power, Energy and Analysis

Talks -

Title: CapOS: Capacitor Error Resilience for Energy Harvesting Systems
Authors: Jongouk Choi (University of Central Florida); Hyunwoo Joe (Electronics and Telecommunications Research Institute (ETRI)); Changhee Jung (Purdue University)

Title: Cyber-Physical Verification of Intermittently Powered Embedded Systems
Authors: Rose Bohrer (Worcester Polytechnic Institute); Bashima Islam (Worcester Polytechnic Institute)

Title: Sparsity-Aware Intelligent Spatiotemporal Data Sensing for Energy Harvesting IoT System
Authors: Wen Zhang (Texas A&M University at Corpus Christi); Mimi Xie (The University of Texas at San Antonio); Caleb Scott (The University of Texas at San Antonio); Chen Pan (Texas A&M University at Corpus Christi)

Title: Work-in-Progress: A Resource-Aware Optimization Model for Real-Time Systems Analysis and Design
Authors: Rezwana Mamata (Ontario Tech University); Akramul Azim (Ontario Tech University)

Title: Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis
Authors: Arthur Grisel-Davy (University of Waterloo); Amrita Milan Bhogayata (University of Waterloo); Srijan Pabbi (University of Waterloo); Apurva Narayan (University of Waterloo); Sebastian Fischmeister (University of Waterloo)

Title: Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic
Authors: Jean-Baptiste Jeannin (University of Michigan); Jiawei Chen (University of Michigan); José Luiz Vargas de Mendonça (University of Michigan); Konstantinos Mamouras (Rice University)