John R. Callahan

Publication Activity (10 Years)

Years Active: 1988-2019
Publications (10 Years): 1

Top Topics

Case Based Reasoning

Clustering Algorithm

Top Venues

Publications

John R. Callahan
The Future of Identity. IT Prof. 21 (3) (2019)
Steve Easterbrook, John R. Callahan, Virginie Wiels
V & V through Inconsistency Tracking and Analysis. IWSSD (1998)
Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann
Validating Requirements for Fault Tolerant Systems using Model Checking. ICRE (1998)
John R. Callahan, Reshma R. Khatsuriya, Randy Hefner
Web-Based Issue Tracking for Large Software-Projects. IEEE Internet Comput. 2 (5) (1998)
Steve M. Easterbrook, John R. Callahan
Formal methods for verification and validation of partial specifications: A case study. J. Syst. Softw. 40 (3) (1998)
Steve M. Easterbrook, John R. Callahan
Formal Methods for V&V of Partial Specifications: An Experience RSeport. RE (1997)
John R. Callahan, Todd L. Montgomery
An Approach to Verification and Validation of a Reliable Multicasting Protocol. ISSTA (1996)
Steve M. Easterbrook, John R. Callahan
Independent validation of specifications: a coordination headache. WETICE (1996)
John R. Callahan
Using Technology to Enable Collaboration: WET ICE '95. IEEE Expert 10 (4) (1995)
John R. Callahan, Todd L. Montgomery
A decentralized software bus based on IP multicasting. WETICE (1994)
George Almási, Aliasghar Babadi, W. Brandt, A. Butcher, John R. Callahan, K. J. Cleetus, M. E. Fotta, C. Gollapudy, N. Gradetsky, S. Iyer, Vasudevan Jagannathan, Raghu Karinthi, R. R. Lawson, D. M. Nichols, R. S. Raman, R. Shank, M. Sobolewski, Kankanahalli Srinivas, X. Zhang
Functional specifications for collaboration services. WETICE (1994)
John R. Callahan, James M. Purtilo
A Packaging System For Heterogeneous Execution Environments. IEEE Trans. Software Eng. 17 (6) (1991)
James M. Purtilo, John R. Callahan
Parse Tree Annotations. Commun. ACM 32 (12) (1989)
John R. Callahan, Don Hopkins, Mark D. Weiser, Ben Shneiderman
An empirical comparison of pie vs. linear menus. CHI (1988)