Automated software testing using model-checking J Callahan, F Schneider, S Easterbrook Proceedings 1996 SPIN workshop 353, 1996 | 169 | 1996 |
Validating requirements for fault tolerant systems using model checking F Schneider, SM Easterbrook, JR Callahan, GJ Holzmann Proceedings of IEEE International Symposium on Requirements Engineering: RE …, 1998 | 134 | 1998 |
System and method for biometric protocol standards JR Callahan, A Othman US Patent 11,329,980, 2022 | 109 | 2022 |
A packaging system for heterogeneous execution environments JR Callahan, JM Purtilo IEEE Transactions on Software Engineering 17 (6), 626-635, 1991 | 102 | 1991 |
Formal methods for verification and validation of partial specifications: A case study S Easterbrook, J Callahan Journal of Systems and Software 40 (3), 199-210, 1998 | 95 | 1998 |
The horcrux protocol: a method for decentralized biometric-based self-sovereign identity A Othman, J Callahan 2018 international joint conference on neural networks (IJCNN), 1-7, 2018 | 86 | 2018 |
Parse tree annotations JJ Purtilo, JR Callahan Communications of the ACM 32 (12), 1467-1477, 1989 | 56 | 1989 |
Specification-based testing using model checking J Callahan, F Schneider, S Easterbrook Proceedings of the SPIN Workshop, 1996 | 45 | 1996 |
Generating test oracles via model checking JR Callahan, SM Easterbrook, TL Montgomery Technique Report, NASA/WVU Software Research Lab, 1998 | 35 | 1998 |
V&V through inconsistency tracking and analysis S Easterbrook, J Callahan, V Wiels Proceedings Ninth International Workshop on Software Specification and …, 1998 | 24 | 1998 |
An approach to verification and validation of a reliable multicasting protocol JR Callahan, TL Montgomery ACM SIGSOFT Software Engineering Notes 21 (3), 187-194, 1996 | 24 | 1996 |
Software project management and measurement on the World-Wide-Web (WWW) J Callahan, S Ramakrishnan Proceedings of WET ICE'96. IEEE 5th Workshop on Enabling Technologies …, 1996 | 23 | 1996 |
Software packaging JR Callahan University of Maryland, College Park, 1993 | 22 | 1993 |
Towards developing verifiable neural network controller W Wen, J Callahan, M Napolitano Department of Aerospace Engineering, NASA/WVU Software Research Laboratory, 1996 | 20 | 1996 |
Experience in developing system requirements specification for a sensor failure detection and identification scheme D Del Gobbo, M Napolitano, J Callahan, B Cukic Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998 | 14 | 1998 |
Web-based issue tracking for large software projects JR Callahan, RR Khatsuriya, R Hefner IEEE Internet Computing 2 (5), 25-33, 1998 | 14 | 1998 |
Independent Validation of Specifications: A coordination headache S Easterbrook, J Callahan Proceedings of WET ICE'96. IEEE 5th Workshop on Enabling Technologies …, 1996 | 12 | 1996 |
A process improvement model for software verification and validation J Callahan, G Sabolish NASA. Goddard Space Flight Center, Proceedings of the 19th Annual Software …, 1994 | 10 | 1994 |
Using biometrics to fight credential fraud D Hardman, L Harchandani, A Othman, J Callahan IEEE Communications Standards Magazine 3 (4), 39-45, 2019 | 9 | 2019 |
A protocol for decentralized biometric-based self-sovereign identity ecosystem A Othman, J Callahan Securing Social Identity in Mobile Platforms: Technologies for Security …, 2020 | 8 | 2020 |