Stanley Bak - Publications, H-index & Citations

Stanley Bak

University of Waterloo

30H指数

143论文数

2.5K被引数

收录论文 7

发表时间

Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes 使用多项式zonotopes对具有不确定参数的线性系统进行可达性分析

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2025-05-01

OAAI

Huang, Yushen; Luo, Ertai; Bak, Stanley; Sun, Yifan

Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis 通过可达性分析根据信号时序逻辑规范对线性时不变系统进行全自动验证

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2024-08-01

OAAI

Kochdumper, Niklas; Bak, Stanley

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets 使用可达集的内部和外部近似对线性系统进行全自动验证

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2023-12-01

OAAI

Wetzlinger, Mark; Kochdumper, Niklas; Bak, Stanley; Althoff, Matthias

Global Real-Time Memory-Centric Scheduling for Multicore Systems

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2016-09-01

PREAI

Yao, Gang; Pellizzoni, Rodolfo; Bak, Stanley; Yun, Heechul; Caccamo, Marco

Real-Time I/O Management System with COTS Peripherals

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2013-01-01

PREAI

Betti, Emiliano; Bak, Stanley; Pellizzoni, Rodolfo; Caccamo, Marco; Sha, Lui

A THIRD ORDER ACCURATE FAST MARCHING METHOD FOR THE EIKONAL EQUATION IN TWO DIMENSIONS 二维EIKONAL方程的三阶精确快速行进方法

SIAM JOURNAL ON SCIENTIFIC COMPUTING

IF2.6

2011-01-01

PREAI

Ahmed, Shahnawaz; Bak, Stanley; Mclaughlin, Joyce; Renzi, Daniel

SOME IMPROVEMENTS FOR THE FAST SWEEPING METHOD 快速扫描方法的一些改进

SIAM JOURNAL ON SCIENTIFIC COMPUTING

IF2.6

2010-01-01

PREAI

Bak, Stanley; McLaughlin, Joyce; Renzi, Daniel

研究方向