Stanley Bak

Citado por

	Total	Desde 2020
Citas	4128	2728
Índice h	33	27
Índice i10	65	51

800

400

200

600

201020112012201320142015201620172018201920202021202220232024202511 33 45 66 81 149 186 224 256 316 289 366 526 708 790 44

Acceso público

Ver todo

47 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityDirección de correo verificada de vanderbilt.edu
Marco CaccamoProfessor, Department of Mechanical Engineering, Technical University of Munich (TUM)Dirección de correo verificada de tum.de
Hoang-Dung TranUniversity of Nebraska at LincolnDirección de correo verificada de unl.edu
Rodolfo PellizzoniElectrical and Computer Engineering, University of WaterlooDirección de correo verificada de uwaterloo.ca
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityDirección de correo verificada de newcastle.ac.uk
Niklas KochdumperPostdoctoral researcher at IRIF/Université Paris CitéDirección de correo verificada de tum.de
Parasara Sridhar DuggiralaAssistant Professor of Computer Science and Engineering, University of North Carolina at Chapel HillDirección de correo verificada de cs.unc.edu
Emiliano BettiEpigenesys s.r.l.Dirección de correo verificada de linux.com
Lui ShaProfessor of Computer Sceince, University of IllinoisDirección de correo verificada de cs.uiuc.edu
Gang YaoUniversity of IllinoisDirección de correo verificada de illinois.edu
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenDirección de correo verificada de in.tum.de
Sayan MitraProfessor, ECE, University of Illinois at Urbana ChampaignDirección de correo verificada de illinois.edu
Sibin MohanGeorge Washington UniversityDirección de correo verificada de gwu.edu
Heechul YunUniversity of KansasDirección de correo verificada de ku.edu
Goran FrehseProfessor of Computer Science, ENSTA ParisDirección de correo verificada de ensta-paris.fr
Renato MancusoAssociate Professor, Boston UniversityDirección de correo verificada de bu.edu
Xin ChenUniversity of New MexicoDirección de correo verificada de unm.edu
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Fardin AbdiML @ StripeDirección de correo verificada de illinois.edu

Seguir

Stanley Bak

Stony Brook University

Dirección de correo verificada de stonybrook.edu - Página principal

Autonomy Formal Verification Cyber-Physical Systems Neural Network Verification Hybrid Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Añ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	384	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	331	2020
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	165	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	162	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	154*	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	149	2020
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	142	2017
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	142	2012
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	126	2021
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	121	2015
Simulation-equivalent reachability of large linear systems with inputs S Bak, PS Duggirala International Conference on Computer Aided Verification, 401-420, 2017	104	2017
Real-time reachability for verified simplex design S Bak, TT Johnson, M Caccamo, L Sha 2014 IEEE Real-Time Systems Symposium, 138-148, 2014	97	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	93	2011
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	91	2023
nnenum: Verification of relu neural networks with optimized abstraction refinement S Bak NASA formal methods symposium, 19-36, 2021	82	2021
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	75	2015
Some improvements for the fast sweeping method S Bak, J McLaughlin, D Renzi SIAM Journal on Scientific Computing 32 (5), 2853-2874, 2010	73	2010
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	72	2022
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. P Heidlauf, A Collins, M Bolender, S Bak ARCH@ ADHS, 208-217, 2018	69	2018
Design, implementation and evaluation of covert channel attacks H Okhravi, S Bak, ST King 2010 IEEE international conference on technologies for homeland security …, 2010	66	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores