Követés
Stanley Bak
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
3652011
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
3292020
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
1712020
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
1642009
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
153*2013
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
1482020
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
1442017
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
1412012
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
1242021
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
1182015
Simulation-equivalent reachability of large linear systems with inputs
S Bak, PS Duggirala
International Conference on Computer Aided Verification, 401-420, 2017
1082017
Real-time reachability for verified simplex design
S Bak, TT Johnson, M Caccamo, L Sha
2014 IEEE Real-Time Systems Symposium, 138-148, 2014
972014
First three years of the international verification of neural networks competition (VNN-COMP)
C Brix, MN Müller, S Bak, TT Johnson, C Liu
International Journal on Software Tools for Technology Transfer 25 (3), 329-339, 2023
952023
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
922011
nnenum: Verification of relu neural networks with optimized abstraction refinement
S Bak
NASA formal methods symposium, 19-36, 2021
882021
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
752015
The third international verification of neural networks competition (vnn-comp 2022): summary and results
MN Müller, C Brix, S Bak, C Liu, TT Johnson
arXiv preprint arXiv:2212.10376, 2022
742022
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.
P Heidlauf, A Collins, M Bolender, S Bak
ARCH@ ADHS 54, 208-217, 2018
722018
Some improvements for the fast sweeping method
S Bak, J McLaughlin, D Renzi
SIAM Journal on Scientific Computing 32 (5), 2853-2874, 2010
722010
Design, implementation and evaluation of covert channel attacks
H Okhravi, S Bak, ST King
2010 IEEE international conference on technologies for homeland security …, 2010
692010
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20