| emsoft | participants

EMSOFT 2023: 23rd International Conference on Embedded Software

chair:
Claire Pagetti
cochair:
Alessandro Biondi
Committee:
see below
where:
Hamburg, Germany
published:
ACM TECS, Vol. 22, No. 5s

Formal CPS Design

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

Lélio Brun, Christophe Garion, Pierre-loic Garoche, and Xavier Thirioux

Verified Compilation of Synchronous Dataflow with State Machines

Timothy Bourke, Basile Pesin, and Marc Pouzet

Mobile and Resource-Constrained Systems

DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems

Osama Khan, Gwanjong Park, and Euiseong Seo

iAware: Interaction Aware Task Scheduling for Reducing Resource Contention in Mobile Systems

Yongchun Zheng, Changlong Li, Yi Xiong, Weihong Liu, Cheng Ji, Zongwei Zhu, and Lichen Yu

Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency

Yi-Quan Chou, Lin-Wei Shen, and Li-Pin Chang

Networking

CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks

Andrew Loveless, Linh Thi Xuan Phan, Lisa Erickson, Ronald Dreslinski, and Baris Kasikci

Improving worst-case TSN communication times of large sensor data samples by exploiting synchronization

Jonas Peeck and Rolf Ernst

B-AWARE: Blockage Aware RSU Scheduling for 5G Enabled Autonomous Vehicles

Matthew Szeto, Edward Andert, Aviral Shrivastava, Martin Reisslein, Chung-Wei Lin, and Christ D. Richmond

Real-Time and Distributed Systems

Methods to Realize Preemption in Phased Execution Models

Thilanka Thilakasiri and Matthias Becker

Consistency vs. Availability in Distributed Cyber-Physical Systems

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, and Christian Menard

Probabilistic Reaction Time Analysis

Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen

Optimization and Design of Embedded Systems

Sound Mixed Fixed-Point Quantization of Neural Networks

Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, and Eva Darulova

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines

Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, and Marc Pouzet

Optimal Synthesis of Robust IDK Classifier Cascades

Sanjoy K. Baruah, Alan Burns, and Robert Davis

Learning from Black-Box Components

Mining Hyperproperties using Temporal Logics

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, and Dejan Nickovic

Kryptonite : Worst-Case Program Interference Estimation on Multi-Core Embedded Systems

Nikhilesh Singh, Karthikeyan Renganathan, Chester Rebeiro, Jithin Jose, and Ralph Mader

Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, and Kohei Suenaga

Design of Control Systems

Stochastic Analysis of Control Systems Subject to Communication and Computation Faults

Nils Vreman and Martina Maggio

Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning

Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, and Zhengfeng Yang

Neural Abstraction-Based Controller Synthesis and Deployment

Rupak Majumdar, Mahmoud Salamati, and Sadegh Soudjani

Program Committee