Saehful Amri
Title
Cited by
Cited by
Year
Computational thinking
JM Wing
Communications of the ACM 49 (3), 33-35, 2006
67492006
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
33531990
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
19261996
A behavioral notion of subtyping
BH Liskov, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994
15801994
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
15512002
Computational thinking and thinking about computing
JM Wing
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008
15232008
A specifier's introduction to formal methods
JM Wing
Computer 23 (9), 8-22, 1990
11051990
Specification matching of software components
AM Zaremski, JM Wing
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997
7741997
An attack surface metric
PK Manadhata, JM Wing
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010
6712010
Two formal analyses of attack graphs
S Jha, O Sheyner, J Wing
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002
6632002
Game strategies in network security
K Lye, JM Wing
International Journal of Information Security 4 (1-2), 71-86, 2005
5562005
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
4601995
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
3821985
Problem‐based learning: Influence on students' learning in an electrical engineering course
A Yadav, D Subedi, MA Lundeberg, CF Bunting
Journal of Engineering Education 100 (2), 253-280, 2011
3582011
Research notebook: Computational thinking—What and why
J Wing
The link magazine 6, 2011
3152011
Computational thinking in elementary and secondary teacher education
A Yadav, C Mayfield, N Zhou, S Hambrusch, JT Korb
ACM Transactions on Computing Education (TOCE) 14 (1), 1-16, 2014
2892014
Tools for generating and analyzing attack graphs
O Sheyner, J Wing
International symposium on formal methods for components and objects, 344-371, 2003
2822003
Specification matching of software components
AM Zaremski, JM Wing
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
2741995
Measuring relative attack surfaces
M Howard, J Pincus, JM Wing
Computer security in the 21st century, 109-137, 2005
2732005
Computational thinking in compulsory education: Towards an agenda for research and practice
J Voogt, P Fisser, J Good, P Mishra, A Yadav
Education and Information Technologies 20 (4), 715-728, 2015
2692015
The system can't perform the operation now. Try again later.
Articles 1–20