Publications

    Journal Articles:

  • X. Huang, D. Kroening, W. Ruan, J. Sharp, Y. Sun, E. Thamo, M. Wu, X. Yi, A Survey of Safety and Trustworthiness of Deep Neural Networks, arXiv preprint arXiv:1812.08342, July 2019  [PDF]
  • M. Wu, M. Wicker, W. Ruan, X. Huang, M. Kwiatkowska, A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees, Theoretical Computer Science, 2019, To appear  [PDF, Github]
  • W. Ruan, Q. Z. Sheng, L. Yao, X. Li, N. Falkner, and L. Yang, Device-free Human Localization and Tracking with UHF Passive RFID Tags: A Data-driven Approach, Journal of Network and Computer Applications (JNCA), Elsevier, Vol 104, pp 78-96, 2018  [PDF]
  • W. Ruan, Q. Z. Sheng, P. Xu, L. Yang, T. Gu, and L. Shangguan, Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection, IEEE Transaction on Mobile Computing (TMC), Vol 17, No 9, pp 2087-2100, 2018  [PDF, Demo]
  • L. Yao, Q. Z. Sheng, X. Li, T. Gu, M. Tan, X. Wang, S. Wang, and W. Ruan, Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength, IEEE Transaction on Mobile Computing (TMC), Vol 17, No 2, pp 293-306, 2018  [PDF, Demo]
  • F. Zhou, H. Peng, W. Ruan, D. Wang, M. Liu, Y. Gu, and L. Li, Cubic-RBF-ARX Modeling and Model-based Optimal Setting Control in Head and Tail Stages of Cut Tobacco Drying Process, Neural Computing and Applications, Vol 30, No 4, pp 1039-1053, 2018  [PDF, Demo]
  • W. Zhang, Q. Z. Sheng, J. Lau, E. Abebe, and W. Ruan, Duplicate Detection in Programming Question Answering Communities, ACM Transactions on Internet Technology (TOIT), Vol 18, No 3, pp 37:1-37:21, 2017  [PDF]
  • Y. Qin, H. Peng, W. Ruan, J. Wu and J. Gao, A Modeling and Control Approach to Magnetic Levitation System based on State-dependent ARX Model, Journal of Process Control, Vol 24, No 1, pp 93-112, 2014  [PDF, Demo]

    Conference/Workshop Papers:

  • L. Ma, C. Zhang, Y. Wang, W. Ruan, J. Wang, et al., ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context, The 34th AAAI Conference on Artifical Intelligence (AAAI'20), New York, USA, February 7-12, 2020.  [PDF, Github]
  • L. Ma, J. Gao, Y. Wang, C. Zhang, J. Wang, W. Ruan, et al., AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration, The 34th AAAI Conference on Artifical Intelligence (AAAI'20), New York, USA, February 7-12, 2020.  [PDF, Github, Oral Presentation]
  • W. Ruan, M. Wu, Y. Sun, X. Huang, D. Kroening and M. Kwiatkowska, Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance, The 28th International Joint Conference on Artificial Intelligence (IJCAI'19), Macao, China, August 10-16, 2019.  [PDF, Github]
  • M. Wu, T. Louw, M. Lahijanian, W. Ruan, X. Huang, N. Merat, and M. Kwiatkowska, Gaze-based Intention Anticipation over Driving Manoeuvresin Semi-Autonomous Vehicles, The 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'19), Macao, China, November 4-8, 2019.
  • W. Ruan, X. Huang, and M. Kwiatkowska, Reachability Analysis of Deep Neural Networks with Provable Guarantees, The 27th International Joint Conference on Artificial Intelligence (IJCAI'18), Stockholm, Sweden, July 13-19, 2018.  [PDF, Github, The citation number is ranked 5th among 710 papers accepted by IJCAI'18 based on AMiner]
  • Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska and D. Kroening, Concolic Testing for Deep Neural Networks, The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18), Montpellier, France, September 3-7, 2018.  [PDF, Github, The citation number is ranked 2nd among all the papers accepted by ASE'18 based on AMiner]
  • W. E. Zhang, Q. Z. Sheng, Z. Tang and W. Ruan, Related or Duplicate: Distinguishing Similar CQA Questions via Convolutional Neural Networks, The 41st International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR'18), Ann Arbor, USA, July 8-12 2018.  [PDF]
  • P. Xu, W. Ruan, Q. Z. Sheng, T. Gu, and L. Yao, Interpolating the Missing Values for Multi-Dimensional Spatio-Temporal Sensory Data: A Tensor SVD Approach, The 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2017), Melbourne, Australia, Nov 7-10, 2017.  [PDF]
  • A. Alfazi, Q. Z. Sheng, A. Babar, W. Ruan, Y. Qin, Toward Unified Cloud Service Discovery for Enhanced Service Identification, The 6th Australasian Symposium on Service Research and Innovation (ASSRI 2017), Sydney, Australia, Oct 19-20, 2017.  [PDF]
  • W. Ruan, P. Xu, Q. Z. Sheng, N. Falkner, X. Li, and W.E. Zhang, Recovering Missing Values from Corrupted Spatio-Temporal Sensory Data via Robust Low-Rank Tensor Completion, The 22nd International Conference on Database Systems for Advanced Applications (DASFAA'17), Suzhou, China, March 27-30, 2017.  [PDF]
  • W. Ruan, L. Chea, Q. Z. Sheng, L. Yao. Recognizing Daily Living Activity Using Embedded Sensors in Smartphones: A Data-Driven Approach, The 17th International Conference on Advanced Data Mining and Applications (ADMA'16), Gold Coast, Australia, December 12-15, 2016.  [PDF, Demo, Best Student Paper Runner-up]
  • W. Ruan, P. Xu, Q. Z. Sheng, N.K. Tran, N. Falkner, X. Li, and W.E. Zhang. When Sensor Meets Tensor: Filling Missing Sensor Values Through a Tensor Approach, The 25th ACM Conference on Information and Knowledge Management (CIKM'16), Indianapolis, USA, October 24-28, 2016.  [PDF]
  • W. Ruan, Q. Z. Sheng, P. Xu, N.K. Tran, N. Falkner, X. Li, and W.E. Zhang. Forecasting Seasonal Time Series Using Weighted Gradient RBF Network based Autoregressive Model, The 25th ACM Conference on Information and Knowledge Management (CIKM'16), Indianapolis, USA, October 24-28, 2016.  [PDF]
  • W. Ruan, Q. Z. Sheng, L. Yang, T. Gu, P. Xu and L. Shangguan. AudioGest: Enabling Fine-Grained Hand Gesture Detection by Decoding Echo Signals, The 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp'16), Heidelberg, Germany, 12-16 September, 2016.  [PDF, Demo]
  • W. Ruan, Q. Z. Sheng, L. Yao, T. Gu, M. Ruta and L. Shangguan. Device-free Indoor Localization and Tracking through Human-Object Interactions, The IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM'16), Coimbra, Portugal, June 21-24, 2016.  [PDF]
  • W. Ruan, Q. Z. Sheng, L. Yao, L. Yang and T. Gu. HOI-Loc: Towards Unobtrusive Human Localization with Probabilistic Multi-Sensor Fusion, The 14th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'16), WiP Track, Sydney, Australia, March 14-18, 2016.  [PDF, Best WiP Poster Award Candidates: 4 among 32 WiP paper submissions]
  • W. Ruan, Q. Z. Sheng, L. Yao, N. K. Tran and Y. Yang, PreventDark: Automatically Detecting and Preventing Problematic Use of Smartphones in Darkness, The 14th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'16), System Demo, Sydney, Australia, March 14-18, 2016.  [PDF]
  • W. Ruan, Unobtrusive Human Localization and Activity Recognition for Supporting Independent Living of the Elderly, The 14th IEEE International Conference on Pervasive Computing and Communications (PerCom'16), PhD Forum, Sydney, Australia, March 14-18, 2016.  [PDF]
  • L. Yao, Q. Z. Sheng, W. Ruan, T. Gu, N. Falkner, X. Li and Z. Yang, RF-Care: Device-free Posture Monitoring of Elderly People Using a Passive RFID Tag Array, The 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'15), Coimbra, Portugal, July 22-24, 2015.  [PDF, Demo]
  • L. Yao, Q. Z. Sheng, X. Li, S. Wang, T. Gu, W. Ruan and W. Zou. Freedom: Online Activity Recognition via Dictionary-based Sparse Representation of RFID Sensing Data, The IEEE International Conference on Data Mining (ICDM'15), Atlantic City, NJ, USA, November 14 - 17, 2015.  [PDF]
  • W. Ruan, L. Yao, Q. Z. Sheng, N. Falkner, and X. Li and T. Gu. TagFall: Towards Device-free, Fine-grained Fall Detection based on UHF Passive RFID Tags. The 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'15). Coimbra, Portugal, July 22-24, 2015.  [PDF]
  • L. Yao, Q. Z. Sheng, W. Ruan, X. Li, S. Wang, Z. Yang and W. Zou. Device-Free Posture Recognition via Online Learning of Multi-Dimensional RFID Received Signal Strength. The 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS'15), Melbourne, Australia, December 14 - 17, 2015.  [PDF]
  • L. Yao, X. Wang, Q. Z. Sheng, W. Ruan and W. Zhang. Service Recommendation for Mashup Composition with Implicit Correlation Regularization. The IEEE 22nd International Conference on Web Services (ICWS'15), Research Track, New York, USA, June 27 - July 2, 2015.  [PDF]
  • W. Ruan, L. Yao, Q. Z. Sheng, N. Falkner and X. Li, TagTrack: Device-free Localization and Tracking Using Passive RFID Tags, The 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous'14), London, UK, December 2-5, 2014.  [PDF, Demo]
  • L. Yao, W. Ruan, Q. Z. Sheng, X. Li and N. Falkner, Exploring Tag-free RFID-based Passive Localization and Tracking via Learning-based Probabilistic Approaches, (CIKM'14) The 23rd ACM International Conference on Information and Knowledge Management, Shanghai, China, Nov. 3-7, 2014.  [PDF]

    Invention Patents:

  • H. Peng, Y. Qin, W. Ruan, J. Gao, A Gaussian RBF Neutral Network based Auto-Regressive Model for Controlling Magnetic Levitation Ball, CN Patent 104793645 B, Issued in Sep 2017 [Demo]
  • H. Peng, Y. Gu, D. Wang, L. Li, W. Ruan, J. Wei, and Y. Xiao, A Moisture Control Strategy of Cut-Tobacco Rolling Dryer on Starting and Finishing Stages, CN Patent 103610227 B, Issued in April 2015