Travelled to:1 × Austria
1 × The Netherlands
1 × USA
Collaborated with:R.Cleaveland S.A.Smolka J.Eifrig S.F.Smith V.Trifonov
Talks about:theori (2) test (2) probabilist (1) integragt (1) preorder (1) process (1) applic (1) state (1) decid (1) type (1)
Person: Amy E. Zwarico
DBLP: Zwarico:Amy_E=
Contributed to:
1994
1992
1991Wrote 3 papers:
- OOPSLA-1994-EifrigSTZ #decidability #object-oriented #type system
- Application of OOP Type Theory: State, Decidability, Integragtion (JE, SFS, VT, AEZ), pp. 16–30.
- ICALP-1992-CleavelandSZ #probability #process #testing
- Testing Preorders for Probabilistic Processes (RC, SAS, AEZ), pp. 708–719.
- LICS-1991-CleavelandZ #formal method #realtime #testing
- A Theory of Testing for Real-Time (RC, AEZ), pp. 110–119.