Travelled to:3 × USA
Collaborated with:S.M.Easterbrook T.L.Montgomery F.Schneider G.J.Holzmann
Talks about:valid (2) multicast (1) protocol (1) approach (1) reliabl (1) partial (1) system (1) specif (1) seport (1) requir (1)
Person: John R. Callahan
DBLP: Callahan:John_R=
Contributed to:
19981997
1996Wrote 3 papers:
- ICRE-1998-SchneiderECH #fault tolerance #model checking #requirements #using #validation
- Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
- RE-1997-EasterbrookC #experience #formal method #specification
- Formal Methods for V&V of Partial Specifications: An Experience RSeport (SME, JRC), pp. 160–168.
- ISSTA-1996-CallahanM #approach #multi #protocol #reliability #validation #verification
- An Approach to Verification and Validation of a Reliable Multicasting Protocol (JRC, TLM), pp. 187–194.