Travelled to:1 × India
2 × USA
Collaborated with:M.D.Ernst K.Donohue F.Coward W.Dietl S.Dietzel K.Muslu
Talks about:specif (2) pluggabl (1) contract (1) checker (1) barrier (1) verifi (1) write (1) studi (1) reduc (1) build (1)
Person: Todd W. Schiller
DBLP: Schiller:Todd_W=
Contributed to:
2014
20122011Wrote 3 papers:
- ICSE-2014-SchillerDCE #case study #contract #specification #tool support
- Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
- OOPSLA-2012-SchillerE #specification
- Reducing the barriers to writing verified specifications (TWS, MDE), pp. 95–112.
- ICSE-2011-DietlDEMS #using
- Building and using pluggable type-checkers (WD, SD, MDE, KM, TWS), pp. 681–690.