Publications
Towards Model Checking Android Applications
Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser, 2018, IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), IEEE Trans. Software Eng. 44(6): 595-612 (2018), https://ieeexplore.ieee.org/document/7911333
Towards Sustainable Evolution for the TLS Public-Key Infrastructure
T.Lee, C.Pappas, P.Szalachowski, A.Perrig, 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018, In Proceedings of ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2018
Urban Zoning Using Higher-Order Markov Random Fields on Multi-View Imagery Data
T Feng, QT Truong, DT Nguyen, JY Koh, LF Yu, A Binder, A Binder, SK Yeung, 2018, ECCV 2018, ECCV 2018, ECCV 2018, ECCV 2018, ECCV 2018, ECCV 2018, ECCV 2018, https://openaccess.thecvf.com/content_ECCV_2018/html/Tian_Feng_Urban_Zoning_Using_ECCV_2018_paper.html
Isogeometric collocation for nonlinear dynamic analysis of Cosserat rods with frictional contact
O. Weeger, B. Narayanan, M. L. Dunn, 2017, Nonlinear Dynamics, 91(2), 1213–1227 (2018), Nonlinear Dynamics, 91(2), 1213–1227 (2018), Nonlinear Dynamics, 91(2), 1213–1227 (2018), https://link.springer.com/article/10.1007/s11071-017-3940-0
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking
Cyrille Jegourel, Jun Sun, Jin Song Dong, 2017, QEST 2017, Berlin, Germany
A Joint Data Compression and Encryption Approach for Wireless Energy Auditing Networks
Rui Tan, Sheng Yuan Chiu, Hoang Hai Nguyen, David K. Y. Yau, and Deokwoo Jung, 2017, ACM Transactions on Sensor Networks, 13(2), http://people.sutd.edu.sg/~david_yau/publications/tan2017tosn.pdf
Natural Timestamping Using Powerline Electromagnetic Radiation
Yang Li, Rui Tan, and David K. Y. Yau, 2017, In Proc. ACM Int’l Conf. Information Processing in Sensor Networks (IPSN), Pittsburgh, PA, http://people.sutd.edu.sg/~david_yau/publications/li2017ipsn.pdf
A review of affective computing: From unimodal analysis to multimodal fusion
S. Poria, E. Cambria, R. Bajpai and A. Hussain, 2017, In: Information Fusion (2017)
Sparse Laplacian Component Analysis for Internet Traffic Anomalies Detection
Manas Khatua, Seyed Hamid Safavi, Ngai-Man Cheung, 2017, IEEE Transactions on Signal and Information Processing over Networks, 2017, https://www.dropbox.com/s/8ujchv0q9kee8xh/manas_TSIPN_2018.pdf?dl=0
Untangling blockchain: a data processing view of blockchain systems
2017