Travelled to:1 × China
1 × Czech Republic
1 × Finland
1 × Spain
1 × USA
Collaborated with:J.R.Kiniry R.Hyland F.Fairmichael K.M.Chandy L.Tian A.Granicz J.Hickey
Talks about:test (2) enterpris (1) librari (1) instant (1) gradeif (1) factori (1) conform (1) verifi (1) toward (1) system (1)
Person: Daniel M. Zimmerman
DBLP: Zimmerman:Daniel_M=
Contributed to:
2012
2011
2008
2006
2003Wrote 5 papers:
- TAP-2012-KiniryZH #consistency #library #specification #testing #verification
- Testing Library Specifications by Verifying Conformance Tests (JRK, DMZ, RH), pp. 51–66.
- CSEET-2011-ZimmermanKF #towards
- Toward instant gradeification (DMZ, JRK, FF), pp. 406–410.
- FM-2008-KiniryZ #formal method
- Secret Ninja Formal Methods (JRK, DMZ), pp. 214–228.
- EDOC-2006-ChandyTZ #enterprise
- Enterprise Computing Systems as Information Factories (KMC, LT, DMZ), pp. 427–432.
- RTA-2003-GraniczZH
- Rewriting UNITY (AG, DMZ, JH), pp. 138–147.