Mark G. Staskauskas

11 papers A* 1A 1C 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
1998 — conf
Applying Formal Methods to a Protocol Standard and its Implementations.
PDSE
Glenn Bruns, Mark G. Staskauskas
1997 J jnl
The virtual finite-state machine design and implementation paradigm.
Bell Labs Tech. J.
Alan R. Flora-Holmquist, Edward Morton, James D. O'Grady, Mark G. Staskauskas
1996 J jnl
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report.
IEEE Trans. Software Eng.
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
1996 A conf
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
ISSTA
Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
1996 J jnl
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
IEEE Trans. Software Eng.
Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
1996 C conf
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.
FORTE
Samuel Huang, David Lee, Mark G. Staskauskas
1995 A* conf
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.
ICSE
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen
1995 — conf
Experiences in applying formal methods to the analysis of software and system requirements.
WIFT
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
1995 — conf
Formal validation of virtual finite state machines.
WIFT
Alan R. Flora-Holmquist, Mark G. Staskauskas
1993 J jnl
Formal Derivation of Concurrent Programs: An Example from Industry.
IEEE Trans. Software Eng.
Mark G. Staskauskas
1988 J jnl
The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System.
IEEE Trans. Computers
Mark G. Staskauskas