Mark G. Staskauskas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1995–1996
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FORTE | Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. | Samuel Huang, David Lee, Mark G. Staskauskas |
| 1996 | ISSTA | Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. | Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
| 1995 | ICSE | A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. | Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen |