Search the dblp DataBase

Publications of Author

1. Samuel Huang, David Lee, Mark G. Staskauskas
   Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. [Citation Graph (0, 0)][DBLP]
   FORTE, 1996, pp:403-418 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   ICSE, 1995, pp:159-168 [Conf]
   
3. Patrice Godefroid, Doron Peled, Mark G. Staskauskas
   Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   ISSTA, 1996, pp:261-269 [Conf]
   
4. Glenn Bruns, Mark G. Staskauskas
   Applying Formal Methods to a Protocol Standard and its Implementations. [Citation Graph (0, 0)][DBLP]
   PDSE, 1998, pp:198-0 [Conf]
   
5. Mark G. Staskauskas
   The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Computers, 1988, v:37, n:12, pp:1515-1528 [Journal]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:6, pp:378-389 [Journal]
   
7. Patrice Godefroid, Doron Peled, Mark G. Staskauskas
   Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1996, v:22, n:7, pp:496-507 [Journal]
   
8. Mark G. Staskauskas
   Formal Derivation of Concurrent Programs: An Example from Industry. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:5, pp:503-528 [Journal]