Mark G. Staskauskas

According to our database, Mark G. Staskauskas authored at least 9 papers between 1988 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Applying Formal Methods to a Protocol Standard and its Implementations.

Glenn Bruns, Mark G. Staskauskas

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

1997

The virtual finite-state machine design and implementation paradigm.

Alan R. Flora-Holmquist, Edward Morton, James D. O'Grady, Mark G. Staskauskas

Bell Labs Tech. J., 1997

1996

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.

Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas

IEEE Trans. Software Eng., 1996

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

IEEE Trans. Software Eng., 1996

Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.

Samuel Huang, David Lee, Mark G. Staskauskas

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Experiences in applying formal methods to the analysis of software and system requirements.

David Hamilton, Richard Covington, John Kelly, Carron Kirkwood, Muffy Thomas, Alan R. Flora-Holmquist, Mark G. Staskauskas, Steven P. Miller, Mandayam K. Srivas, George Cleland, Donald MacKenzie

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Formal validation of virtual finite state machines.

Alan R. Flora-Holmquist, Mark G. Staskauskas

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

1993

Formal Derivation of Concurrent Programs: An Example from Industry.

Mark G. Staskauskas

IEEE Trans. Software Eng., 1993

1988

The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System.

Mark G. Staskauskas

IEEE Trans. Computers, 1988