Papers Accepted to EMSOFT 2014

A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique
Pascal Raymond

Automated Software Testing of Memory Performance in Embedded GPUs
Sudipta Chattopadhyay, Petru Eles and Zebo Peng

Blaming in Component-Based Real-Time Systems
Gregor Goessler and Lacramioara Astefanoaei

Building High-Performance Smartphones via Non-Volatile Memory: The Swap Approach
Kan Zhong, Tianzheng Wang, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao and Edwin Sha

Can We Put Concurrency Back Into Redundant Multithreading?
Bjoern Doebel and Hermann Härtig

Computing Maximum Blocking Times with Explicit Path Analysis under Non-local Flow Bounds
Jan Kleinsorge and Peter Marwedel

Contract-Based Integration of Cyber-Physical Analyses
Ivan Ruchkin, Dionisio de Niz, Sagar Chaki and David Garlan

CPSGrader: Synthesizing Temporal Logic Testers for Auto-Grading an Embedded Systems Laboratory
Alexandre Donze, Garvit Juniwal, Jeff C. Jensen and Sanjit A. Seshia

Deductive Control Synthesis for Alternating-Time Logics
Rayna Dimitrova and Rupak Majumdar

DriverGen: Automating the Generation of Serial Device Drivers
Jiannan Zhai, Yuheng Du, Shiree Hughes and Jason Hallstrom

EDF as an Arbitration Policy for Wormhole-Switched Priority-Preemptive NoCs -- Myth or Fact?
Borislav Nikolic and Stefan M. Petters

Energy Efficient DVFS Scheduling for Mixed-Criticality Systems
Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou and Lothar Thiele

Exponentially timed SADF: Compositional semantics, reduction, and analysis
Joost-Pieter Katoen and Hao Wu

Extending Typical Worst-Case Analysis Using Response-Time Dependencies to Bound Deadline Misses
Zain A. H. Hammadeh, Sophie Quinton and Rolf Ernst

Infinite Horizon Safety Controller Synthesis through Disjunctive Polyhedral Abstract Interpretation.
Hadi Ravanbakhsh and Sriram Sankaranarayanan

Multiple Shooting, CEGAR-based Falsification for Hybrid Systems
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh and James Kapinski

On the Existence of Probe Effect in Multi-threaded Embedded Programs
Young Wn Song and Yann-Hang Lee

p-YDS Algorithm: An Optimal Extension of YDS Algorithm to Minimize Expected Energy For Real-Time Jobs
Pratyush Kumar and Lothar Thiele

Parallel Many-Core Avionics Systems
Milos Panic, Eduardo Quinones, Pavel Zaykov, Carles Hernandez, Jaume Abella and Francisco Cazorla

Precise Piecewise Affine Models from Input-Output Data
Rajeev Alur and Nimit Singhania

Real-Time Multi-Core Virtual Machine Scheduling in Xen
Sisu Xi, Meng Xu, Chenyang Lu, Linh Phan, Christopher Gill, Oleg Sokolsky and Insup Lee

Real-Time System Support for Hybrid Structural Simulation
David Ferry, Kunal Agrawal, Chris Gill, Chenyang Lu, Gregory Bunting, Amin Megareh, Shirley Dyke and Arun Prakash

Refinement Calculus of Reactive Systems
Viorel Preoteasa and Stavros Tripakis

Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing
Alberto Puggelli, Alberto Sangiovanni-Vincentelli and Sanjit Seshia

Schedulability Analysis of Global Memory-Predictable Scheduling
Ahmed Alhammad and Rodolfo Pellizzoni

SiPTA: Signal Processing for Trace-based Anomaly Detection
Mohammad Mehdi Zeinali, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco and Sebastian Fischmeister

Supporting Read/Write Applications in Embedded Systems via I/O placement and suspension-aware analysis
Guangmo Tong and Cong Liu

Synthesising Optimal Timing Delays for Timed I/O Automata
Marta Kwiatkowska, Peter Kim and Alexandru Mereacre

Task Mapping in Heterogeneous Embedded Systems for Fast Completion Time
Husheng Zhou and Cong Liu