Edit Profile (opens in new tab) Mullen, Eric Co-Author Distance Author ID: mullen.eric Published as: Mullen, Eric; Mullen, E. Documents Indexed: 2 Publications since 2018 Co-Authors: 5 Co-Authors with 2 Joint Publications 42 Co-Co-Authors Co-Authors 0 single-authored 1 Derry, G. N. 1 Kumar, Ramana 1 Marcelino, K. A. 1 Myreen, Magnus O. 1 Tatlock, Zachary Serials 1 Communications in Nonlinear Science and Numerical Simulation Fields 1 Computer science (68-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Software verification with ITPs should use binary code extraction to reduce the TCB (short paper). Zbl 1511.68320 Kumar, Ramana; Mullen, Eric; Tatlock, Zachary; Myreen, Magnus O. 1 2018 Software verification with ITPs should use binary code extraction to reduce the TCB (short paper). Zbl 1511.68320 Kumar, Ramana; Mullen, Eric; Tatlock, Zachary; Myreen, Magnus O. 1 2018 Cited by 3 Authors 1 Heule, Marijn J. H. 1 Myreen, Magnus O. 1 Tan, Yong Kiam Cited in 0 Serials Cited in 1 Field 1 Computer science (68-XX) Citations by Year