Travelled to:1 × France
1 × Italy
Collaborated with:D.Alrajeh F.Toni C.Cadar A.Hadad M.Williams
Talks about:composit (1) argument (1) softwar (1) specif (1) repair (1) effici (1) detect (1) medic (1) error (1) decis (1)
Person: Robert Craven
DBLP: Craven:Robert
Contributed to:
2014
2012Wrote 2 papers:
- SEFM-2014-AlrajehC #automation #composition #detection #specification
- Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
- KR-2012-CravenTCHW #performance
- Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).