Topic 1: Cyber-physical system co-design
Incorporating Emergency Alarms in Reliable Wireless Process Control (ICCPS15)PDF
Exploring Adaptive Reconfiguration to Optimize Energy Efficency in Large-Scale Battery System (RTSS13) PDF
Co-Design of Anytime Computation and Robust Control (RTSS15) PDF
Topic 2: Real-time wireless netwrok of TDMA scheduing
Reliable and Real-time Communication in Industrial Wireless Mesh Networks (RTAS11)PDF
Schedulability Analysis under Graph Routing in WirelessHART Networks (RTSS15)PDF
Rythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical SystemsPDF
On-line Data Link Layer Scheduling in Wireless Networked Control Systems (ECRTS15)PDF
Topic 3: Dynamic program analysis
DoubleTake: Fast and Precise Error Detection via Evidence-based Dynamic Analysis (ICSE16)PDF
A Dynamic Program Analysis to Find Floating-Point Accuracy Problems PDF
Automated Diagnosis of Software Configuration Errors PDF