| 2025 | AAAI | Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling. | Feiyang Cai, Chuchu Fan, Stanley Bak |
| 2024 | ATVA | Fast Koopman Surrogate Falsification Using Linear Relaxations and Weights. | Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati |
| 2024 | ICRA | Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. | Niklas Kochdumper, Stanley Bak |
| 2023 | ATVA | On the Difficulty of Intersection Checking with Polynomial Zonotopes. | Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun |
| 2023 | ATVA | AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. | Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov |
| 2023 | FM | The Octatope Abstract Domain for Verification of Neural Networks. | Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski |
| 2022 | ACSSC | On the Coarse Robustness of Classifiers. | Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia |
| 2022 | CAV | Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. | Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin |
| 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 |
| 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 |
| 2017 | CAV | Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. | Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar |
| 2017 | CAV | Simulation-Equivalent Reachability of Large Linear Systems with Inputs. | Stanley Bak, Parasara Sridhar Duggirala |
| 2017 | TACAS | Rigorous Simulation-Based Analysis of Linear Hybrid Systems. | Stanley Bak, Parasara Sridhar Duggirala |
| 2016 | EMSOFT | Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. | Stanley Bak, Sagar Chaki |
| 2016 | ETFA | Reset-based recovery for real-time cyber-physical systems with temporal safety constraints. | Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or D. Dantsker, Marco Caccamo |
| 2015 | RTSS | Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization. | Stanley Bak, Taylor T. Johnson |
| 2015 | RTAS | A generalized model for preventing information leakage in hard real-time systems. | Rodolfo Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, Rakesh Bobba |
| 2014 | RTSS | Real-Time Reachability for Verified Simplex Design. | Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha |
| 2013 | RTCSA | Using run-time checking to provide safety and progress for distributed cyber-physical systems. | Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo |
| 2012 | RTCSA | Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems. | Stanley Bak, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo |
| 2011 | RTAS | A Predictable Execution Model for COTS-Based Embedded Systems. | Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, Russell Kegley |
| 2010 | RTAS | Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. | Stanley Bak, Ashley Greer, Sayan Mitra |
| 2009 | RTSS | Real-Time Control of I/O COTS Peripherals for Embedded Systems. | Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha |
| 2009 | RTAS | The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. | Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, Lui Sha |