EMSOFT 2018: 18th International Conference on Embedded Software
Hardware Management
Bounding DRAM Interference in COTS Heterogeneous MPSoCs for Mixed Criticality Systems
Lightweight, Integrated Data Deduplication for Write Stress Reduction of Mobile Flash Storage
Thermal-Aware Resource Management for Embedded Real-Time Systems
Runtime Monitoring and Numerical Stability
An Algebraic Framework for Runtime Verification
Discrete Choice in the Presence of Numerical Uncertainties
Hybrid Systems
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming
Formal Feature Interpretation of Hybrid Systems
Automata
Moore-Machine Filtering for Timed and Untimed Pattern Matching
The Opacity of Real-Time Automata
Real-Time Scheduling
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems
Data Retrieval, Streaming, and Processing
Real-Time Data Retrieval With Multiple Availability Intervals in CPS Under Freshness Constraints
Optimizing Graph Algorithms in Asymmetric Multicore Processors
Modeling, Analysis, and Hard Real-Time Scheduling of Adaptive Streaming Applications
Autonomous Systems
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving
End-to-End Analysis and Design of a Drone Flight Controller
SeMo: Service-Oriented and Model-Based Software Framework for Cooperating Robots
Verification
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions
Symbolic Verification of Cache Side-Channel Freedom
End-to-End Latency
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains
Analytical Characterization of End-to-End Communication Delays With Logical Execution Time
Program Committee
- Björn B. Brandenburg (MPI for Software Systems, Germany)
- Sriram Sankaranarayanan (University of Colorado, Boulder, USA)
- Houssam Abbas (University of Pennsylvania, USA)
- Tarek Abdelzaher (University of Illinois at Urbana Champaign, USA)
- Sanjoy K. Baruah (Washington University in St. Louis, USA)
- Alessandro Biondi (Scuola Superiore Sant'Anna - Pisa, Italy)
- Sergiy Bogomolov (Australian National University, Australia)
- Borzoo Bonakdarpour (McMaster University, Canada)
- Timothy Bourke (INRIA, France)
- David Broman (KTH Royal Institute of Technology, Sweden)
- Mauricio Castillo-Effen (GE Global Research, USA)
- Thao Dang (Verimag, France)
- Dakshina Dasari (Bosch Corporate Research, Germany)
- Patricia Derler (National Instruments, USA)
- Tommaso Dreossi (UC Berkeley, USA)
- Ruediger Ehlers (University of Bremen, Germany)
- Petru Eles (Linkoping University, Sweden)
- Rolf Ernst (TU Braunschweig, Germany)
- Georgios Fainekos (Arizona State University, USA)
- Christopher D. Gill (Washington University in St. Louis, USA)
- Nan Guan (The Hong Kong Polytechnic University, China)
- Zhishan Guo (Missouri University of Science and Technology, USA)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Franjo Ivancic (Google, USA)
- Susmit Jha (SRI International, USA)
- Xiaoqing Jin (Decyphir, USA)
- Taylor T. Johnson (Vanderbilt University, USA)
- Xenofon D. Koutsoukos (Vanderbilt University, USA)
- Pratyush Kumar (IIT Madras, India)
- Edward A. Lee (UC Berkeley, USA)
- Wenchao Li (Boston University, USA)
- Cong Liu (UT Dallas, USA)
- Martina Maggio (Lund University, Sweden)
- Renato Mancuso (Boston University, USA)
- Frank Mueller (North Carolina State University, USA)
- Geoffrey Nelissen (CISTER - Instituto Superior de Engenharia do Porto, Portugal)
- Sam H. Noh (Ulsan National Institute of Science and Technology, Korea)
- Necmiye Ozay (University of Michigan, USA)
- Claire Pagetti (ONERA, France)
- Miroslav Pajic (Duke University, USA)
- Gabriel Parmer (George Washington University, USA)
- Marc Pouzet (École Normale Supérieure, Paris, France)
- Pavithra Prabhakar (Kansas State University, USA)
- Sylvie Putot (École Polytechnique, France)
- Arjun Radhakrishna (Microsoft, USA)
- Kristin Yvonne Rozier (NASA, USA)
- S. Ramesh (General Motors R&D, India)
- Indranil Saha (IIT Kanpur, India)
- Wolfgang Schröder-Preikschat (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)
- Donatella Sciuto (Politecnico di Milano, Italy)
- Oleg Sokolsky (University of Pennsylvania, USA)
- Lothar Thiele (ETH Zurich, Switzerland)
- Ufuk Topcu (UT Austin, USA)
- Stavros Tripakis (Aalto University, Finland / UC Berkeley, USA)
- Caterina Urban (ETH Zurich, Switzerland)
- Marcus Völp (University of Luxembourg, Luxembourg)
- Bryan Ward (MIT Lincoln Laboratory, USA)