Travelled to:2 × USA
Collaborated with:T.Ball S.Sagiv M.A.Ardis J.A.Chaves L.J.Jagadeesan C.Puchol M.G.Staskauskas J.V.Olnhausen
Talks about:profil (2) framework (1) showdown (1) reactiv (1) versus (1) system (1) specif (1) report (1) method (1) experi (1)
Person: Peter Mataga
DBLP: Mataga:Peter
Contributed to:
1998
1995Wrote 2 papers:
- POPL-1998-BallMS #profiling
- Edge Profiling versus Path Profiling: The Showdown (TB, PM, SS), pp. 134–148.
- ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification
- A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.