Concepedia

Stanley Bak

SB

45

Publications

1.9K

Citations

27

H-Index

2009

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

United States Air Force Research Laboratory

Stony Brook University

The University of Texas at Arlington

Vanderbilt University

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

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal VerificationVerificationFormal MethodsReal-time SystemsSystem SoftwareAutomation

Publications per year

2009–2024

45

Publications

45

A Predictable Execution Model for COTS-Based Embedded Systems

Rodolfo Pellizzoni, Emiliano Betti, Stanley Bak et al. · 2011 · 247 citations

Safety-critical Real-time Systems, Engineering, Computer Architecture +22

The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety

Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle et al. · 2009 · 126 citations

Engineering, Hardware Verification Language, Computer Architecture +23

HyLAA

Stanley Bak, Parasara Sridhar Duggirala · 2017 · 97 citations

Reachability Analysis, Engineering, Reachability Problem +11

S3A

Sibin Mohan, Stanley Bak, Emiliano Betti et al. · 2013 · 94 citations

Cyber Physical Systems, Safety-critical Cyber-physical Systems, Operating Systems +15

Memory-centric scheduling for multicore hard real-time systems

Gang Yao, Rodolfo Pellizzoni, Stanley Bak et al. · Real-Time Systems · 2012 · 88 citations

Memory-centric Scheduling, Engineering, Real-time Algorithm +8

Rows per page

1–5 of 45