Concepedia

J.M. Wing

JW

Statistics

Publications

26

Citations

4K

H-Index

20

Active since

1983

Affiliations

Carnegie Mellon University(Current)

University of Wisconsin–Madison

Digital Wave (United States)

Software Engineering Institute

J.M. Wing is an author at Carnegie Mellon University specializing in computing, computer science, and computer systems.

Publications per year

1983–2011

26

Publications

26

Automated generation and analysis of attack graphs

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

, , +11

A specifier's introduction to formal methods

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

, , +9

Two formal analyses of attack graphs

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

, , +13

The Larch Family of Specification Languages

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

, , +10

Axioms for concurrent objects

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

, , +16

1–5 of 26