Stanley Bak

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stanley Bak