Haiyang Sun
Haiyang Sun
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα usi.ch - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
DFL: Secure and practical fault localization for datacenter networks
X Zhang, F Zhou, X Zhu, H Sun, A Perrig, AV Vasilakos, H Guan
IEEE/ACM Transactions on Networking 22 (4), 1218-1231, 2013
212013
Efficient dynamic analysis for Node. js
H Sun, D Bonetta, C Humer, W Binder
Proceedings of the 27th International Conference on Compiler Construction …, 2018
202018
A programming model and framework for comprehensive dynamic analysis on Android
H Sun, Y Zheng, L Bulej, A Villazón, Z Qi, P Tůma, W Binder
Proceedings of the 14th International Conference on Modularity, 133-145, 2015
132015
Comprehensive multiplatform dynamic program analysis for Java and android
Y Zheng, S Kell, L Bulej, H Sun, W Binder
IEEE Software 33 (4), 55-63, 2015
102015
ADRENALIN-RV: android runtime verification using load-time weaving
H Sun, A Rosà, O Javed, W Binder
2017 IEEE International Conference on Software Testing, Verification and …, 2017
62017
AutoBench: Finding workloads that you need using pluggable hybrid analyses
Y Zheng, A Rosà, L Salucci, Y Li, H Sun, O Javed, L Bulej, LY Chen, Z Qi, ...
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
62016
Extended code coverage for AspectJ-based runtime verification tools
O Javed, Y Zheng, A Rosà, H Sun, W Binder
International Conference on Runtime Verification, 219-234, 2016
52016
AccStream: accuracy-aware overload management for stream processing systems
H Sun, R Birke, W Binder, M Björkqvist, LY Chen
2017 IEEE International Conference on Autonomic Computing (ICAC), 39-48, 2017
42017
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)
A Villazón, H Sun, A Rosà, E Rosales, D Bonetta, I Defilippis, S Oporto, ...
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
32019
Adaptable runtime monitoring for the java virtual machine
A Rosà, Y Zheng, H Sun, O Javed, W Binder
International Symposium on Leveraging Applications of Formal Methods, 531-546, 2016
32016
Memvisor: application level memory mirroring via binary translation
H Dong, W Sun, B Wang, H Sun, Z Qi, H Guan, Y Dong
2012 IEEE International Conference on Cluster Computing, 562-565, 2012
32012
NodeMOP: runtime verification for Node. js applications
F Schiavio, H Sun, D Bonetta, A Rosà, W Binder
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1794-1801, 2019
22019
Reasoning about the Node. js event loop using Async Graphs
H Sun, D Bonetta, F Schiavio, W Binder
2019 IEEE/ACM International Symposium on Code Generation and Optimization …, 2019
22019
Multi-process runtime verification for android
H Sun, A North, W Binder
2017 24th Asia-Pacific Software Engineering Conference (APSEC), 701-706, 2017
22017
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM
H Sun, Y Zheng, L Bulej, S Kell, W Binder
Asian Symposium on Programming Languages and Systems, 356-365, 2015
22015
Custom full-coverage dynamic program analysis for Android
H Sun, Y Zheng, L Bulej, W Binder, S Kell
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on …, 2015
22015
DroidMonitor: a high-level programming model for dynamic API monitoring on Android
D Liang, R Chen, HY Sun
Network Security and Communication Engineering: Proceedings of the 2014 …, 2015
22015
DefDroid: Securing Android with Fine-Grained Security Policy.
C Huang, S Wang, H Sun, Z Qi
SEKE, 375-378, 2015
22015
Capturing inter-process communication for runtime verification on Android
A Villazón, H Sun, W Binder
International Symposium on Leveraging Applications of Formal Methods, 25-31, 2018
12018
Comprehensive multi-platform dynamic program analysis for the Java and Dalvik virtual machines
Y Zheng, H Sun, L Bulej, P Tůma, W Binder
Proceedings of the 2014 International Conference on Principles and Practices …, 2014
12014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20