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
Program Committee
- Timothy Bourke (Inria, France)
- Linh Thi Xuan Phan (University of Pennsylvania, USA)
- Houssam Abbas (Oregon State University, USA)
- Tarek Abdelzaher (University of Illinois at Urbana Champaign, USA)
- Stanley Bak (Safe Sky Analytics, USA)
- Ayca Balkan (Medtronic Inc, USA)
- Guillaume Baudart (IBM Watson, USA)
- Enrico Bini (University of Turin, Italy)
- Alessandro Biondi (Scuola Superiore Sant'Anna - Pisa, Italy)
- Sergiy Bogomolov (Newcastle University, UK)
- Borzoo Bonakdarpour (Iowa State University, USA)
- Björn B. Brandenburg (Max Planck Institute for Software Systems, Germany)
- David Broman (KTH Royal Institute of Technology, Sweden)
- Li-Pin Chang (National Chiao Tung University, Taiwan)
- Wanli Chang (University of York, UK)
- Thidapat Chantem (Virginia Tech, USA)
- David Cock (ETH Zürich, Switzerland)
- Thao Dang (CNRS, France)
- Pallab Dasgupta (IIT Kharagpur, India)
- Dionisio de Niz (CMU Software Engineering Institute, USA)
- André DeHon (University of Pennsylvania, USA)
- Patricia Derler (National Instruments, USA)
- Parasara Sridhar Duggirala (University of North Carolina at Chapel Hill, USA)
- Rolf Ernst (TU Braunschweig, Germany)
- Georgios Fainekos (Arizona State University, USA)
- Vinod Ganapathy (Indian Institute of Science, Bangalore, India)
- Pierre-Loïc Garoche (Onera, France)
- Marc Geilen (Eindhoven University of Technology, The Netherlands)
- Gregor Goessler (Inria, France)
- Kees Goossens (Eindhoven University of Technology, The Netherlands)
- Nan Guan (The Hong Kong Polytechnic University, China)
- Zhishan Guo (University of Central Florida, USA)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Jean-Baptiste Jeannin (University of Michigan, USA)
- Susmit Jha (SRI International, USA)
- Yu Jiang (Tsinghua University, China)
- Xenofon D. Koutsoukos (Vanderbilt University, USA)
- Swarun Kumar (Carnegie Mellon University, USA)
- Shan Lin (Stonybrook University, USA)
- Renato Mancuso (Boston University, USA)
- Matthieu Moy (Université Claude Bernard Lyon, France)
- Sam H. Noh (Ulsan National Institute of Science and Technology, South Korea)
- Necmiye Ozay (University of Michigan, USA)
- Claire Pagetti (Onera / ENSEEIHT, France)
- Gabriel Parmer (George Washington University, USA)
- Marc Pouzet (École normale supérieure, France)
- Pavithra Prabhakar (Kansas State University, USA)
- Sylvie Putot (École polytechnique, France)
- S. Ramesh (General Motors, USA)
- Abhik Roychoudhury (National University of Singapore, Singapore)
- Indranil Saha (IIT Kanpur, India)
- Wolfgang Schröder-Preikschat (Friedrich–Alexander University Erlangen–Nürnberg, Germany)
- Donatella Sciuto (Polytechnic University of Milan, Italy)
- Lothar Thiele (ETH Zürich, Switzerland)
- Marcus Völp (University of Luxembourg, Luxembourg)
- Bryan Ward (MIT Lincoln Laboratory, USA)
- Gera Weiss (Ben Gurion University of the Negev, Israel)
- Bai Xue (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China)
- Chun Jason Xue (City University of Hong Kong, China)
- Naijun Zhan (State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China)