Travelled to:1 × Austria
Collaborated with:L.Pike A.Goodloe
Talks about:protocol (2) parameter (1) haskel (1) experi (1) biphas (1) verif (1) embed (1) time (1) test (1) roll (1)
Person: Geoffrey M. Brown
DBLP: Brown:Geoffrey_M=
Contributed to:
2006
2009Wrote 2 papers:
- TACAS-2006-BrownP #protocol #verification
- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols (GMB, LP), pp. 58–72.
- Haskell-2009-PikeBG #embedded #experience #haskell #protocol #realtime
- Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.