Stanley Bak

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
The hexatope and octatope abstract domains for neural network verification	2025-01-13	Paper
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis	2024-07-30	Paper
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets	2024-02-29	Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions	2024-02-21	Paper
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes	2024-02-21	Paper
The octatope abstract domain for verification of neural networks	2023-08-17	Paper
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement	2022-12-07	Paper
Simulation-equivalent reachability of large linear systems with inputs	2022-07-01	Paper
Robustness verification of semantic segmentation neural networks using relaxed reachability	2022-03-25	Paper
Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems	2022-03-24	Paper
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability	2022-01-17	Paper
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter	2021-09-14	Paper
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems	2021-05-25	Paper
Reachability analysis of nonlinear systems using hybridization and dynamics scaling	2021-03-02	Paper
Verification of deep convolutional neural networks using ImageStars	2021-02-04	Paper
Improved geometric path enumeration for verifying ReLU neural networks	2021-02-04	Paper
Rigorous Simulation-Based Analysis of Linear Hybrid Systems	2020-08-05	Paper
Numerical verification of affine systems with up to a billion dimensions	2019-10-22	Paper
Time-triggered conversion of guards for reachability analysis of hybrid automata	2017-12-01	Paper
Real-Time I/O Management System with COTS Peripherals	2017-07-12	Paper
HYST	2017-05-19	Paper
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems	2017-05-19	Paper
Global Real-Time Memory-Centric Scheduling for Multicore Systems	2017-05-16	Paper
A comparison of approaches for finding minimum identifying codes on graphs	2016-06-14	Paper
Memory-centric scheduling for multicore hard real-time systems	2014-07-14	Paper
A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions	2012-02-23	Paper
Some Improvements for the Fast Sweeping Method	2011-06-10	Paper

Research outcomes over time

This page was built for person: Stanley Bak