Min Wu - RankMe

15 papers A* 3A 1Journal 8Unranked 2

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2020	J	`jnl`	A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
2020	—	`conf`	Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020	J	`jnl`	Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020	A*	`conf`	Robustness Guarantees for Deep Neural Networks on Videos. CVPR Min Wu, Marta Kwiatkowska
2020	—	`—`	Robustness evaluation of deep neural networks with provable guarantees. Min Wu
2019	A	`conf`	Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska
2019	A*	`conf`	Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2019	J	`jnl`	Robustness Guarantees for Deep Neural Networks on Videos. CoRR Min Wu, Marta Kwiatkowska
2018	J	`jnl`	A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska
2018	J	`jnl`	Concolic Testing for Deep Neural Networks. CoRR Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018	A*	`conf`	Concolic testing for deep neural networks. ASE Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
2018	J	`jnl`	Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska
2017	—	`conf`	Safety Verification of Deep Neural Networks. CAV (1) Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu
2016	J	`jnl`	Safety Verification of Deep Neural Networks. CoRR Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu