Michael Butler - Publications, H-index & Citations

Michael Butler

university of southampton

40H指数

435论文数

7.1K被引数

收录论文 7

发表时间

Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis 基于UML-B形式化分析为CHERI能力硬件开发安全异常恢复机制

RIGOROUS STATE-BASED METHODS, ABZ 2025

IF0

2026-01-01

PREAI

Snook, Colin; Fathabadi, Asieh Salehi; Hoang, Thai Son; Thorburn, Robert; Butler, Michael; Aniello, Leonardo; Sassone, Vladimiro

Overriding Innate Decomposition Temperatures of an Avibactam Prodrug Precursor Using Data Science-Guided Synthesis 使用数据科学指导的合成压倒阿维巴坦前药前体的先天分解温度

ORGANIC PROCESS RESEARCH & DEVELOPMENT

IF3.5

2024-04-10

PREAI

Werth, Jacob; Butler, Michael; Verghese, Jenson; Do, Nga M.; Samp, Lacey; Duzguner, Remzi; Buetti-Weekly, Michele T.

Short-term high fat diet consumption impairs learning and memory and increases CNS T cell populations in aged male rats

BRAIN BEHAVIOR AND IMMUNITY

IF7.6

2022-11-01

PREAI

Butler, Michael; Sengupta, Shouvonik; Deems, Nicholas; Amici, Stephanie; Guerau, Mireia; Barrientos, Ruth

DevFemOps: enhancing maintainability based on microservices using formal engineering methods

CONNECTION SCIENCE

IF3.4

2022-08-08

PREAI

Fukuzaki, Tetsuo; Liu, Shaoying; Butler, Michael

Domain-specific scenarios for refinement-based methods 基于细化的方法的特定领域场景

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2021-01-01

OAAI

Snook, Colin; Thai Son Hoang; Dghaym, Dana; Fathabadi, Asieh Salehi; Butler, Michael

A model-based framework for software portability and verification in embedded power management systems

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2018-01-01

OAAI

Fathabadi, Asieh Salehi; Butler, Michael J.; Yang, Sheng; Maeda-Nunez, Luis Alfonso; Bantock, James; Al-Hashimi, Bashir M.; Merrett, Geoff V.

UML-B: Formal modeling and design aided by UML

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2006-01-01

159

PREAI

Snook, C; Butler, M

研究方向