Folgen
Jeannette M Wing
Jeannette M Wing
Executive Vice President for Research, Professor of Computer Science, Columbia University
Bestätigte E-Mail-Adresse bei columbia.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Computational thinking
JM Wing
Communications of the ACM 49 (3), 33-35, 2006
125802006
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
41371990
Computational thinking and thinking about computing
JM Wing
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008
30172008
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
22391996
Automated generation and analysis of attack graphs
O Sheyner, J Haines, S Jha, R Lippmann, JM Wing
Proceedings 2002 IEEE Symposium on Security and Privacy, 273-284, 2002
19132002
A behavioral notion of subtyping
BH Liskov, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994
18011994
A specifier's introduction to formal methods
JM Wing
Computer 23 (9), 8-22, 1990
13051990
An attack surface metric
PK Manadhata, JM Wing
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010
9002010
Research notebook: Computational thinking—What and why
J Wing
The link magazine 6, 20-23, 2011
8762011
Two formal analyses of attack graphs
S Jha, O Sheyner, J Wing
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002
8352002
Specification matching of software components
AM Zaremski, JM Wing
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997
8311997
Game strategies in network security
K Lye, JM Wing
International Journal of Information Security 4, 71-86, 2005
6432005
Signature matching: a tool for using software libraries
AM Zaremski, JM Wing
ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 146-170, 1995
5061995
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
4321985
Computational thinking benefits society
JM Wing
40th anniversary blog of social issues in computing 2014, 26, 2014
4092014
Demystifying computational thinking for non-computer scientists
J Cuny, L Snyder, JM Wing
Unpublished manuscript in progress, referenced in http://www. cs. cmu. edu …, 2010
3672010
Computational thinking’s influence on research and education for all
J Wing
Italian Journal of Educational Technology 25 (2), 7-14, 2017
3522017
Tools for generating and analyzing attack graphs
O Sheyner, J Wing
International symposium on formal methods for components and objects, 344-371, 2003
3452003
Measuring relative attack surfaces
M Howard, J Pincus, JM Wing
Computer security in the 21st century, 109-137, 2005
3242005
Ranking attack graphs
V Mehta, C Bartzis, H Zhu, E Clarke, J Wing
International Workshop on Recent Advances in Intrusion Detection, 127-144, 2006
2992006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20