Travelled to:
1 × Canada
1 × USA
Collaborated with:
J.Regehr
Talks about:
interrupt (1) transfer (1) overload (1) function (1) abstract (1) softwar (1) prevent (1) analyz (1) embed (1) deriv (1)
Person: Usit Duongsaa
DBLP: Duongsaa:Usit
Contributed to:
Wrote 2 papers:
- LCTES-2006-RegehrD #embedded
- Deriving abstract transfer functions for analyzing embedded software (JR, UD), pp. 34–43.
- LCTES-2005-RegehrD
- Preventing interrupt overload (JR, UD), pp. 50–58.