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
Program Committee
- Houssam Abbas (Oregon State University, USA)
- Stanley Bak (Safe Sky Analytics, USA)
- Ayca Balkan (Medtronic, USA)
- Guillaume Baudart (IBM, USA)
- Enrico Bini (Universita di Torino, Italy)
- Alessandro Biondi (Scuola Superiore Sant'Anna - Pisa, Italy)
- Sergiy Bogomolov (Australian National University, Australia)
- Borzoo Bonakdarpour (Iowa State University, USA)
- Timothy Bourke (INRIA, France)
- Wanli Chang (University of York, UK)
- Xin Chen (University of Dayton, USA)
- David Cock (ETH Zurich, Switzerland)
- Dakshina Dasari (Robert Bosch GmbH, Germany)
- Pallab Dasgupta (Indian Institute of Technology Kharagpur, India)
- Patricia Derler (National Instruments, USA)
- Dionisio de Niz (SEI CMU, USA)
- Ruediger Ehlers (University of Bremen, Germany)
- Rolf Ernst (TU Braunschweig, Germany)
- Georgios Fainekos (Arizona State University, USA)
- Vinod Ganapathy (Indian Institute of Science, India)
- Pierre-Loïc Garoche (ONERA, France)
- Gregor Goessler (INRIA, France)
- Nan Guan (The Hong Kong Polytechnic University, China)
- Zhishan Guo (University of Central Florida, USA)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Jean-Baptiste Jeannin (University of Michigan, USA)
- Susmit Jha (SRI, USA)
- James Kapinski (Toyota, USA)
- Xenofon D. Koutsoukos (Vanderbilt University, USA)
- Edward A. Lee (University of California, Berkeley, USA)
- Jing Li (New Jersey Institute of Technology, USA)
- Shan Lin (Stonybrook University, USA)
- Renato Mancuso (Boston University, USA)
- Frank Mueller (North Carolina State University, USA)
- Mitra Nasri (TU Deflt, The Netherlands)
- Geoffrey Nelissen (CISTER, ISEP, Portugal)
- Sam H. Noh (Ulsan National Institute of Science and Technology, Korea)
- Necmiye Ozay (University of Michigan, USA)
- Claire Pagetti (ONERA, France)
- Marc Pouzet (Université Pierre et Marie Curie, France)
- Pavithra Prabhakar (Kansas State University, USA)
- Sylvie Putot (École Polytechnique, France)
- S. Ramesh (General Motors, USA)
- Partha S. Roop (University of Auckland, New Zealand)
- Kristin Yvonne Rozier (Iowa State University, USA)
- Indranil Saha (Indian Institute of Technology Kanpur, India)
- Sriram Sankaranarayanan (University of Colorado, USA)
- Wolfgang Schröder-Preikschat (Friedrich-Alexander-Universität, Germany)
- Donatella Sciuto (Politecnico di Milano, Italy)
- Lothar Thiele (ETH Zurich, Switzerland)
- Ashutosh Trivedi (University of Colorado, USA)
- Caterina Urban (ETH Zurich, Switzerland)
- Marcus Völp (Université du Luxembourg, Luxembourg)
- Bryan Ward (MIT Lincoln Laboratory, USA)
- Gera Weiss (Ben Gurion University, Israel)
- Bai Xue (Chinese Academy of Sciences, Beijing, China)
- Chun Jason Xue (City University of Hong Kong, China)
- Naijun Zhan (Chinese Academy of Sciences, Beijing, China)