EMSOFT 2023: 23rd International Conference on Embedded Software
Formal CPS Design
Towards Building Verifiable CPS using Lingua Franca
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Verified Compilation of Synchronous Dataflow with State Machines
Mobile and Resource-Constrained Systems
DaCapo: An On-Device Learning Scheme for Memory-Constrained Embedded Systems
iAware: Interaction Aware Task Scheduling for Reducing Resource Contention in Mobile Systems
Rectifying Skewed Kernel Page Reclamation in Mobile Devices for Improving User-Perceivable Latency
Networking
CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks
Improving worst-case TSN communication times of large sensor data samples by exploiting synchronization
B-AWARE: Blockage Aware RSU Scheduling for 5G Enabled Autonomous Vehicles
Real-Time and Distributed Systems
Methods to Realize Preemption in Phased Execution Models
Consistency vs. Availability in Distributed Cyber-Physical Systems
Probabilistic Reaction Time Analysis
Optimization and Design of Embedded Systems
Sound Mixed Fixed-Point Quantization of Neural Networks
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines
Optimal Synthesis of Robust IDK Classifier Cascades
Learning from Black-Box Components
Mining Hyperproperties using Temporal Logics
Kryptonite : Worst-Case Program Interference Estimation on Multi-Core Embedded Systems
Probabilistic Black-Box Checking via Active MDP Learning
Design of Control Systems
Stochastic Analysis of Control Systems Subject to Communication and Computation Faults
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning
Neural Abstraction-Based Controller Synthesis and Deployment
Program Committee
- Claire Pagetti (ONERA, France)
- Alessandro Biondi (Scuola Superiore Sant’Anna, Italy)
- Stephen A. Edwards (Columbia University, USA)
- Juergen Becker (Karlsruhe Institute of Technology, Germany)
- Matthias Becker (KTH Royal Institute of Technology, Sweden)
- Frédéric Boniol (ONERA, France)
- Timothy Bourke (Inria, France)
- Björn B. Brandenburg (Max Planck Institute for Software Systems, Germany)
- Daniel Casini (Scuola Superiore Sant’Anna, Italy)
- Samarjit Chakraborty (University of North Carolina, USA)
- Li-Pin Chang (National Yang Ming Chiao Tung University, Taiwan)
- Sudipta Chattopadhyay (Singapore University of Technology and Design, Singapore)
- Jian-Jia Chen (TU Dortmund, Germany)
- Chih-Hong Cheng (Fraunhofer IKS, Germany)
- Albert Cohen (Google, France)
- Remi Delmas (Amazon Web Services, USA)
- Patricia Derler (Zoox, USA)
- Heiko Falk (Hamburg University of Technology, Germany)
- Lu Feng (University of Virginia, USA)
- Gerhard Fohler (TU Kaiserslautern, Germany)
- Zonghua Gu (Umeå University, Sweden)
- Nan Guan (City University of Hong Kong, Hong Kong)
- Arne Hamann (Robert Bosch GmbH, Germany)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Jérôme Hugues (Carnegie Mellon University, USA)
- Jean-Baptiste Jeannin (University of Michigan, USA)
- Taylor T. Johnson (Vanderbilt University, USA)
- Hokeun Kim (Arizona State University, USA)
- Hanjun Kim (Yonsei University, South Korea)
- Angeliki Kritikakou (IRISA, France)
- Lucia Lo Bello (University of Catania, Italy)
- Daniel Lohmann (Leibniz University Hannover, Germany)
- Chenyang Lu (Washington University in St. Louis, USA)
- Meiyi Ma (Vanderbilt University, USA)
- Franck Mamalet (IRT Saint Exupery, France)
- Tulika Mitra (National University of Singapore, Singapore)
- Stefan Mitsch (Carnegie Mellon University, USA)
- Geoffrey Nelissen (Eindhoven University of Technology, The Netherlands)
- Linh Thi Xuan Phan (University of Pennsylvania, USA)
- Olivier H. Roux (Ecole Centrale of Nantes, France)
- Indranil Saha (IIT Kanpur, India)
- Jean-Luc Scharbarg (IRIT, France)
- Sanjit A. Seshia (University of California, Berkeley, USA)
- Youcheng Sun (University of Manchester, UK)
- Lothar Thiele (ETH Zürich, Switzerland)
- Bryan Ward (Vanderbilt University, USA)
- Mimi Xie (The University of Texas at San Antonio, USA)
- Wang Yi (Uppsala University, Sweden)
- Kasım Sinan Yıldırım (University of Trento, Italy)
- Haibo Zeng (Virginia Tech, USA)
- Qi Zhu (Northwestern University, USA)