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