Stanley Bak

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 85

Top Venues

Publications

Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Veena Krish, Andrew Mata, Amir Rahmati
Zero-One Attack: Degrading Closed-Loop Neural Network Control Systems using State-Time Perturbations. ICCPS (2024)
Feiyang Cai, Chuchu Fan, Stanley Bak
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling. CoRR (2024)
Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. CoRR (2024)
Niklas Kochdumper, Stanley Bak
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. ICRA (2024)
Ali ArjomandBigdeli, Andrew Mata, Stanley Bak
Verification of Neural Network Control Systems in Continuous Time. CoRR (2024)
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
Falsification using Reachability of Surrogate Koopman Models. HSCC (2024)
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP). CoRR (2023)
Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun
On the Difficulty of Intersection Checking with Polynomial Zonotopes. CoRR (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. IEEE Trans. Autom. Control. 68 (12) (2023)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM (2023)
Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena
Provable Fairness for Neural Network Models Using Formal Verification. EWAF (2023)
Sanaz Sheikhi, Stanley Bak
Closed-Loop ACAS Xu Neural Network Verification. ARCH (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC (2023)
Sanaz Sheikhi, Stanley Bak
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems. CoRR (2023)
Niklas Kochdumper, Stanley Bak
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. CoRR (2023)
Ertai Luo, Niklas Kochdumper, Stanley Bak
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. HSCC (2023)
Niklas Kochdumper, Stanley Bak
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis. CoRR (2023)
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. ATVA (2023)
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu
First three years of the international verification of neural networks competition (VNN-COMP). Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ATVA (2023)
Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results. CoRR (2023)
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
The Octatope Abstract Domain for Verification of Neural Networks. FM (2023)
Stanley Bak, Hoang-Dung Tran
Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability. CoRR (2022)
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR (2022)
Stanley Bak, Hoang-Dung Tran
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. NFM (2022)
Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena
Provable Fairness for Neural Network Models using Formal Verification. CoRR (2022)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR (2022)
Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak
Coverage-Guided Fuzz Testing for Cyber-Physical Systems. ICCPS (2022)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR (2022)
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results. CoRR (2022)
Niklas Kochdumper, Stanley Bak
Conformant Synthesis for Koopman Operator Linearized Control Systems. CDC (2022)
Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia
On the Coarse Robustness of Classifiers. IEEECONF (2022)
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. CAV (1) (2022)
Abhinav Chawla, Stanley Bak
CPS Testing using Stateless RRT. ICCPS (2022)
Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam
Stress Testing Autonomous Racing Overtake Maneuvers with RRT. IV (2022)
Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. NFM (2022)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from Unsafe Controllers. CoRR (2021)
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS (2021)
Stanley Bak, Changliu Liu, Taylor T. Johnson
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results. CoRR (2021)
Stanley Bak
nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement. NFM (2021)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS (2021)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) (2021)
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR (2021)
Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. CoRR (2021)
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. 33 (4-5) (2021)
Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam
Stress Testing Autonomous Racing Overtake Maneuvers with RRT. CoRR (2021)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
Verification of Deep Convolutional Neural Networks Using ImageStars. CAV (1) (2020)
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) (2020)
Dongxu Li, Stanley Bak, Sergiy Bogomolov
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. FORMATS (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CAV (1) (2020)
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CoRR (2020)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
Verification of Deep Convolutional Neural Networks Using ImageStars. CoRR (2020)
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSIoTWeek (2019)
Stanley Bak, Kerianne Hobbs
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. ARCH@CPSIoTWeek (2019)
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
Numerical verification of affine systems with up to a billion dimensions. HSCC (2019)
Parasara Sridhar Duggirala, Stanley Bak
Aggregation Strategies in Reachable Set Computation of Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Stanley Bak, Kerianne Hobbs
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report). CoRR (2019)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. ARCH@ADHS (2018)
Stanley Bak
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster. ARCH@ADHS (2018)
Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak
Space Debris Collision Detection using Reachability. ARCH@ADHS (2018)
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
Numerical Verification of Affine Systems with up to a Billion Dimensions. CoRR (2018)
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Reachability Analysis for One Dimensional Linear Parabolic Equations. ADHS (2018)
Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
Cyber-Physical Specification Mismatches. CoRR (2018)
Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
Cyber-Physical Specification Mismatches. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Stanley Bak
-Induction. ADHS (2018)
Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S, Qi Zhu
Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. 2 (2) (2017)
Stanley Bak, Sergiy Bogomolov, Matthias Althoff
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS (2017)
Stanley Bak, Parasara Sridhar Duggirala
Simulation-Equivalent Reachability of Large Linear Systems with Inputs. CAV (1) (2017)
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@CPSWeek (2017)
Stanley Bak, Parasara Sridhar Duggirala
Direct Verification of Linear Systems with over 10000 Dimensions. ARCH@CPSWeek (2017)
Stanley Bak, Parasara Sridhar Duggirala
Rigorous Simulation-Based Analysis of Linear Hybrid Systems. TACAS (1) (2017)
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV (2017)
Stanley Bak, Parasara Sridhar Duggirala
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. HSCC (2017)
Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha
Real-Time Reachability for Verified Simplex Design. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Stanley Bak, Sagar Chaki
Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. EMSOFT (2016)
Gang Yao, Rodolfo Pellizzoni, Stanley Bak, Heechul Yun, Marco Caccamo
Global Real-Time Memory-Centric Scheduling for Multicore Systems. IEEE Trans. Computers 65 (9) (2016)
Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC (2016)
Victoria Horan, Steve Adachi, Stanley Bak
A comparison of approaches for finding minimum identifying codes on graphs. Quantum Inf. Process. 15 (5) (2016)
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA (2016)
Stanley Bak, Sergiy Bogomolov, Christian Schilling
High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek (2016)
Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or D. Dantsker, Marco Caccamo
Reset-based recovery for real-time cyber-physical systems with temporal safety constraints. ETFA (2016)
Rodolfo Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, Rakesh Bobba
A generalized model for preventing information leakage in hard real-time systems. RTAS (2015)
Victoria Horan, Steve Adachi, Stanley Bak
A Comparison of Approaches for Solving Hard Graph-Theoretic Problems. CoRR (2015)
Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson
Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek (2015)
Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo
Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Stanley Bak, Taylor T. Johnson
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization. RTSS (2015)
Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson
HYST: a source transformation and translation tool for hybrid automaton models. HSCC (2015)
Taylor T. Johnson, Stanley Bak, Steven Drager
Cyber-physical specification mismatch identification with dynamic analysis. ICCPS (2015)
Stanley Bak
Reducing the wrapping effect in flowpipe construction using pseudo-invariants. CyPhy (2014)
Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha
Real-Time Reachability for Verified Simplex Design. RTSS (2014)
Ali ArjomandBigdeli, Andrew Mata, Stanley Bak
Verification of Neural Network Control Systems in Continuous Time. SAIV (2014)
Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso, Sibin Mohan
On-chip control flow integrity check for real time embedded systems. CPSNA (2013)
Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo
S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems. HiCoNS (2013)
Emiliano Betti, Stanley Bak, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
Real-Time I/O Management System with COTS Peripherals. IEEE Trans. Computers 62 (1) (2013)
Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo
Using run-time checking to provide safety and progress for distributed cyber-physical systems. RTCSA (2013)
Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo
S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems CoRR (2012)

Stanley Bak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stanley Bak