| 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 | 131 | 1998 |
| System and method for biometric protocol standards JR Callahan, A Othman US Patent 11,329,980, 2022 | 115 | 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 | 87 | 2018 |
| Parse tree annotations JJ Purtilo, JR Callahan Communications of the ACM 32 (12), 1467-1477, 1989 | 55 | 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 | 34 | 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 |
| 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 |
| 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 | 23 | 1996 |
| Towards developing verifiable neural network controller W Wen, J Callahan, M Napolitano Department of Aerospace Engineering, NASA/WVU Software Research Laboratory …, 1996 | 21 | 1996 |
| Software packaging JR Callahan University of Maryland, College Park, 1993 | 20 | 1993 |
| 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 |
| A protocol for decentralized biometric-based self-sovereign identity ecosystem A Othman, J Callahan Securing Social Identity in Mobile Platforms: Technologies for Security …, 2020 | 9 | 2020 |
| Software risk management through independent verification and validation JR Callahan, TC Zhou, R Wood International Conference on Software Quality, American Society for Quality …, 1995 | 9 | 1995 |
