Saehful Amri
Title
Cited by
Cited by
Year
Computational thinking
JM Wing
Communications of the ACM 49 (3), 33-35, 2006
66922006
Linearizability: A correctness condition for concurrent objects
MP Herlihy, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990
35171990
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
19851996
Computational thinking and thinking about computing
JM Wing
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2008
16842008
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
16372002
A behavioral notion of subtyping
BH Liskov, JM Wing
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1811-1841, 1994
16091994
A specifier's introduction to formal methods
JM Wing
Computer 23 (9), 8-22, 1990
11301990
Specification matching of software components
AM Zaremski, JM Wing
ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (4), 333-369, 1997
8011997
An attack surface metric
PK Manadhata, JM Wing
IEEE Transactions on Software Engineering 37 (3), 371-386, 2010
6942010
Two formal analyses of attack graphs
S Jha, O Sheyner, J Wing
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 49-63, 2002
6912002
Game strategies in network security
K Lye, JM Wing
International Journal of Information Security 4 (1), 71-86, 2005
5802005
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
4731995
The Larch Family of Specification Languages.
JV Guttag, JJ Horning, JM Wing
IEEE Softw. 2 (5), 24-36, 1985
3901985
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
3762011
Research notebook: Computational thinking—What and why
J Wing
The link magazine 6, 2011
3522011
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
3412014
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
3062015
Tools for generating and analyzing attack graphs
O Sheyner, J Wing
International symposium on formal methods for components and objects, 344-371, 2003
3052003
Measuring relative attack surfaces
M Howard, J Pincus, JM Wing
Computer security in the 21st century, 109-137, 2005
2882005
Specification matching of software components
AM Zaremski, JM Wing
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
2721995
The system can't perform the operation now. Try again later.
Articles 1–20