- Suresh Thummalapenta
- Pranavadatta Devaki
- et al.
- 2013
- ICSE 2013
- Shriram Rajagopalan
- Dan Williams
- et al.
- 2013
- SoCC 2013
- Yue Cheng
- Aayush Gupta
- et al.
- 2013
- SoCC 2013
- Patrick Stuedi
- Bernard Metzler
- et al.
- 2013
- SoCC 2013
- Xiaoen Ju
- Livio Soares
- et al.
- 2013
- SoCC 2013
- R. Barber
- Guy Lohman
- et al.
- 2013
- SoCC 2013
- Yoichi Taira
- Hidetoshi Numata
- 2013
- ECTC 2013
- Sung K. Kang
- Jaewon Chang
- et al.
- 2013
- ECTC 2013