Margaret Smith

Artificial Intelligence–Generated Draft Replies to Patient Inbox Messages

Patricia García, P. Stephen, Shreya Shah et al. · JAMA Network Open · 2024 · 223 citations · Full text

Computing, Health Informatics, Clinical Informatics +13

Software model checking: extracting verification models from source code†

Gerard J. Holzmann, Margaret Smith · Software Testing Verification and Reliability · 2001 · 167 citations

Computing, Computer Engineering, Computer Science +17

Ambient artificial intelligence scribes: physician burnout and perspectives on usability and documentation burden

Shreya Shah, Anna Devon-Sand, P. Stephen et al. · Journal of the American Medical Informatics Association · 2024 · 165 citations · Full text

Computing, Computer Science, Health Informatics +14

A practical method for verifying event-driven software

Gerard J. Holzmann, Margaret Smith · 1999 · 133 citations · Full text

Computing, Computer Systems, Method Validation +4

Automating software feature verification

Gerard J. Holzmann, Margaret Smith · Bell Labs Technical Journal · 2002 · 98 citations

Computing, Computer Science, Formal Methods +16