J.M. Wing

Automated generation and analysis of attack graphs

Oleg Sheyner, Joshua Haines, Somesh Jha et al. · 2005 · 1.3K citations

Security Modelling, Global View, Attack Simulation +15

A specifier's introduction to formal methods

J.M. Wing · Computer · 1990 · 723 citations

Engineering, Verification, Software Systems +18

Two formal analyses of attack graphs

Somesh Jha, Oleg Sheyner, J.M. Wing · 2003 · 489 citations

Engineering, Information Security, Verification +16

The Larch Family of Specification Languages

John V. Guttag, J. J. Horning, J.M. Wing · IEEE Software · 1985 · 278 citations

Engineering, Software Engineering, Software Analysis +19

Axioms for concurrent objects

Maurice Herlihy, J.M. Wing · 1987 · 174 citations · Full text