Henry Hoffmann - Publications, H-index & Citations

Back

Henry Hoffmann

university of california berkeley

39H-index

192Paper Count

7.1KCitation Count

Published Papers 11

Publication Date

Keeper: Automated Testing and Fixing of Machine Learning Software-RCR Report

ACM Transactions on Software Engineering and Methodology

IF6.2

2026-02-01

PREAI

Wan, Chengcheng; Liu, Shicheng; Xie, Sophie; Liu, Yuhan; Maire, Michael; Hoffmann, Henry; Lu, Shan

Save

Keeper: Automated Testing and Fixing of Machine Learning Software

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-09-27

OAAI

Wan, Chengcheng; Li, Shicheng; Xie, Sophie; Liu, Yuhan; Hoffmann, Henry; Maire, Michael; Lu, Shan

Save

A Periodic Authentication Scheme for Safety/Security Co-Design on CAN Buses

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY

IF7.1

2024-04-01

PREAI

Zhang, Mingqing; Murthy, Dharshan Krishna; Parsch, Philip; Hoffmann, Henry; Kindt, Philipp H.; Masrur, Alejandro

Save

Neighborhood street activity and greenspace usage uniquely contribute to predicting crime

NPJ URBAN SUSTAINABILITY

IF8.8

2021-04-27

OAAI

Schertz, Kathryn E. E.; Saxon, James; Cardenas-Iniguez, Carlos; Bettencourt, Luis M. A.; Ding, Yi; Hoffmann, Henry; Berman, Marc G. G.

Save

Embodied Self-Aware Computing Systems

PROCEEDINGS OF THE IEEE

IF25.9

2020-07-01

OAAI

Hoffmann, Henry; Jantsch, Axel; Dutt, Nikil D.

Save

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures

IEEE OPEN JOURNAL OF THE COMPUTER SOCIETY

IF8.2

2020-01-01

OAAI

Bagchi, Saurabh; Aggarwal, Vaneet; Chaterji, Somali; Douglis, Fred; El Gamal, Aly; Han, Jiawei; Henz, Brian J.; Hoffmann, Henry; Jana, Suman; Kulkarni, Milind; Lin, Felix Xiaozhu; Marais, Karen; Mittal, Prateek; Mou, Shaoshuai; Qiu, Xiaokang; Scutari, Gesualdo

Save

Proteus: Language and Runtime Support for Self-Adaptive Software Development

IEEE SOFTWARE

IF3

2019-03-01

PREAI

Barati, Saeid; Bartha, Ferenc A.; Biswas, Swarnendu; Cartwright, Robert; Duracz, Adam; Fussell, Donald S.; Hoffmann, Henry; Imes, Connor; Miller, Jason E.; Mishra, Nikita; Arvind; Dung Nguyen; Palem, Krishna, V; Pei, Yan; Pingali, Keshav; Sai, Ryuichi; Wright, Andrew; Yang, Yao-Hsiang; Zhang, Sizhuo

Save

JouleGuard: Energy Guarantees for Approximate Applications

SOSP'15: PROCEEDINGS OF THE TWENTY-FIFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES

IF0

2015-10-04

PREAI

Hoffmann, Henry

Save

Power Optimization in Embedded Systems via Feedback Control of Resource Allocation

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

IF3.9

2013-01-01