Using Neural Networks to predict Student's Performance. - Timothy Wang; Antonija Mitrovic (ICCE, 2002)

A graphical environment to express the semantics of control systems - Timothy Wang; Romain Jobredeaux; Eric Feron (CoRR, 2011)

Verifiable Control System Development for Gas Turbine Engines. - Mehrdad Pakmehr; Timothy Wang; Romain Jobredeaux; Martin Vivies; Eric Feron (CoRR, 2013)

Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller. - Timothy Wang; Eric Feron (CoRR, 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)

Credible autocoding of fault detection observers. - Timothy Wang; Alireza Esna Ashari; Romain Jobredeaux; Eric M. Feron (ACC, 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 control software. - Timothy Wang (2015)

Formal Analysis of Robustness at Model and Code Level. - Timothy E. Wang; Pierre-Loïc Garoche; Pierre Roux 001; Romain Jobredeaux; Eric Feron (HSCC, 2016)

Towards Robust Deep Neural Networks. - Timothy E. Wang; Jack Gu; Dhagash Mehta; Xiaojun Zhao; Edgar A. Bernal (CoRR, 2018)

Translation Insensitive CNNs. - Ganesh Sundaramoorthi; Timothy E. Wang (CoRR, 2019)

Hierarchical Contract-Based Synthesis for Assurance Cases. - Timothy E. Wang; Zamira Daw; Pierluigi Nuzzo 002; Alessandro Pinto (NFM, 2022)

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. - Chanwook Oh; Nikhil Naik 001; Zamira Daw; Timothy E. Wang; Pierluigi Nuzzo 002 (SAFECOMP, 2022)

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 002 (SAFECOMP Workshops, 2023)

Survey of Human Models for Verification of Human-Machine Systems. - Timothy E. Wang; Alessandro Pinto (CoRR, 2023)

Learning Compositional, Time-Varying Neural Barrier Contracts. - Matthew Low; Timothy E. Wang; Pierluigi Nuzzo 002 (ECAI, 2024)

LoRA Land: 310 Fine-tuned LLMs that Rival GPT-4, A Technical Report. - Justin Zhao; Timothy Wang; Wael Abid; Geoffrey Angus; Arnav Garg; Jeffery Kinnison; Alex Sherstinsky; Piero Molino; Travis Addair; Devvret Rishi (CoRR, 2024)