| 2026 | EACL | We Are What We Repeatedly Do: Improving Long Context Instruction Following. | Preston K. Robinette, Andrew Hard, Swaroop Ramaswamy, Ehsan Amid, Rajiv Mathews, Taylor T. Johnson |
| 2026 | WACV | SUGAR: A Sweeter Spot for Generative Unlearning of Many Identities. | Dung Thuy Nguyen, Quang Nguyen, Preston K. Robinette, Eli Jiang, Taylor T. Johnson, Kevin Leach |
| 2025 | ESOP | Neural Network Verification is a Programming Language Challenge. | Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu |
| 2025 | ESORICS | Trigger-Based Fragile Model Watermarking for Image Transformation Networks. | Preston K. Robinette, Thuy Dung Nguyen, Samuel Sasaki, Taylor T. Johnson |
| 2025 | ICDCS | PARDON: Privacy-Aware and Robust Federated Domain Generalization. | Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach |
| 2025 | NDSS | PBP: Post-training Backdoor Purification for Malware Classifiers. | Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson, Kevin Leach |
| 2025 | RV | ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis. | Ziyan An, Daniel Moyer, Ipek Oguz, Taylor T. Johnson, Meiyi Ma |
| 2024 | AAAI | Formal Logic Enabled Personalized Federated Learning through Property Inference. | Ziyan An, Taylor T. Johnson, Meiyi Ma |
| 2024 | DSN | Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV. | Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran |
| 2024 | ECAI | Sanitizing Hidden Information with Diffusion Models. | Preston K. Robinette, Daniel Moyer, Taylor T. Johnson |
| 2024 | IJCAI | Transfer Learning Using Inaccurate Physics Rule for Streamflow Prediction. | Tianshu Bao, Taylor T. Johnson, Xiaowei Jia |
| 2023 | CAV | NNV 2.0: The Neural Network Verification Tool. | Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson |
| 2023 | ECAI | SUDS: Sanitizing Universal and Dependent Steganography. | Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh, Daniel Moyer, Taylor T. Johnson |
| 2023 | EMSOFT | Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. | Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | FMICS | Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. | Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | RV | Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. | Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma |
| 2023 | VECoS | Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. | Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | VECoS | Track C1: Safety Verification of Deep Neural Networks (DNNs). | Daniel Neider, Taylor T. Johnson |
| 2023 | VECoS | Benchmark: Formal Verification of Semantic Segmentation Neural Networks. | Neelanjana Pal, Seojin Lee, Taylor T. Johnson |
| 2023 | VECoS | Benchmark: Neural Network Malware Classification. | Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson |
| 2022 | UAI | Physics guided neural networks for spatio-temporal super-resolution of turbulent flows. | Tianshu Bao, Shengyu Chen, Taylor T. Johnson, Peyman Givi, Shervin Sammak, Xiaowei Jia |
| 2022 | SEFM | Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. | Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson |
| 2022 | SEFM | BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. | Bernard Serbinowski, Taylor T. Johnson |
| 2021 | CAV | Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. | Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson |
| 2021 | ICDM | Partial Differential Equation Driven Dynamic Graph Networks for Predicting Stream Water Temperature. | Tianshu Bao, Xiaowei Jia, Jacob Zwart, Jeffrey M. Sadler, Alison P. Appling, Samantha Oliver, Taylor T. Johnson |
| 2020 | CAV | Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. | Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson |
| 2020 | CAV | Verification of Deep Convolutional Neural Networks Using ImageStars. | Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson |
| 2020 | CAV | NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. | Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson |
| 2020 | ICSE | SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
| 2020 | ICSE | SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
| 2020 | SP | Case Study: Safety Verification of an Unmanned Underwater Vehicle. | Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson |
| 2019 | FM | Star-Based Reachability Analysis of Deep Neural Networks. | Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |
| 2019 | FORTE | Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. | Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson |
| 2019 | ICSE | Parallelizable reachability analysis algorithms for feed-forward neural networks. | Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |
| 2019 | RSP | CPS Design with Learning-Enabled Components: A Case Study. | Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai |
| 2018 | ICSE | Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. | Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner |
| 2018 | ICSE | A curated corpus of simulink models for model-based empirical studies. | Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner |
| 2017 | DATE | Formal specification and dependability analysis of optical communication networks. | Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson |
| 2017 | MEMOCODE | Hyperproperties of real-valued signals. | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2016 | FM | Decoupling Abstractions of Non-linear Ordinary Differential Equations. | Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson |
| 2015 | RTSS | Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization. | Stanley Bak, Taylor T. Johnson |
| 2015 | RV | Runtime Verification for Hybrid Analysis Tools. | Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson |
| 2014 | RTSS | Real-Time Reachability for Verified Simplex Design. | Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha |
| 2012 | FM | Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. | Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin |
| 2012 | FORTE | A Small Model Theorem for Rectangular Hybrid Automata Networks. | Taylor T. Johnson, Sayan Mitra |
| 2012 | RTSS | Static and Dynamic Analysis of Timed Distributed Traces. | Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra |
| 2010 | ICDCS | Safe and Stabilizing Distributed Cellular Flows. | Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri |
| 2010 | SSS | Safe Flocking in Spite of Actuator Faults. | Taylor T. Johnson, Sayan Mitra |