Stanley Bak
Stanley Bak
Senior Research Scientist - Safesky Analytics
Dirección de correo verificada de safeskyanalytics.com - Página principal
TítuloCitado porAño
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
1932011
Memory-centric scheduling for multicore hard real-time systems
G Yao, R Pellizzoni, S Bak, E Betti, M Caccamo
Real-Time Systems 48 (6), 681-715, 2012
812012
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
802009
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
752015
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
732013
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
542017
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
522011
Some improvements for the fast sweeping method
S Bak, J McLaughlin, D Renzi
SIAM Journal on Scientific Computing 32 (5), 2853-2874, 2010
502010
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
482011
Real-time reachability for verified simplex design
S Bak, TT Johnson, M Caccamo, L Sha
2014 IEEE Real-Time Systems Symposium, 138-148, 2014
432014
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
372012
Design, implementation and evaluation of covert channel attacks
H Okhravi, S Bak, ST King
2010 IEEE International Conference on Technologies for Homeland Security …, 2010
352010
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
342015
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
292015
On-chip control flow integrity check for real time embedded systems
FAT Abad, J Van Der Woude, Y Lu, S Bak, M Caccamo, L Sha, ...
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks …, 2013
292013
Real-time control of I/O COTS peripherals for embedded systems
S Bak, E Betti, R Pellizzoni, M Caccamo, L Sha
2009 30th IEEE Real-Time Systems Symposium, 193-203, 2009
282009
Simulation-equivalent reachability of large linear systems with inputs
S Bak, PS Duggirala
International Conference on Computer Aided Verification, 401-420, 2017
272017
Real-time i/o management system with COTS peripherals
E Betti, S Bak, R Pellizzoni, M Caccamo, L Sha
IEEE Transactions on Computers 62 (1), 45-58, 2011
252011
Scalable static hybridization methods for analysis of nonlinear systems
S Bak, S Bogomolov, TA Henzinger, TT Johnson, P Prakash
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
232016
S3a: secure system simplex architecture for enhanced security of cyber-physical systems
S Mohan, S Bak, E Betti, H Yun, L Sha, M Caccamo
arXiv preprint arXiv:1202.5722, 2012
222012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20