Timothy Wang

According to our database, Timothy Wang authored at least 15 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Survey of Human Models for Verification of Human-Machine Systems.

Timothy E. Wang, Alessandro Pinto

CoRR, 2023

Computer-Aided Generation of Assurance Cases.

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.

Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo

Proceedings of the Computer Safety, Reliability, and Security, 2022

Hierarchical Contract-Based Synthesis for Assurance Cases.

Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2019

Translation Insensitive CNNs.

Ganesh Sundaramoorthi, Timothy E. Wang

CoRR, 2019

2018

Towards Robust Deep Neural Networks.

Timothy E. Wang, Jack Gu, Dhagash Mehta, Xiaojun Zhao, Edgar A. Bernal

CoRR, 2018

2016

Formal Analysis of Robustness at Model and Code Level.

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Credible autocoding of control software.

Timothy Wang

PhD thesis, 2015

2014

Credible Autocoding of Convex Optimization Algorithms.

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion

CoRR, 2014

Credible autocoding of fault detection observers.

Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux, Eric M. Feron

Proceedings of the American Control Conference, 2014

2013

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.

Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel

CoRR, 2013

Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller.

Timothy Wang, Eric Feron

CoRR, 2013

Verifiable Control System Development for Gas Turbine Engines.

Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux, Martin Vivies, Eric Feron

CoRR, 2013

2011

A graphical environment to express the semantics of control systems

Timothy Wang, Romain Jobredeaux, Eric Feron

CoRR, 2011

2002

Using Neural Networks to predict Student's Performance.

Timothy Wang, Antonija Mitrovic

Proceedings of the International Conference on Computers in Education, 2002