Travelled to:1 × China
1 × Korea
1 × Spain
Collaborated with:J.P.Bowen J.L.Rash W.Truszkowski Y.Dai M.Madhusoodan C.Rouff A.Vanderbilt
Talks about:system (2) method (2) formal (2) properti (1) behavior (1) predict (1) nervous (1) mission (1) autonom (1) bionic (1)
Person: Michael G. Hinchey
DBLP: Hinchey:Michael_G=
Contributed to:
2007
2004
1994Wrote 3 papers:
- SAC-2007-HincheyDRTM #self
- Bionic autonomic nervous system and self-healing for NASA ANTS-like missions (MGH, YSD, JLR, WT, MM), pp. 90–96.
- SEFM-2004-RouffVHTR #behaviour #formal method #predict
- Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems (CR, AV, MGH, WT, JLR), pp. 24–33.
- FME-1994-BowenH #formal method
- Seven More Myths of Formal Methods (JPB, MGH), pp. 105–117.