Stanley Bak

According to our database, Stanley Bak authored at least 89 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff

IEEE Trans. Autom. Control., December, 2023

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

Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu

Int. J. Softw. Tools Technol. Transf., June, 2023

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.

Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson

CoRR, 2023

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems.

Sanaz Sheikhi, Stanley Bak

CoRR, 2023

Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets.

Niklas Kochdumper, Stanley Bak

CoRR, 2023

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis.

Niklas Kochdumper, Stanley Bak

CoRR, 2023

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.

Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

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

Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.

Ertai Luo, Niklas Kochdumper, Stanley Bak

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

The Octatope Abstract Domain for Verification of Neural Networks.

Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski

Proceedings of the Formal Methods - 25th International Symposium, 2023

Provable Fairness for Neural Network Models Using Formal Verification.

Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena

Proceedings of the 2nd European Workshop on Algorithmic Fairness, 2023

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

Proceedings of the Automated Technology for Verification and Analysis, 2023

On the Difficulty of Intersection Checking with Polynomial Zonotopes.

Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results.

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson

CoRR, 2022

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

Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff

CoRR, 2022

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

Stanley Bak, Hoang-Dung Tran

CoRR, 2022

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

Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

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

Stanley Bak, Hoang-Dung Tran

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Stress Testing Autonomous Racing Overtake Maneuvers with RRT.

Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Coverage-Guided Fuzz Testing for Cyber-Physical Systems.

Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

CPS Testing using Stateless RRT.

Abhinav Chawla, Stanley Bak

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Conformant Synthesis for Koopman Operator Linearized Control Systems.

Niklas Kochdumper, Stanley Bak

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

On the Coarse Robustness of Classifiers.

Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia

Proceedings of the 56th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2022, Pacific Grove, CA, USA, October 31, 2022

2021

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

Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Formal Aspects Comput., 2021

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

Stanley Bak, Changliu Liu, Taylor T. Johnson

CoRR, 2021

nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement.

Stanley Bak

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.

Edward Kim, Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Safe CPS from unsafe controllers.

Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization.

Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling.

Dongxu Li, Stanley Bak, Sergiy Bogomolov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

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

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Verification of Deep Convolutional Neural Networks Using ImageStars.

Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.

Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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

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

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Aggregation Strategies in Reachable Set Computation of Hybrid Systems.

Parasara Sridhar Duggirala, Stanley Bak

ACM Trans. Embed. Comput. Syst., 2019

Hybrid automata: from verification to implementation.

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling

Int. J. Softw. Tools Technol. Transf., 2019

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report).

Stanley Bak, Kerianne Hobbs

CoRR, 2019

Numerical verification of affine systems with up to a billion dimensions.

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

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees.

Stanley Bak, Kerianne Hobbs

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

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

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Cyber-Physical Specification Mismatches.

Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson

ACM Trans. Cyber Phys. Syst., 2018

Reachability Analysis for One Dimensional Linear Parabolic Equations.

Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Space Debris Collision Detection using Reachability.

Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

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

Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Numerical Verification of 10000-dimensional Linear Systems 10000x Faster.

Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

<i>t</i>-Barrier Certificates: A Continuous Analogy to <i>k</i>-Induction.

Stanley Bak

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

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

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Guest Editorial.

Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S, Qi Zhu

IET Cyper-Phys. Syst.: Theory & Appl., 2017

Rigorous Simulation-Based Analysis of Linear Hybrid Systems.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

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

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.

Stanley Bak, Sergiy Bogomolov, Matthias Althoff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Direct Verification of Linear Systems with over 10000 Dimensions.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

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

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Simulation-Equivalent Reachability of Large Linear Systems with Inputs.

Stanley Bak, Parasara Sridhar Duggirala

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016

Real-Time Reachability for Verified Simplex Design.

Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha

ACM Trans. Embed. Comput. Syst., 2016

Global Real-Time Memory-Centric Scheduling for Multicore Systems.

Gang Yao, Rodolfo Pellizzoni, Stanley Bak, Heechul Yun, Marco Caccamo

IEEE Trans. Computers, 2016

A comparison of approaches for finding minimum identifying codes on graphs.

Victoria Horan, Steve Adachi, Stanley Bak

Quantum Inf. Process., 2016

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

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

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

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

Stanley Bak, Sagar Chaki

Proceedings of the 2016 International Conference on Embedded Software, 2016

High-level Hybrid Systems Analysis with Hypy.

Stanley Bak, Sergiy Bogomolov, Christian Schilling

Proceedings of the ARCH@CPSWeek 2016, 2016

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.

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

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

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

Stanley Bak, Zhenqi Huang, Fardin Abdi Taghi Abad, Marco Caccamo

ACM Trans. Embed. Comput. Syst., 2015

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

Victoria Horan, Steve Adachi, Stanley Bak

CoRR, 2015

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization.

Stanley Bak, Taylor T. Johnson

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

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

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Cyber-physical specification mismatch identification with dynamic analysis.

Taylor T. Johnson, Stanley Bak, Steven Drager

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

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

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Benchmark Generator for Stratified Controllers of Tank Networks.

Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Reducing the wrapping effect in flowpipe construction using pseudo-invariants.

Stanley Bak

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013

Verifiable COTS-based cyber-physical systems

Stanley Bak

PhD thesis, 2013

Real-Time I/O Management System with COTS Peripherals.

Emiliano Betti, Stanley Bak, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha

IEEE Trans. Computers, 2013

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

Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

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

Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

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

Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak, Marco Caccamo, Lui Sha, Renato Mancuso, Sibin Mohan

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

Memory-centric scheduling for multicore hard real-time systems.

Gang Yao, Rodolfo Pellizzoni, Stanley Bak, Emiliano Betti, Marco Caccamo

Real Time Syst., 2012

S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems

Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, Marco Caccamo

CoRR, 2012

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

Stanley Bak, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

2011

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

Shahnawaz Ahmed, Stanley Bak, Joyce R. McLaughlin, Daniel Renzi

SIAM J. Sci. Comput., 2011

A Predictable Execution Model for COTS-Based Embedded Systems.

Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, Russell Kegley

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Sandboxing Controllers for Cyber-Physical Systems.

Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

A step towards verification and synthesis from simulink/stateflow models.

Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Some Improvements for the Fast Sweeping Method.

Stanley Bak, Joyce R. McLaughlin, Daniel Renzi

SIAM J. Sci. Comput., 2010

Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions.

Stanley Bak, Ashley Greer, Sayan Mitra

Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

2009

Real-Time Control of I/O COTS Peripherals for Embedded Systems.

Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

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

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009