EMSOFT 2020: 20th International Conference on Embedded Software
Real-Time Scheduling
Suspension-Aware Earliest-Deadline-First Scheduling Analysis
Static Scheduling of Moldable Streaming Tasks with Task Fusion for Parallel Systems with DVFS
Efficient Feasibility Analysis for Graph-based Real-Time Task Systems
Precedence-aware Automated Competitive Analysis of Real-time Scheduling
Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy and Makespan
Energy Aware Applications and Techniques
LATICS: A Low-overhead Adaptive Task-based Intermittent Computing System
Managing Fleets of LEO Satellites: Nonlinear, Optimal, Efficient, Scalable, Usable, and Robust
Optimizing Discharge Efficiency of Reconfigurable Battery With Deep Reinforcement Learning
Optrone: Maximizing Performance and Energy Resources of Drone Batteries
Optimizing Energy in Non-preemptive Mixed-Criticality Scheduling by Exploiting Probabilistic Information
Hybrid Systems and Neural Networks
Safety Verification for Random Ordinary Differential Equations
Reachability analysis of linear hybrid systems via block decomposition
Hybrid System Falsification under (In)equality Constraints via Search Space Transformation
Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks
Pruning Deep Reinforcement Learning for Dual User Experience and Storage Lifetime Improvement on Mobile Devices
Control, Sensing and Probability
Automated Controller and Sensor Configuration Synthesis using Dimensional Analysis
Exploring Edge Computing for Multitier Industrial Control
Compositional Probabilistic Analysis of Temporal Properties over Stochastic Detectors
Fast Attack-Resilient Distributed State Estimator for Cyber-Physical Systems
Quantitative Timing Analysis for Cyber-Physical Systemsusing Uncertainty-Aware Scenario-Based Specifications
Systems-level Hardware and Software
Dynamic Memory Bandwidth Allocation for Real-Time GPU-Based SoC Platforms
HRM: Merging Hardware Event Monitors for Improved Timing Analysis of Complex MPSoCs
HopliteRT*: Real-Time NoC for FPGA
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking
eWASM: Practical Software Fault Isolation for Reliable Embedded Devices
Memory and GPUs
Enabling Latency-aware Data Initialization for Integrated CPU/GPU Heterogeneous Platform
Error Diluting: Exploiting 3-D NAND Flash Process Variation for Efficient Read on LDPC-Based SSDs
On Minimizing Analog Variation Errors to Resolve the Scalability Issue of ReRAM-based Crossbar Accelerators
Fast DRAM PUFs on Commodity Devices
SEAL: User Experience Aware Two-Level Swap for Mobile Devices
Modeling and Verification
Specification Guided Automated Debugging of CPS Models
Mining Shape Expressions From Positive Examples
Assume-Guarantee Distributed Synthesis
Online Signal Monitoring with Bounded Lag
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems