Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:M.B.Dwyer J.Hatcliff Robby V.P.Ranganath T.Wallentine
Talks about:model (3) framework (1) softwar (1) program (1) concurr (1) checker (1) reduct (1) orient (1) object (1) extens (1)
Person: Matthew Hoosier
DBLP: Hoosier:Matthew
Contributed to:
2006
2005Wrote 2 papers:
- TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #slicing #source code
- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.
- CAV-2005-DwyerHHR #framework #model checking #using
- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework (MBD, JH, MH, R), pp. 148–152.