☰

Stanley Z. Bak, Ph.D. - Publications

Affiliations: 
2013 Computer Science University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

11 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Duggirala PS, Bak S. Aggregation Strategies in Reachable Set Computation of Hybrid Systems Acm Transactions in Embedded Computing Systems. 18: 1-21. DOI: 10.1145/3358214  0.345
2019 Bak S, Beg OA, Bogomolov S, Johnson TT, Nguyen LV, Schilling C. Hybrid automata: from verification to implementation International Journal On Software Tools For Technology Transfer. 21: 87-104. DOI: 10.1007/S10009-017-0458-1  0.362
2018 Nguyen LV, Hoque KA, Bak S, Drager S, Johnson TT. Cyber-Physical Specification Mismatches Acm Transactions On Cyber-Physical Systems. 2: 23. DOI: 10.1145/3170500  0.371
2018 Bak S. t-Barrier Certificates: A Continuous Analogy to k-Induction Ifac-Papersonline. 51: 145-150. DOI: 10.1016/J.Ifacol.2018.08.025  0.339
2018 Tran H, Xiang W, Bak S, Johnson TT. Reachability Analysis for One Dimensional Linear Parabolic Equations. Ifac-Papersonline. 51: 133-138. DOI: 10.1016/J.Ifacol.2018.08.023  0.36
2016 Yao G, Pellizzoni R, Bak S, Yun H, Caccamo M. Global Real-Time Memory-Centric Scheduling for Multicore Systems Ieee Transactions On Computers. 65: 2739-2751. DOI: 10.1109/Tc.2015.2500572  0.54
2016 Horan V, Adachi S, Bak S. A comparison of approaches for finding minimum identifying codes on graphs Quantum Information Processing. 15: 1827-1848. DOI: 10.1007/S11128-016-1240-0  0.335
2015 Bak S, Huang Z, Abad FAT, Caccamo M. Safety and progress for distributed cyber-physical systems with unreliable communication Acm Transactions On Embedded Computing Systems. 14. DOI: 10.1145/2739046  0.516
2015 Bak S, Johnson TT, Caccamo M, Sha L. Real-time reachability for verified simplex design Proceedings - Real-Time Systems Symposium. 2015: 138-148. DOI: 10.1145/2723871  0.52
2013 Betti E, Bak S, Pellizzoni R, Caccamo M, Sha L. Real-time I/O management system with COTS peripherals Ieee Transactions On Computers. 62: 45-58. DOI: 10.1109/Tc.2011.202  0.502
2012 Yao G, Pellizzoni R, Bak S, Betti E, Caccamo M. Memory-centric scheduling for multicore hard real-time systems Real-Time Systems. 48: 681-715. DOI: 10.1007/S11241-012-9158-9  0.547
Show low-probability matches.