Stanley Bak

Citada per

	Totes	Des de 2020
Citacions	4143	2741
Índex h	33	27
Índex i10	65	51

800

400

200

600

201020112012201320142015201620172018201920202021202220232024202511 33 45 66 81 149 186 224 256 316 289 366 525 713 791 51

Accés públic

Mostra-ho tot

47 articles

1 article

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityCorreu electrònic verificat a vanderbilt.edu
Marco CaccamoProfessor, Department of Mechanical Engineering, Technical University of Munich (TUM)Correu electrònic verificat a tum.de
Hoang-Dung TranUniversity of Nebraska at LincolnCorreu electrònic verificat a unl.edu
Rodolfo PellizzoniElectrical and Computer Engineering, University of WaterlooCorreu electrònic verificat a uwaterloo.ca
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityCorreu electrònic verificat a newcastle.ac.uk
Parasara Sridhar DuggiralaAssistant Professor of Computer Science and Engineering, University of North Carolina at Chapel HillCorreu electrònic verificat a cs.unc.edu
Niklas KochdumperPostdoctoral researcher at IRIF/Université Paris CitéCorreu electrònic verificat a tum.de
Emiliano BettiEpigenesys s.r.l.Correu electrònic verificat a linux.com
Lui ShaProfessor of Computer Sceince, University of IllinoisCorreu electrònic verificat a cs.uiuc.edu
Gang YaoUniversity of IllinoisCorreu electrònic verificat a illinois.edu
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenCorreu electrònic verificat a in.tum.de
Sayan MitraProfessor, ECE, University of Illinois at Urbana ChampaignCorreu electrònic verificat a illinois.edu
Sibin MohanGeorge Washington UniversityCorreu electrònic verificat a gwu.edu
Heechul YunUniversity of KansasCorreu electrònic verificat a ku.edu
Goran FrehseProfessor of Computer Science, ENSTA ParisCorreu electrònic verificat a ensta-paris.fr
Renato MancusoAssociate Professor, Boston UniversityCorreu electrònic verificat a bu.edu
Xin ChenUniversity of New MexicoCorreu electrònic verificat a unm.edu
Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
Fardin AbdiML @ StripeCorreu electrònic verificat a illinois.edu

Segueix

Stanley Bak

Stony Brook University

Correu electrònic verificat a stonybrook.edu - Pàgina d'inici

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


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	333	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	166	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	163	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	150	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	143	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	122	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
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	93	2023
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
nnenum: Verification of relu neural networks with optimized abstraction refinement S Bak NASA formal methods symposium, 19-36, 2021	83	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	70	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

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors