Stanley Z. Bak, Ph.D.
Affiliations: | 2013 | Computer Science | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceGoogle:
"Stanley Bak"Parents
Sign in to add mentorMarco Caccamo | grad student | 2013 | UIUC | |
(Verifiable cots-based cyber-physical systems.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Duggirala PS, Bak S. (2019) Aggregation Strategies in Reachable Set Computation of Hybrid Systems Acm Transactions in Embedded Computing Systems. 18: 1-21 |
Bak S, Beg OA, Bogomolov S, et al. (2019) Hybrid automata: from verification to implementation International Journal On Software Tools For Technology Transfer. 21: 87-104 |
Nguyen LV, Hoque KA, Bak S, et al. (2018) Cyber-Physical Specification Mismatches Acm Transactions On Cyber-Physical Systems. 2: 23 |
Bak S. (2018) t-Barrier Certificates: A Continuous Analogy to k-Induction Ifac-Papersonline. 51: 145-150 |
Tran H, Xiang W, Bak S, et al. (2018) Reachability Analysis for One Dimensional Linear Parabolic Equations. Ifac-Papersonline. 51: 133-138 |
Yao G, Pellizzoni R, Bak S, et al. (2016) Global Real-Time Memory-Centric Scheduling for Multicore Systems Ieee Transactions On Computers. 65: 2739-2751 |
Horan V, Adachi S, Bak S. (2016) A comparison of approaches for finding minimum identifying codes on graphs Quantum Information Processing. 15: 1827-1848 |
Bak S, Huang Z, Abad FAT, et al. (2015) Safety and progress for distributed cyber-physical systems with unreliable communication Acm Transactions On Embedded Computing Systems. 14 |
Bak S, Johnson TT, Caccamo M, et al. (2015) Real-time reachability for verified simplex design Proceedings - Real-Time Systems Symposium. 2015: 138-148 |
Betti E, Bak S, Pellizzoni R, et al. (2013) Real-time I/O management system with COTS peripherals Ieee Transactions On Computers. 62: 45-58 |