Stanley Bak

发表

Aggregation Strategies in Reachable Set Computation of Hybrid Systems

Stanley Bak, Parasara Sridhar Duggirala, Stanley Bak, 2019, ACM Trans. Embed. Comput. Syst..

Verification of Continuous and Hybrid Systems ARCH-COMP 19 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics

M. Althoff, Stefan Schupp, Goran Frehse, 2019 .

Continuous and Hybrid Systems ARCH-COMP 17 Category Report : Continuous and Hybrid Systems with Linear Continuous Dynamics

M. Althoff, Stefan Schupp, Goran Frehse, 2017 .

Real-Time I/O Management System with COTS Peripherals

Lui Sha, Marco Caccamo, Rodolfo Pellizzoni, 2013, IEEE Transactions on Computers.

Efficient n-ton Collision Detection for Space Debris using 4 D AABB Trees ∗

Stanley Bak, Kerianne Hobbs, 2019 .

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Christian Schilling, Niklas Kochdumper, 2019, ARCH@CPSIoTWeek.

Perpetual Model Validation

Steven Drager, Stanley Bak, Matthew Anderson, 2017 .

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2021, Formal Aspects of Computing.

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets

M. Althoff, Stanley Bak, Niklas Kochdumper, 2022, IEEE Transactions on Automatic Control.

Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability

Stanley Bak, Hoang-Dung Tran, 2022, NFM.

Guest Editorial

Xin Li, Stanley Bak, Huafeng Yu, 2017, IET Cyper-Phys. Syst.: Theory & Appl..

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes

M. Althoff, Stanley Bak, Niklas Kochdumper, 2022, ArXiv.

Conformant Synthesis for Koopman Operator Linearized Control Systems

Stanley Bak, Niklas Kochdumper, 2022, 2022 IEEE 61st Conference on Decision and Control (CDC).

Provable Fairness for Neural Network Models using Formal Verification

S. Skiena, Stanley Bak, Xingzhi Guo, 2022, EWAF.

Some Improvements for the Fast Sweeping Method

Stanley Bak, Joyce R. McLaughlin, Daniel Renzi, 2010, SIAM J. Sci. Comput..

Verification of Deep Convolutional Neural Networks Using ImageStars

Taylor T. Johnson, Weiming Xiang, Stanley Bak, 2020, CAV.

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Xin Chen, Christian Schilling, 2017, ARCH@CPSWeek.

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results pdf

Taylor Johnson, Taylor T. Johnson, Stanley Bak, 2021, ArXiv.

Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes

M. Althoff, Stanley Bak, Niklas Kochdumper, 2022, IEEE Open Journal of Control Systems.

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2020, CAV.

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, 2021, CAV.

Cyber-Physical Specification Mismatches

Steven Drager, Luan Viet Nguyen, Taylor T. Johnson, 2018, ACM Trans. Cyber Phys. Syst..

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems

Stanley Bak, Parasara Sridhar Duggirala, Stanley Bak, 2017, HSCC.

A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions

Stanley Bak, Shahnawaz Ahmed, Joyce R. McLaughlin, 2011, SIAM J. Sci. Comput..

Reset-based recovery for real-time cyber-physical systems with temporal safety constraints

Marco Caccamo, Fardin Abdi Taghi Abad, Stanley Bak, 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

Real-Time Reachability for Verified Simplex Design

Lui Sha, Marco Caccamo, Taylor T. Johnson, 2014, 2014 IEEE Real-Time Systems Symposium.

On the Difficulty of Intersection Checking with Polynomial Zonotopes

Stanley Bak, Ertai Luo, Yifan Sun, 2023, ArXiv.

Cyber-physical specification mismatch identification with dynamic analysis

Steven Drager, Taylor T. Johnson, Stanley Bak, 2015, ICCPS.

Verifying cyber-physical systems by combining software model checking with hybrid systems reachability

Sagar Chaki, Stanley Bak, S. Chaki, 2016, 2016 International Conference on Embedded Software (EMSOFT).

A comparison of approaches for finding minimum identifying codes on graphs

Stanley Bak, Victoria Horan, Steve Adachi, 2016, Quantum Information Processing.

A comparison of approaches for finding minimum identifying codes on graphs

Stanley Bak, Victoria Horan, Steve Adachi, 2016, Quantum Information Processing.

A Comparison of Approaches for Solving Hard Graph-Theoretic Problems pdf

Stanley Bak, Victoria Horan, Steve Adachi, 2015, ArXiv.

Global Real-Time Memory-Centric Scheduling for Multicore Systems

Marco Caccamo, Rodolfo Pellizzoni, Gang Yao, 2016, IEEE Transactions on Computers.

Sandboxing Controllers for Cyber-Physical Systems

Marco Caccamo, Stanley Bak, Sayan Mitra, 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization

Sergiy Bogomolov, Stanley Bak, Adam R. Gerlach, 2021, ADHS.

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

Stanley Bak, Niklas Kochdumper, Ertai Luo, 2023, HSCC.

Closed-Loop ACAS Xu NNCS is Unsafe: Quantized State Backreachability for Veriﬁcation pdf

Stanley Bak, Hoang-Dung Tran, Stanley Bak, 2022 .

Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability

Stanley Bak, Hoang-Dung Tran, 2022, ArXiv.

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

Taylor T. Johnson, Stanley Bak, Kerianne Hobbs, 2020, CAV.

HYST: a source transformation and translation tool for hybrid automaton models

Sergiy Bogomolov, Taylor T. Johnson, Stanley Bak, 2015, HSCC.

Design, implementation and evaluation of covert channel attacks

Samuel T. King, Stanley Bak, Hamed Okhravi, 2010, 2010 IEEE International Conference on Technologies for Homeland Security (HST).

Demo: The Neural Network Verification (NNV) Tool

Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, 2020, 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).

A generalized model for preventing information leakage in hard real-time systems

Man-Ki Yoon, Rakesh Bobba, Sibin Mohan, 2015, 21st IEEE Real-Time and Embedded Technology and Applications Symposium.

S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems

Marco Caccamo, Sibin Mohan, Emiliano Betti, 2013, HiCoNS '13.

t-Barrier Certificates: A Continuous Analogy to k-Induction

Stanley Bak, Stanley Bak, 2018, ADHS.

First three years of the international verification of neural networks competition (VNN-COMP)

Taylor T. Johnson, Changliu Liu, Christopher Brix, 2023, International Journal on Software Tools for Technology Transfer.

Numerical verification of affine systems with up to a billion dimensions

Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, 2018, HSCC.

Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling

Dongxu Li, Sergiy Bogomolov, Stanley Bak, 2020, FORMATS.

Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers

Stanley Bak, Alexander Collins, Michael Bolender, 2018, ARCH@ADHS.

Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

M. Althoff, Stanley Bak, Niklas Kochdumper, 2022, NFM.

A Predictable Execution Model for COTS-Based Embedded Systems

Marco Caccamo, Rodolfo Pellizzoni, Gang Yao, 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

Memory-centric scheduling for multicore hard real-time systems

R. Pellizzoni, M. Caccamo, Stanley Bak, 2012, Real-time systems.

Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems

Marco Caccamo, Rodolfo Pellizzoni, Gang Yao, 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

On-chip control flow integrity check for real time embedded systems

Lui Sha, Yi Lu, Marco Caccamo, 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).

Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance

Taylor T. Johnson, Kerianne L. Hobbs, Stanley Bak, 2022, Journal of Air Transportation.

Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability

Xin Chen, Taylor T. Johnson, Stanley Bak, 2020, AIAA Scitech 2021 Forum.

Stress Testing Autonomous Racing Overtake Maneuvers with RRT pdf

Johannes Betz, Stanley Bak, Rahul Mangharam, 2021, 2022 IEEE Intelligent Vehicles Symposium (IV).

Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication

Marco Caccamo, Fardin Abdi Taghi Abad, Stanley Bak, 2015, ACM Trans. Embed. Comput. Syst..

Using run-time checking to provide safety and progress for distributed cyber-physical systems

Marco Caccamo, Fardin Abdi Taghi Abad, Stanley Bak, 2013, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.

Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions

Stanley Bak, Sayan Mitra, Ashley Greer, 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

S. Stoller, S. Smolka, Stanley Bak, 2021, NFM.

nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement

Stanley Bak, Stanley Bak, 2021, NFM.

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions

M. Althoff, Stanley Bak, Niklas Kochdumper, 2023, HSCC.

A Comparison of Approaches for Solving Hard Graph-Theoretic Problems

Stanley Bak, S. Adachi, Victoria Horan, 2015, ArXiv.

Neural Network Veriﬁcation Methods for Closed-Loop ACAS Xu Properties ∗

Taylor T. Johnson, Diego Manzanas Lopez, Kerianne L. Hobbs, 2021 .