Betty H. C. Cheng - Publications, H-index & Citations

Betty H. C. Cheng

michigan state university

46H指数

305论文数

9.9K被引数

收录论文 13

发表时间

SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios SavviDriver：基于模型的游戏化测试框架，用于在多样化多智能体交通场景中测试自动驾驶车辆

Software and Systems Modeling

IF3.2

2026-01-01

PREAI

Chan, Kenneth H.; Zilberman, Sol; Cheng, Betty H. C.

Worst Case Assurance Guarantees for Black-Box Perimeter Defense Policies 最坏情况保障保证用于黑盒周界防御策略

GAME THEORY AND AI FOR SECURITY, GAMESEC 2025, PT II

IF0

2026-01-01

PREAI

Frost, Richard; Cheng, Betty H. C.; Bopardikar, Shaunak D.

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems 以数据为中心的系统的模型驱动工程的搭便车指南

IEEE SOFTWARE

IF3

2021-07-01

OAAI

Combemale, Benoit; Kienzle, Jorg; Mussbacher, Gunter; Ali, Hyacinth; Amyot, Daniel; Bagherzadeh, Mojtaba; Batot, Edouard; Bencomo, Nelly; Benni, Benjamin; Bruel, Jean-Michel; Cabot, Jordi; Cheng, Betty H. C.; Collet, Philippe; Engels, Gregor; Heinrich, Robert; Jezequel, Jean-Marc; Koziolek, Anne; Mosser, Sebastien; Reussner, Ralf; Sahraoui, Houari; Saini, Rijul; Sallou, June; Stinckwich, Serge; Syriani, Eugene; Wimmer, Manuel

MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE

IF6.1

2020-08-01

OAAI

Jahan, Sharmin; Riley, Ian; Walter, Charles; Gamble, Rose F.; Pasco, Matt; McKinley, Philip K.; Cheng, Betty H. C.

Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2020-04-01

OAAI

Bowers, Kate M.; Fredericks, Erik M.; Hariri, Reihaneh H.; Cheng, Betty H. C.

Toward Model-Driven Sustainability Evaluation

COMMUNICATIONS OF THE ACM

IF12.2

2020-02-24

OAAI

Kienzle, Jorg; Mussbacher, Gunter; Combemale, Benoit; Bastin, Lucy; Bencomo, Nelly; Bruel, Jean-Michel; Becker, Christoph; Betz, Stefanie; Chitchyan, Ruzanna; Cheng, Betty H. C.; Klingert, Sonja; Paige, Richard F.; Penzenstadler, Birgit; Seyff, Norbert; Syriani, Eugene; Venters, Colin C.

AutoRELAX: automatically RELAXing a goal model to address uncertainty

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2014-03-12

PREAI

Fredericks, Erik M.; DeVries, Byron; Cheng, Betty H. C.

Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS

IF4.1

2010-03-05

PREAI

Ramirez, Andres J.; Knoester, David B.; Cheng, Betty H. C.; McKinley, Philip K.