Stanley Bak - RankMe

123 papers A* 2A 7B 5C 3Misc 1Journal 49Unranked 55

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