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