Haiyang Sun

Article in conference proceedings (5)

• Sun H., Rosà A., Javed O., Binder W. (2017) ADRENALIN-RV: Android Runtime Verification using Load-time Weaving.. ICST. ICST. Tokyo, Japan. 2017
• Sun H., Rosà A., Javed O., Binder W. (2017) ADRENALIN-RV: Android Runtime Verification using Load-time Weaving. ICST. Tokyo, Japan. 2017
• Rosà A., Zheng Y., Sun H., Javed O., Binder W. (2016) Adaptable Runtime Monitoring for the Java Virtual Machine. ISoLA. Corfu, Greece. 2016
• Zheng Y., Rosà A., Salucci L., Li Y., Sun H., Javed O., Bulej L., Chen L. Y., Qi . Z., Binder W. (2016) AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses. SANER. Osaka, Japan. 2016
• Javed O., Zheng Y., Rosà A., Sun H., Binder W. (2016) Extended Code Coverage for AspectJ-based Runtime Verification Tools. RV. Madrid, Spain. 2016