BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Staskauskas:Mark_G=

Contributed to:

ISSTA 19961996
ICSE 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.