Timothy E. Wang

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Spoken Dialogue Systems

Capsule Endoscopy

Formal Analysis

Hierarchical Classification

Top Venues

SAFECOMP Workshops

Publications

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Timothy E. Wang, Alessandro Pinto
Survey of Human Models for Verification of Human-Machine Systems. CoRR (2023)
Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
Hierarchical Contract-Based Synthesis for Assurance Cases. NFM (2022)
Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. SAFECOMP (2022)
Ganesh Sundaramoorthi, Timothy E. Wang
Translation Insensitive CNNs. CoRR (2019)
Timothy E. Wang, Jack Gu, Dhagash Mehta, Xiaojun Zhao, Edgar A. Bernal
Towards Robust Deep Neural Networks. CoRR (2018)
Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
Formal Analysis of Robustness at Model and Code Level. HSCC (2016)