 | 1998 |
|---|
| 8 |       | Glenn Bruns,
Mark G. Staskauskas:
Applying Formal Methods to a Protocol Standard and its Implementations.
PDSE 1998: 198- |
| 1996 |
|---|
| 7 |  | Samuel Huang,
David Lee,
Mark G. Staskauskas:
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.
FORTE 1996: 403-418 |
| 6 | | Patrice Godefroid,
Doron Peled,
Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
ISSTA 1996: 261-269 |
| 5 | | Mark A. Ardis,
John A. Chaves,
Lalita Jategaonkar Jagadeesan,
Peter Mataga,
Carlos Puchol,
Mark G. Staskauskas,
James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
IEEE Trans. Software Eng. 22(6): 378-389 (1996) |
| 4 | | Patrice Godefroid,
Doron Peled,
Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
IEEE Trans. Software Eng. 22(7): 496-507 (1996) |
| 1995 |
|---|
| 3 | | Mark A. Ardis,
John A. Chaves,
Lalita Jategaonkar Jagadeesan,
Peter Mataga,
Carlos Puchol,
Mark G. Staskauskas,
James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.
ICSE 1995: 159-168 |
| 1993 |
|---|
| 2 | | Mark G. Staskauskas:
Formal Derivation of Concurrent Programs: An Example from Industry.
IEEE Trans. Software Eng. 19(5): 503-528 (1993) |
| 1988 |
|---|
| 1 | | Mark G. Staskauskas:
The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System.
IEEE Trans. Computers 37(12): 1515-1528 (1988) |
