Stanley Bak

Most-cited papers

A Predictable Execution Model for COTS-Based Embedded Systems
R. Pellizzoni, E. Betti, Stanley Bak, Gang Yao +3 more
20112011 17th IEEE Real-Time and Embedded Technology and Applications Symposium312 citations
Semantic Scholar
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 +4 more
2020International Conference on Computer Aided Verification302 citations Open access
Semantic Scholar
Verification of Deep Convolutional Neural Networks Using ImageStars
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2020International Conference on Computer Aided Verification153 citations Open access
Semantic Scholar
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun +2 more
20092009 15th IEEE Real-Time and Embedded Technology and Applications Symposium139 citations
Semantic Scholar
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Stanley Bak, Chang-Liu Liu, Taylor T. Johnson
2021arXiv.org133 citations
Semantic Scholar
Real-Time Reachability for Verified Simplex Design
Taylor T. Johnson, Stanley Bak, M. Caccamo, L. Sha
2014IEEE Real-Time Systems Symposium124 citations
Semantic Scholar
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems
Stanley Bak, Parasara Sridhar Duggirala
2017International Conference on Hybrid Systems: Computation and Control121 citations
Semantic Scholar
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
Stanley Bak, Hoang-Dung Tran, Kerianne L. Hobbs, Taylor T. Johnson
2020International Conference on Computer Aided Verification118 citations Open access
Semantic Scholar
First three years of the international verification of neural networks competition (VNN-COMP)
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson +1 more
2023International Journal on Software Tools for Technology Transfer (STTT)114 citations Open access
Semantic Scholar
S3A: secure system simplex architecture for enhanced security and robustness of cyber-physical systems
Sibin Mohan, Stanley Bak, E. Betti, H. Yun +2 more
2013International Conference on High Confidence Networked Systems112 citations
Semantic Scholar
Memory-centric scheduling for multicore hard real-time systems
Gang Yao, R. Pellizzoni, Stanley Bak, E. Betti +1 more
2012Real-time systems109 citations
Semantic Scholar
HYST: a source transformation and translation tool for hybrid automaton models
Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson
2015International Conference on Hybrid Systems: Computation and Control100 citations Open access
Semantic Scholar
nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement
Stanley Bak
2021NASA Formal Methods86 citations Open access
Semantic Scholar
Sandboxing Controllers for Cyber-Physical Systems
Stanley Bak, Karthik Manamcheri, Sayan Mitra, M. Caccamo
20112011 IEEE/ACM Second International Conference on Cyber-Physical Systems85 citations
Semantic Scholar
Simulation-Equivalent Reachability of Large Linear Systems with Inputs
Stanley Bak, Parasara Sridhar Duggirala
2017International Conference on Computer Aided Verification83 citations
Semantic Scholar
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
Peter Heidlauf, Alexander Collins, M. Bolender, Stanley Bak
2018ARCH@ADHS75 citations
Semantic Scholar
Global Real-Time Memory-Centric Scheduling for Multicore Systems
Gang Yao, R. Pellizzoni, Stanley Bak, H. Yun +1 more
2016IEEE transactions on computers63 citations
Semantic Scholar
A generalized model for preventing information leakage in hard real-time systems
R. Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak +2 more
201521st IEEE Real-Time and Embedded Technology and Applications Symposium62 citations
Semantic Scholar
Some Improvements for the Fast Sweeping Method
Stanley Bak, J. McLaughlin, Daniel Renzi
2010SIAM Journal on Scientific Computing61 citations
Semantic Scholar
Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak +1 more
2022IEEE Open Journal of Control Systems58 citations Open access
Semantic Scholar
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Niklas Kochdumper, Christian Schilling, M. Althoff, Stanley Bak
2022NASA Formal Methods55 citations
Semantic Scholar
Numerical verification of affine systems with up to a billion dimensions
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
2018International Conference on Hybrid Systems: Computation and Control54 citations Open access
Semantic Scholar
Design, implementation and evaluation of covert channel attacks
Hamed Okhravi, Stanley Bak, Samuel T. King
2010IEEE International Conference on Technologies for Homeland Security53 citations
Semantic Scholar
Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems
Stanley Bak, Gang Yao, R. Pellizzoni, M. Caccamo
2012IEEE International Conference on Embedded and Real-Time Computing Systems and Applications51 citations
Semantic Scholar
A step towards verification and synthesis from simulink/stateflow models
Karthik Manamcheri, Sayan Mitra, Stanley Bak, M. Caccamo
2011International Conference on Hybrid Systems: Computation and Control46 citations
Semantic Scholar
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez +4 more
2021International Conference on Computer Aided Verification44 citations Open access
Semantic Scholar
Reset-based recovery for real-time cyber-physical systems with temporal safety constraints
Fardin Abdi Taghi Abad, R. Mancuso, Stanley Bak, Or D. Dantsker +1 more
2016IEEE International Conference on Emerging Technologies and Factory Automation41 citations
Semantic Scholar
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
Stanley Bak, Sergiy Bogomolov, T. Henzinger, Taylor T. Johnson +1 more
2016International Conference on Hybrid Systems: Computation and Control35 citations Open access
Semantic Scholar
On-chip control flow integrity check for real time embedded systems
Fardin Abdi Taghi Abad, Joel van der Woude, Yi Lu, Stanley Bak +4 more
2013International Conference on Cyber-Physical Systems, Networks, and Applications34 citations
Semantic Scholar
Hybrid automata: from verification to implementation
Stanley Bak, O. Beg, Sergiy Bogomolov, Taylor T. Johnson +2 more
2017International Journal on Software Tools for Technology Transfer (STTT)30 citations
Semantic Scholar
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
Usama Mehmood, S. Sheikhi, Stanley Bak, S. Smolka +1 more
2021NASA Formal Methods29 citations Open access
Semantic Scholar
Real-Time I/O Management System with COTS Peripherals
E. Betti, Stanley Bak, R. Pellizzoni, M. Caccamo +1 more
2013IEEE transactions on computers29 citations
Semantic Scholar
A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions
Shahnawaz Ahmed, Stanley Bak, J. McLaughlin, Daniel Renzi
2011SIAM Journal on Scientific Computing29 citations
Semantic Scholar
S3A: Secure System Simplex Architecture for Enhanced Security of Cyber-Physical Systems
Sibin Mohan, Stanley Bak, E. Betti, H. Yun +2 more
2012arXiv.org27 citations
Semantic Scholar
Real-Time Control of I/O COTS Peripherals for Embedded Systems
Stanley Bak, E. Betti, R. Pellizzoni, M. Caccamo +1 more
2009IEEE Real-Time Systems Symposium26 citations
Semantic Scholar
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability
Stanley Bak, Hoang-Dung Tran
2022NASA Formal Methods22 citations Open access
Semantic Scholar
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, M. Althoff
2022IEEE Transactions on Automatic Control21 citations Open access
Semantic Scholar
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach +1 more
2021IFAC Conference on Analysis and Design of Hybrid Systems21 citations Open access
Semantic Scholar
Rigorous Simulation-Based Analysis of Linear Hybrid Systems
Stanley Bak, Parasara Sridhar Duggirala
2017International Conference on Tools and Algorithms for Construction and Analysis of Systems21 citations
Semantic Scholar
Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions
Stanley Bak, Ashley Greer, Sayan Mitra
20102010 16th IEEE Real-Time and Embedded Technology and Applications Symposium21 citations
Semantic Scholar
Cyber-physical specification mismatch identification with dynamic analysis
Taylor T. Johnson, Stanley Bak, S. Drager
2015International Conference on Cyber-Physical Systems19 citations
Semantic Scholar
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
Diego Manzanas Lopez, Taylor T. Johnson, Hoang-Dung Tran, Stanley Bak +2 more
2020AIAA Scitech 2021 Forum18 citations
Semantic Scholar
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, M. Althoff
2023International Conference on Hybrid Systems: Computation and Control16 citations Open access
Semantic Scholar
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau +5 more
2021Formal Aspects of Computing16 citations Open access
Semantic Scholar
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling
Dongxu Li, Stanley Bak, Sergiy Bogomolov
2020International Conference on Formal Modeling and Analysis of Timed Systems16 citations
Semantic Scholar
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
Stanley Bak, Sergiy Bogomolov, M. Althoff
2017International Conference on Formal Modeling and Analysis of Timed Systems16 citations Open access
Semantic Scholar
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization
Stanley Bak, Taylor T. Johnson
2015IEEE Real-Time Systems Symposium16 citations
Semantic Scholar
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
Yu-Shen Huang, Ertai Luo, Stanley Bak, Yi-Fan Sun
2023International Conference on Hybrid Systems: Computation and Control14 citations Open access
Semantic Scholar
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper +2 more
2022International Conference on Computer Aided Verification14 citations Open access
Semantic Scholar
Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Stanley Bak, Johannes Betz, Abhinav Chawla, Hong-Rui Zheng +1 more
20212022 IEEE Intelligent Vehicles Symposium (IV)14 citations Open access
Semantic Scholar