James Bret Michael - Publications, H-index & Citations

James Bret Michael

United States Navy

15H指数

111论文数

823被引数

收录论文 8

发表时间

Physics-Based Cyberattacks Against Electric Power Grids and Alternating Current Equipment 基于物理的针对电力电网和交流设备的网络攻击

COMPUTER

IF2.3

2025-10-01

PREAI

Weiss, Joseph; Michael, James Bret; Swearingen, Michael T.

Generative AI Regulation Is an Undecidable Problem 生成式AI监管是一个不可判定问题

COMPUTER

IF2.3

2025-10-01

PREAI

Drusinsky, Doron; Michael, James Bret

Discovering Decision Manifolds to Assure Trusted Autonomous Systems 发现决策流形以确保可信自主系统

ieee open journal of circuits and systems

IF4.4

2025-06-01

PREAI

Matthew Litton; Doron Drusinsky; James Bret Michael

End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software

ieee open journal of circuits and systems

IF4.4

2013-12-01

OAAI

Bergue Alves, Miriam C.; Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak

Flow-Specific Medium Access for Networked Satellite System

ieee open journal of circuits and systems

IF4.4

2011-09-01

PREAI

Walker, T. Owens, III; Tummala, Murali; McEachen, John; Michael, James Bret

Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety

ieee open journal of circuits and systems

IF4.4

2010-06-01

PREAI

Michael, James Bret; Shing, Man-Tak; Cruickshank, Kristian John; Redmond, Patrick James

A Visual Tradeoff Space for Formal Verification and Validation Techniques

ieee open journal of circuits and systems

IF4.4

2008-12-01

OAAI

Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak

Environment behavior models for automation of testing and assessment of system safety

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2006-10-01

OAAI

Auguston, Mikhail; Michael, James Bret; Shing, Man-Tak

研究方向