John R. Callahan

According to our database, John R. Callahan authored at least 14 papers between 1988 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

The Future of Identity.

John R. Callahan

IT Prof., 2019

1998

Formal methods for verification and validation of partial specifications: A case study.

Steve M. Easterbrook, John R. Callahan

J. Syst. Softw., 1998

Web-Based Issue Tracking for Large Software-Projects.

John R. Callahan, Reshma R. Khatsuriya, Randy Hefner

IEEE Internet Comput., 1998

V & V through Inconsistency Tracking and Analysis.

Steve Easterbrook, John R. Callahan, Virginie Wiels

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

Validating Requirements for Fault Tolerant Systems using Model Checking.

Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997

Formal Methods for V&V of Partial Specifications: An Experience RSeport.

Steve M. Easterbrook, John R. Callahan

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

1996

Independent validation of specifications: a coordination headache.

Steve M. Easterbrook, John R. Callahan

Proceedings of the 5th Workshop on Enabling Technologies, 1996

An Approach to Verification and Validation of a Reliable Multicasting Protocol.

John R. Callahan, Todd L. Montgomery

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Using Technology to Enable Collaboration: WET ICE '95.

John R. Callahan

IEEE Expert, 1995

1994

A decentralized software bus based on IP multicasting.

John R. Callahan, Todd L. Montgomery

Proceedings of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994

Functional specifications for collaboration services.

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

Proceedings of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994

1991

A Packaging System For Heterogeneous Execution Environments.

John R. Callahan, James M. Purtilo

IEEE Trans. Software Eng., 1991

1989

Parse Tree Annotations.

James M. Purtilo, John R. Callahan

Commun. ACM, 1989

1988

An empirical comparison of pie vs. linear menus.

John R. Callahan, Don Hopkins, Mark D. Weiser, Ben Shneiderman

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1988