フォロー
John Callahan
John Callahan
所属不明
確認したメール アドレス: acm.org
タイトル
引用先
引用先
Automated software testing using model-checking
J Callahan, F Schneider, S Easterbrook
Proceedings 1996 SPIN workshop 353, 1996
1691996
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
1341998
System and method for biometric protocol standards
JR Callahan, A Othman
US Patent 11,329,980, 2022
1092022
A packaging system for heterogeneous execution environments
JR Callahan, JM Purtilo
IEEE Transactions on Software Engineering 17 (6), 626-635, 1991
1021991
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
951998
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
862018
Parse tree annotations
JJ Purtilo, JR Callahan
Communications of the ACM 32 (12), 1467-1477, 1989
561989
Specification-based testing using model checking
J Callahan, F Schneider, S Easterbrook
Proceedings of the SPIN Workshop, 1996
451996
Generating test oracles via model checking
JR Callahan, SM Easterbrook, TL Montgomery
Technique Report, NASA/WVU Software Research Lab, 1998
351998
V&V through inconsistency tracking and analysis
S Easterbrook, J Callahan, V Wiels
Proceedings Ninth International Workshop on Software Specification and …, 1998
241998
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
241996
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
231996
Software packaging
JR Callahan
University of Maryland, College Park, 1993
221993
Towards developing verifiable neural network controller
W Wen, J Callahan, M Napolitano
Department of Aerospace Engineering, NASA/WVU Software Research Laboratory, 1996
201996
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
141998
Web-based issue tracking for large software projects
JR Callahan, RR Khatsuriya, R Hefner
IEEE Internet Computing 2 (5), 25-33, 1998
141998
Independent Validation of Specifications: A coordination headache
S Easterbrook, J Callahan
Proceedings of WET ICE'96. IEEE 5th Workshop on Enabling Technologies …, 1996
121996
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
101994
Using biometrics to fight credential fraud
D Hardman, L Harchandani, A Othman, J Callahan
IEEE Communications Standards Magazine 3 (4), 39-45, 2019
92019
A protocol for decentralized biometric-based self-sovereign identity ecosystem
A Othman, J Callahan
Securing Social Identity in Mobile Platforms: Technologies for Security …, 2020
82020
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20