Travelled to:2 × USA
Collaborated with:P.Godefroid D.Peled M.A.Ardis J.A.Chaves L.J.Jagadeesan P.Mataga C.Puchol J.V.Olnhausen
Talks about:method (2) framework (1) industri (1) reactiv (1) program (1) partial (1) concurr (1) system (1) specif (1) report (1)
Person: Mark G. Staskauskas
DBLP: Staskauskas:Mark_G=
Contributed to:
1996
1995Wrote 2 papers:
- ISSTA-1996-GodefroidPS #concurrent #industrial #partial order #source code #using #validation
- Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs (PG, DP, MGS), pp. 261–269.
- 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.