EMSOFT 2024: 24th International Conference on Embedded Software
Machine Learning under Resource Constraints
MII: A Multifaceted Framework for Intermittence-aware Inference and Scheduling
Batch-MOT: Batch-Enabled Real-Time Scheduling for Multi-Object Tracking Tasks
Arch2End: Two-stage Unified System-level Modeling for Heterogeneous Intelligent Devices
CaBaFL: Asynchronous Federated Learning via Hierarchical Cache and Feature Balance
Robot Operating Systems and Automotive Networks
Dynamic Priority Scheduling of Multi-Threaded ROS 2 Executor with Shared Resources
Modeling and Analysis of the LatestTime Message Synchronization Policy in ROS
Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor
Large Data Transfer Optimization for Improved Robustness in Real-Time V2X-Communication
Cyber-Physical Systems
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
Analysis and Prevention of MCAS-Induced Crashes
Revisiting Dynamic Scheduling of Control Tasks: A Performance-aware Fine-grained Approach
Backdoor Attacks on Safe Reinforcement Learning-Enabled Cyber-Physical Systems
Verification and Scheduling for Learning-Enabled Systems
Interval Image Abstraction for Verification of Camera-Based Autonomous Systems
Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance
BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations
VALO: A Versatile Anytime Framework For LiDAR based Object Detection Deep Neural Networks
Cyber-Security
ECG: Augmenting Embedded Operating System Fuzzing via LLM-based Corpus Generation
Caphammer: Exploiting Capacitor Vulnerability of Energy Harvesting Systems
Untrusted Code Compartmentalization for Bare Metal Embedded Devices
Parallel Fuzzing of IoT Messaging Protocols through Collaborative Packet Generation
Systems
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions
iFKVS: Lightweight Key-Value Store for Flash-Based Intermittently-Computing Devices
D-Linker: Debloating Shared Libraries by Relinking From Object Files
Ghostbuster: A Software Approach for Reducing Ghosting Effect on Electrophoretic Displays
Formal Methods and Verification
Hyper parametric timed CTL
Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements
Efficient Discovery of Actual Causality using Abstraction-Refinement
Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers
Program Committee
- Alessandro Biondi (Scuola Superiore Sant’Anna, Italy)
- Martina Maggio (Lund University, Sweden, and Saarland University, Germany)
- Ali Abbasi (CISPA Helmholtz Center, Germany)
- Ezio Bartocci (TU Vienna, Austria)
- Matthias Becker (KTH, Sweden)
- Enrico Bini (University of Turin, Italy)
- Gedare Bloom (University of Colorado at Colorado Springs, USA)
- Borzoo Bonakdarpour (Michigan State University, USA)
- Timothy Bourke (Inria/ENS, France)
- Daniel Casini (Scuola Superiore Sant'Anna, Italy)
- Francisco Cazorla (BSC, Spain)
- Li-Pin Chang (National Yang Ming Chiao Tung University, Taiwan)
- Sudipta Chattopadhyay (Singapore University of Technology, Singapore)
- Jian-Jia Chen (TU Dortmund, Germany)
- Jyotirmoy V. Deshmukh (University of Southern California, USA)
- Stephen A. Edwards (Columbia University, USA)
- Petru Eles (Linkoping University, Sweden)
- Rolf Ernst (TU Braunschweig, Germany)
- Heiko Falk (TU Hamburg, Germany)
- Pierre-Loic Garoche (ENAC, France)
- Nan Guan (City University of Hong Kong, Hong Kong)
- Arpan Gujarati (University of British Columbia, Canada)
- Zhishan Guo (North Carolina State University, USA)
- Arne Hamann (Bosch Gmbh, Germany)
- Jean-Baptiste Jeannin (University of Michigan, USA)
- Yu Jiang (Tsinghua University, China)
- Taylor T. Johnson (Vanderbilt University, USA)
- Hanjun Kim (Yonsei University, South Korea)
- Angeliki Kritikakou (University of Rennes 1, France)
- Cong Liu (University of California Riverside, USA)
- Lucia Lo Bello (University of Catania, Italy)
- Marten Lohstroh (University of California, Berkeley, USA)
- Chenyang Lu (Washington University in St. Louis, USA)
- Renato Mancuso (Boston University, USA)
- Geoffrey Nelissen (TU Eindhoven, Netherlands)
- Shahriar Nirjon (University of North Carolina, USA)
- Alessandro Papadopoulos (Malardalen Univ., Sweden)
- Linh Thi Xuan Phan (University of Pennsylvania, USA)
- Pavithra Prabhakar (Kansas State University, USA)
- Indranil Saha (IIT Kanpur, India)
- Jean-Luc Scharbarg (IRIT, France)
- Anne-Kathrin Schmuck (MPI-SWS, Germany)
- Youcheng Sun (University of Manchester, UK)
- Lothar Thiele (ETH Zurich, Switzerland)
- Bryan Ward (Vanderbilt University, USA)
- Shuochao Yao (George Mason University, USA)
- Kasim Sinan Yildirim (University of Trento, Italy)
- Haibo Zeng (Virginia Tech, USA)
- Naijun Zhan (State Key Lab of Computer Science, China)
- Zhenya Zhang (Kyushu University, Japan)
- Alex Zinenko (Google)