default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStanley Bak
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c68]Stanley Bak
, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati:
Falsification using Reachability of Surrogate Koopman Models. HSCC 2024: 27:1-27:13- [c67]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: 12-22 - [c66]Niklas Kochdumper, Stanley Bak:
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. ICRA 2024: 14169-14176 - [c65]Ali ArjomandBigdeli, Andrew Mata, Stanley Bak:
Verification of Neural Network Control Systems in Continuous Time. SAIV 2024: 100-115 - [i27]Feiyang Cai, Chuchu Fan, Stanley Bak:
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling. CoRR abs/2405.18554 (2024) - [i26]Ali ArjomandBigdeli, Andrew Mata, Stanley Bak:
Verification of Neural Network Control Systems in Continuous Time. CoRR abs/2406.00157 (2024) - [i25]Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun:
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. CoRR abs/2406.11056 (2024) - 2023
- [j15]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): 329-339 (2023) - [j14]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): 7771-7786 (2023) - [c64]Sanaz Sheikhi, Stanley Bak:
Closed-Loop ACAS Xu Neural Network Verification. ARCH 2023: 1-8 - [c63]Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun:
On the Difficulty of Intersection Checking with Polynomial Zonotopes. ATVA 2023: 51-71 - [c62]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: 237-250 - [c61]Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena:
Provable Fairness for Neural Network Models Using Formal Verification. EWAF 2023 - [c60]Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski:
The Octatope Abstract Domain for Verification of Neural Networks. FM 2023: 454-472 - [c59]Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC 2023: 5:1-5:12 - [c58]Ertai Luo, Niklas Kochdumper, Stanley Bak:
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. HSCC 2023: 17:1-17:12 - [c57]Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM 2023: 16-36 - [i24]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 abs/2301.05815 (2023) - [i23]Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun:
On the Difficulty of Intersection Checking with Polynomial Zonotopes. CoRR abs/2305.09901 (2023) - [i22]Niklas Kochdumper, Stanley Bak:
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis. CoRR abs/2306.04089 (2023) - [i21]Niklas Kochdumper, Stanley Bak:
Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets. CoRR abs/2309.12289 (2023) - [i20]Sanaz Sheikhi, Stanley Bak:
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems. CoRR abs/2312.02313 (2023) - [i19]Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson:
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results. CoRR abs/2312.16760 (2023) - 2022
- [c56]Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia:
On the Coarse Robustness of Classifiers. IEEECONF 2022: 569-573 - [c55]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: 490-510 - [c54]Niklas Kochdumper, Stanley Bak:
Conformant Synthesis for Koopman Operator Linearized Control Systems. CDC 2022: 7327-7332 - [c53]Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak:
Coverage-Guided Fuzz Testing for Cyber-Physical Systems. ICCPS 2022: 24-33 - [c52]Abhinav Chawla, Stanley Bak:
CPS Testing using Stateless RRT. ICCPS 2022: 302-303 - [c51]Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam:
Stress Testing Autonomous Racing Overtake Maneuvers with RRT. IV 2022: 806-812 - [c50]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: 231-250 - [c49]Stanley Bak, Hoang-Dung Tran:
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability. NFM 2022: 280-298 - [i18]Stanley Bak, Hoang-Dung Tran:
Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability. CoRR abs/2201.06626 (2022) - [i17]Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak:
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR abs/2207.02715 (2022) - [i16]Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff:
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR abs/2209.09321 (2022) - [i15]Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff:
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR abs/2210.10691 (2022) - [i14]Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak, Steven Skiena:
Provable Fairness for Neural Network Models using Formal Verification. CoRR abs/2212.08578 (2022) - [i13]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 abs/2212.10376 (2022) - 2021
- [j13]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): 519-545 (2021) - [c48]Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS 2021: 253-258 - [c47]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: 263-286 - [c46]Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller:
Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek 2021: 26-28 - [c45]Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS 2021: 50-66 - [c44]Stanley Bak:
nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement. NFM 2021: 19-36 - [i12]Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller:
Safe CPS from Unsafe Controllers. CoRR abs/2102.12981 (2021) - [i11]Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR abs/2105.00886 (2021) - [i10]Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. CoRR abs/2105.11796 (2021) - [i9]Stanley Bak, Changliu Liu, Taylor T. Johnson:
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results. CoRR abs/2109.00498 (2021) - [i8]Stanley Bak, Johannes Betz, Abhinav Chawla, Hongrui Zheng, Rahul Mangharam:
Stress Testing Autonomous Racing Overtake Maneuvers with RRT. CoRR abs/2110.01095 (2021) - 2020
- [c43]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: 16-48 - [c42]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: 3-17 - [c41]Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson:
Verification of Deep Convolutional Neural Networks Using ImageStars. CAV (1) 2020: 18-42 - [c40]Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson:
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) 2020: 66-96 - [c39]Dongxu Li, Stanley Bak, Sergiy Bogomolov:
Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. FORMATS 2020: 265-282 - [i7]Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson:
Verification of Deep Convolutional Neural Networks Using ImageStars. CoRR abs/2004.05511 (2020) - [i6]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 abs/2004.05519 (2020)
2010 – 2019
- 2019
- [j12]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): 87-104 (2019) - [j11]Parasara Sridhar Duggirala, Stanley Bak:
Aggregation Strategies in Reachable Set Computation of Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 99:1-99:21 (2019) - [c38]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: 14-40 - [c37]Stanley Bak, Kerianne Hobbs:
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. ARCH@CPSIoTWeek 2019: 170-182 - [c36]Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson:
Numerical verification of affine systems with up to a billion dimensions. HSCC 2019: 23-32 - [i5]Stanley Bak, Kerianne Hobbs:
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report). CoRR abs/1901.10475 (2019) - 2018
- [j10]Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson:
Cyber-Physical Specification Mismatches. ACM Trans. Cyber Phys. Syst. 2(4): 23:1-23:26 (2018) - [c35]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: 23-52 - [c34]Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson:
Reachability Analysis for One Dimensional Linear Parabolic Equations. ADHS 2018: 133-138 - [c33]Stanley Bak:
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster. ARCH@ADHS 2018: 135-144 - [c32]Stanley Bak:
t-Barrier Certificates: A Continuous Analogy to k-Induction. ADHS 2018: 145-150 - [c31]Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak:
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. ARCH@ADHS 2018: 208-217 - [c30]Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak:
Space Debris Collision Detection using Reachability. ARCH@ADHS 2018: 218-228 - [i4]Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson:
Numerical Verification of Affine Systems with up to a Billion Dimensions. CoRR abs/1804.01583 (2018) - [i3]Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson:
Cyber-Physical Specification Mismatches. CoRR abs/1806.09224 (2018) - 2017
- [j9]Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S., Qi Zhu:
Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. 2(2): 55-56 (2017) - [c29]Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar:
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. NSV@CAV 2017: 83-89 - [c28]Stanley Bak, Parasara Sridhar Duggirala:
Simulation-Equivalent Reachability of Large Linear Systems with Inputs. CAV (1) 2017: 401-420 - [c27]Stanley Bak, Parasara Sridhar Duggirala:
Direct Verification of Linear Systems with over 10000 Dimensions. ARCH@CPSWeek 2017: 114-123 - [c26]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: 143-159 - [c25]Stanley Bak, Sergiy Bogomolov, Matthias Althoff:
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. FORMATS 2017: 133-150 - [c24]Stanley Bak, Parasara Sridhar Duggirala:
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. HSCC 2017: 173-178 - [c23]Stanley Bak, Parasara Sridhar Duggirala:
Rigorous Simulation-Based Analysis of Linear Hybrid Systems. TACAS (1) 2017: 555-572 - 2016
- [j8]Victoria Horan, Steve Adachi, Stanley Bak:
A comparison of approaches for finding minimum identifying codes on graphs. Quantum Inf. Process. 15(5): 1827-1848 (2016) - [j7]Gang Yao, Rodolfo Pellizzoni, Stanley Bak, Heechul Yun, Marco Caccamo:
Global Real-Time Memory-Centric Scheduling for Multicore Systems. IEEE Trans. Computers 65(9): 2739-2751 (2016) - [j6]Taylor T. Johnson, Stanley Bak, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. ACM Trans. Embed. Comput. Syst. 15(2): 26:1-26:27 (2016) - [c22]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: 1024-1029 - [c21]Stanley Bak, Sergiy Bogomolov, Christian Schilling:
High-level Hybrid Systems Analysis with Hypy. ARCH@CPSWeek 2016: 80-90 - [c20]Stanley Bak, Sagar Chaki:
Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. EMSOFT 2016: 10:1-10:10 - [c19]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: 1-8 - [c18]Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash:
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. HSCC 2016: 155-164 - 2015
- [j5]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): 76:1-76:22 (2015) - [c17]Stanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnson:
Benchmark Generator for Stratified Controllers of Tank Networks. ARCH@CPSWeek 2015: 73-79 - [c16]Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson:
HYST: a source transformation and translation tool for hybrid automaton models. HSCC 2015: 128-133 - [c15]Taylor T. Johnson, Stanley Bak, Steven Drager:
Cyber-physical specification mismatch identification with dynamic analysis. ICCPS 2015: 208-217 - [c14]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: 271-282 - [c13]Stanley Bak, Taylor T. Johnson:
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization. RTSS 2015: 195-205 - [i2]Victoria Horan, Steve Adachi, Stanley Bak:
A Comparison of Approaches for Solving Hard Graph-Theoretic Problems. CoRR abs/1504.08011 (2015) - 2014
- [c12]Stanley Bak:
Reducing the wrapping effect in flowpipe construction using pseudo-invariants. CyPhy 2014: 40-43 - [c11]Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha:
Real-Time Reachability for Verified Simplex Design. RTSS 2014: 138-148 - 2013
- [b1]Stanley Bak:
Verifiable COTS-based cyber-physical systems. University of Illinois Urbana-Champaign, USA, 2013 - [j4]Emiliano Betti, Stanley Bak, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
Real-Time I/O Management System with COTS Peripherals. IEEE Trans. Computers 62(1): 45-58 (2013) - [c10]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: 26-31 - [c9]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: 65-74 - [c8]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: 287-296 - 2012
- [j3]Gang Yao, Rodolfo Pellizzoni, Stanley Bak, Emiliano Betti, Marco Caccamo:
Memory-centric scheduling for multicore hard real-time systems. Real Time Syst. 48(6): 681-715 (2012) - [c7]Stanley Bak, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo:
Memory-Aware Scheduling of Multicore Task Sets for Real-Time Systems. RTCSA 2012: 300-309 - [i1]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 abs/1202.5722 (2012) - 2011
- [j2]Shahnawaz Ahmed, Stanley Bak, Joyce R. McLaughlin, Daniel Renzi:
A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions. SIAM J. Sci. Comput. 33(5): 2402-2420 (2011) - [c6]Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo:
A step towards verification and synthesis from simulink/stateflow models. HSCC 2011: 317-318 - [c5]Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo:
Sandboxing Controllers for Cyber-Physical Systems. ICCPS 2011: 3-12 - [c4]Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Gang Yao, John Criswell, Marco Caccamo, Russell Kegley:
A Predictable Execution Model for COTS-Based Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 269-279 - 2010
- [j1]Stanley Bak, Joyce R. McLaughlin, Daniel Renzi:
Some Improvements for the Fast Sweeping Method. SIAM J. Sci. Comput. 32(5): 2853-2874 (2010) - [c3]Stanley Bak, Ashley Greer, Sayan Mitra:
Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 143-152
2000 – 2009
- 2009
- [c2]Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, Lui Sha:
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 99-107 - [c1]Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
Real-Time Control of I/O COTS Peripherals for Embedded Systems. RTSS 2009: 193-203
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
