Concepedia
Statistics
Publications
9
Citations
248
H-Index
Active since
1988
Affiliations
AT&T (United States)(Current)
The University of Texas at Austin
M.G. Staskauskas is an author at AT&T (United States) specializing in computer science, formal methods, and computing.
Publications per year
1988–2002
Using partial-order methods in the formal validation of industrial concurrent programs
Patrice Godefroid, Doron Peled, M.G. Staskauskas · ACM SIGSOFT Software Engineering Notes · 1996 · 55 citations
Computing, Computer Engineering, Computer Science +15
A framework for evaluating specification methods for reactive systems
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan et al. · 1995 · 51 citations · Full text
Engineering, Computer Science, Systems Engineering +14
A framework for evaluating specification methods for reactive systems-experience report
Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan et al. · IEEE Transactions on Software Engineering · 1996 · 39 citations
Computing, Computer Science, Systems Engineering +9
The formal specification and design of a distributed electronic funds-transfer system
M.G. Staskauskas · IEEE Transactions on Computers · 1988 · 24 citations
Computing, Computer Science, Computer Systems +16
Patrice Godefroid, Doron Peled, M.G. Staskauskas · IEEE Transactions on Software Engineering · 1996 · 23 citations
1–5 of 9