☰

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/13 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
Low-probability matches (unlikely to be authored by this person)
2010 Bak S, Mclaughlin J, Renzi D. Some improvements for the fast sweeping method Siam Journal On Scientific Computing. 32: 2853-2874. DOI: 10.1137/090749645  0.294
2011 Ahmed S, Bak S, McLaughlin J, Renzi D. A Third Order Accurate Fast Marching Method for the Eikonal Equation in Two Dimensions Siam Journal On Scientific Computing. 33: 2402-2420. DOI: 10.1137/10080258X  0.261
Hide low-probability matches.