Stanley Bak - Concepedia

Author

Stanley Bak

University of Illinois Urbana-Champaign ORCID

Also Known As

Bak, Stanley, S. Bak, Stanley Bak

143

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

University of Illinois Urbana-Champaign United States Air Force Research Laboratory Stony Brook University The University of Texas at Arlington Vanderbilt University

About

Stanley Bak is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	26	37	1.7K
2	Computer Engineering	23	29	1.5K
3	Computer Science	23	32	1.5K
4	Social Sciences	2	2	67
5	Business	1	1	46

Stanley Bak

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
A Predictable Execution Model for COTS-Based Embedded Systems Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak, Safety-critical Real-time SystemsEngineeringComputer ArchitectureSoftware EngineeringEmbedded Systems	2011	247
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, EngineeringHardware Verification LanguageComputer ArchitectureSystem-level DesignEmbedded Systems	2009	126
HyLAA Stanley Bak, Parasara Sridhar Duggirala Reachability AnalysisEngineeringReachability ProblemPresent HylaaAerospace Engineering	2017	97
S3A Sibin Mohan, Stanley Bak, Emiliano Betti, Cyber Physical SystemsSafety-critical Cyber-physical SystemsOperating SystemsEngineeringInformation Security	2013	94
Memory-centric scheduling for multicore hard real-time systems Gang Yao, Rodolfo Pellizzoni, Stanley Bak, Real-Time Systems Memory-centric SchedulingEngineeringReal-time AlgorithmReal-time Multiprocessor SystemComputer Engineering	2012	88
Sandboxing Controllers for Cyber-Physical Systems Stanley Bak, Karthik Manamcheri, Sayan Mitra, EngineeringVerificationIndustrial Control SystemSoftware AnalysisFormal Verification	2011	75
HYST Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson EngineeringVerificationHybrid Source TransformerSoftware EngineeringModel Checking	2015	67
Real-Time Reachability for Verified Simplex Design Stanley Bak, Taylor T. Johnson, Marco Caccamo, Reachability AnalysisSimplex ArchitectureEngineeringReachability ProblemVerification	2014	65
Some Improvements for the Fast Sweeping Method Stanley Bak, Joyce R. McLaughlin, Daniel Renzi SIAM Journal on Scientific Computing Numerical AnalysisMathematical ProgrammingEngineeringComputational ComplexityFast Sweeping Method	2010	55
First three years of the international verification of neural networks competition (VNN-COMP) Christopher Brix, Mark Niklas Müller, Stanley Bak, International Journal on Software Tools for Technology Transfer Artificial IntelligenceEngineeringMachine LearningNeural Networks (Machine Learning)International Verification	2023	55

Page 1