John R. Callahan

14 papers A* 1A 2C 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2019 J jnl
The Future of Identity.
IT Prof.
John R. Callahan
1998 J jnl
Formal methods for verification and validation of partial specifications: A case study.
J. Syst. Softw.
Steve M. Easterbrook, John R. Callahan
1998 — conf
V & V through Inconsistency Tracking and Analysis.
IWSSD
Steve Easterbrook, John R. Callahan, Virginie Wiels
1998 — conf
Validating Requirements for Fault Tolerant Systems using Model Checking.
ICRE
Francis Schneider, Steve M. Easterbrook, John R. Callahan, Gerard J. Holzmann
1998 J jnl
Web-Based Issue Tracking for Large Software-Projects.
IEEE Internet Comput.
John R. Callahan, Reshma R. Khatsuriya, Randy Hefner
1997 A conf
Formal Methods for V&V of Partial Specifications: An Experience RSeport.
RE
Steve M. Easterbrook, John R. Callahan
1996 A conf
An Approach to Verification and Validation of a Reliable Multicasting Protocol.
ISSTA
John R. Callahan, Todd L. Montgomery
1996 C conf
Independent validation of specifications: a coordination headache.
WETICE
Steve M. Easterbrook, John R. Callahan
1995 J jnl
Using Technology to Enable Collaboration: WET ICE '95.
IEEE Expert
John R. Callahan
1994 C conf
A decentralized software bus based on IP multicasting.
WETICE
John R. Callahan, Todd L. Montgomery
1994 C conf
Functional specifications for collaboration services.
WETICE
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
1991 J jnl
A Packaging System For Heterogeneous Execution Environments.
IEEE Trans. Software Eng.
John R. Callahan, James M. Purtilo
1989 J jnl
Parse Tree Annotations.
Commun. ACM
James M. Purtilo, John R. Callahan
1988 A* conf
An empirical comparison of pie vs. linear menus.
CHI
John R. Callahan, Don Hopkins, Mark D. Weiser, Ben Shneiderman