EMSOFT 2019: 19th International Conference on Embedded Software
Modeling and Design I
Deriving Equations from Sensor Data Using Dimensional Function Synthesis
A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design
Verification and Runtime Monitoring
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
FPGA Stream-Monitoring of Real-time Properties
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
Timing, Scheduling and Parallel Execution
Thermal-Aware Scheduling for Integrated CPUs-GPU Platforms
Timing-Anomaly Free Dynamic Scheduling of Conditional DAG Tasks on Multi-Core Systems
Verification and Testing
Statistical Verification of Hyperproperties for Cyber-Physical Systems
Polar: Function Code Aware Fuzz Testing of ICS Protocol
Structural Test Coverage Criteria for Deep Neural Networks
Modeling and Design II
Graph-Based Modeling, Scheduling, and Verification for Intersection Management of Intelligent Vehicles
Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach
Hybrid Systems
Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems
Aggregation Strategies in Reachable Set Computation of Hybrid Systems
Control, Resource Allocation and Sensing
Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control
Numerical Representation of Directed Acyclic Graphs for Efficient Dataflow Embedded Resource Allocation
Systems Software
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries
MxU: Towards Predictable, Flexible, and Efficient Memory Access Control for the Secure IoT
Treble: Fast Software Updates by Creating an Equilibrium in an Active Software Ecosystem of Globally Distributed Stakeholders
Neural Networks and Safe Autonomy
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach
Resource Allocation and Scheduling
Code-Inherent Traffic Shaping for Hard Real-Time Systems
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
Parametric Scheduler Characterization