EMSOFT 2013: 13th International Conference on Embedded Software
Programming Languages and Models of Computation
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
Determinate Composition of Fmus for Co-Simulation
BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters
Systems
An Efficient Code Update Solution for Wireless Sensor Network Reprogramming
Middleware Design for Physically-Asynchronous Logically-Synchronous (PALS) Systems
Diversifying Wear Index for MLC NAND Flash Memory to Extend the Lifetime of SSDs
Verification I
Safety Verification for Linear Systems
Bit-Precise Formal Verification of Discrete-Time MATLAB/Simulink Models using SMT Solving
Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover
System-Level Modeling and Analysis
A Characterization of Integrated Multi-View Modeling in the Context of Embedded and Cyber-Physical Systems
Diversely Enumerating System-Level Architectures
On the Schedulability of Real-Time Discrete-Event Systems
Verification II
On Composing and Proving the Correctness of Reactive Behavior
Time-Aware Relational Abstractions for Hybrid Systems
Path-Sensitive Resource Analysis Compliant with Assertions
Scheduling and Timing Analysis
Simple Analysis of Partial Worst-Case Execution Paths on General Control Flow Graphs
Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems
Limited Preemptive Scheduling of Non-Independent Task Sets
Performance Management and Resource Awareness
A Generalized Software Framework for Accurate and Efficient Management of Performance Goals
StreaMorph: A Case for Synthesizing Energy-Efficient Adaptive Programs using High-Level Abstractions
Energy-Aware Thread Co-Location in Heterogeneous Multicore Processors
Embedded Control and Synthesis
Synthesis of Fixed-Point Programs
Stability-Aware Analysis and Design of Embedded Control Systems
Pre-orders for Reasoning About Stability Properties with Respect to Input of Hybrid Systems
Dynamic Analysis
DIME: Time-Aware Dynamic Binary Instrumentation using Rate-Based Resource Allocation
Verification of Annotated Models From Executions
WakeScope: Runtime WakeLock Anomaly Management Scheme for Android Platform