By Dr Hammond Pearce

Preprints

Pearce H; Tan B; Karri R, 2020, DAVE: Deriving Automatically Verilog from English, http://dx.doi.org/10.1145/3380446.3430634

Pearce H; Yang X; Roop PS; Katzef M; Strøm TB, 2020, Designing Neural Networks for Real-Time Systems, http://dx.doi.org/10.1109/LES.2020.3009910

Other

Pinisetty S; Allen N; Pearce H; Trew M; Gaur MS; Roop P, 2022, Formal Methods for the Security of Medical Devices1, http://dx.doi.org/10.1002/9781119743187.ch3

Back to profile page