| A predictable execution model for COTS-based embedded systems R Pellizzoni, E Betti, S Bak, G Yao, J Criswell, M Caccamo, R Kegley 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 338 | 2011 |
| NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems HD Tran, X Yang, D Manzanas Lopez, P Musau, LV Nguyen, W Xiang, ... International Conference on Computer Aided Verification, 3-17, 2020 | 223 | 2020 |
| The system-level simplex architecture for improved real-time embedded system safety S Bak, DK Chivukula, O Adekunle, M Sun, M Caccamo, L Sha 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2009 | 152 | 2009 |
| S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems S Mohan, S Bak, E Betti, H Yun, L Sha, M Caccamo Proceedings of the 2nd ACM international conference on High confidence …, 2013 | 144* | 2013 |
| Memory-centric scheduling for multicore hard real-time systems G Yao, R Pellizzoni, S Bak, E Betti, M Caccamo Real-Time Systems 48, 681-715, 2012 | 132 | 2012 |
| Hylaa: A tool for computing simulation-equivalent reachability for linear systems S Bak, PS Duggirala Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 122 | 2017 |
| HYST: a source transformation and translation tool for hybrid automaton models S Bak, S Bogomolov, TT Johnson Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 116 | 2015 |
| Verification of deep convolutional neural networks using imagestars HD Tran, S Bak, W Xiang, TT Johnson International conference on computer aided verification, 18-42, 2020 | 112 | 2020 |
| Improved geometric path enumeration for verifying relu neural networks S Bak, HD Tran, K Hobbs, TT Johnson Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 95 | 2020 |
| Simulation-equivalent reachability of large linear systems with inputs S Bak, PS Duggirala International Conference on Computer Aided Verification, 401-420, 2017 | 88 | 2017 |
| The second international verification of neural networks competition (vnn-comp 2021): Summary and results S Bak, C Liu, T Johnson arXiv preprint arXiv:2109.00498, 2021 | 87 | 2021 |
| Real-time reachability for verified simplex design S Bak, TT Johnson, M Caccamo, L Sha 2014 IEEE Real-Time Systems Symposium, 138-148, 2014 | 86 | 2014 |
| Sandboxing controllers for cyber-physical systems S Bak, K Manamcheri, S Mitra, M Caccamo 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 3-12, 2011 | 85 | 2011 |
| Global real-time memory-centric scheduling for multicore systems G Yao, R Pellizzoni, S Bak, H Yun, M Caccamo IEEE Transactions on Computers 65 (9), 2739-2751, 2015 | 67 | 2015 |
| Some improvements for the fast sweeping method S Bak, J McLaughlin, D Renzi SIAM Journal on Scientific Computing 32 (5), 2853-2874, 2010 | 64 | 2010 |
| A generalized model for preventing information leakage in hard real-time systems R Pellizzoni, N Paryab, MK Yoon, S Bak, S Mohan, RB Bobba 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 271-282, 2015 | 60 | 2015 |
| Memory-aware scheduling of multicore task sets for real-time systems S Bak, G Yao, R Pellizzoni, M Caccamo 2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012 | 58 | 2012 |
| Design, implementation and evaluation of covert channel attacks H Okhravi, S Bak, ST King 2010 IEEE international conference on technologies for homeland security …, 2010 | 58 | 2010 |
| A step towards verification and synthesis from Simulink/Stateflow models K Manamcheri, S Mitra, S Bak, M Caccamo Proceedings of the 14th international conference on Hybrid systems …, 2011 | 56 | 2011 |
| Numerical verification of affine systems with up to a billion dimensions S Bak, HD Tran, TT Johnson Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 49 | 2019 |
Taylor T JohnsonAssociate Professor, Electrical Engineering and Computer Science (EECS), Vanderbilt UniversityVerified email at vanderbilt.edu
