2011
26Reviewing peer review. Jeannette M. Wing, Ed H. Chi. Commun. ACM (54): 10-11 (2011). Web SearchBibTeXDownload
25Towards a Theory of Trust in Networks of Humans and Computers. Virgil D. Gligor, Jeannette M. Wing. Security Protocols Workshop 2011, 223-242. Web SearchBibTeXDownload
2009
24Report: Measuring the Attack Surfaces of Enterprise Software. Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing. ESSoS 2009, 91-100. Web SearchBibTeXDownload
2006
23Ranking Attack Graphs. Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing. RAID 2006, 127-144. Web SearchBibTeXDownload
1998
22Proving Correctness of a Controller Algorithm for the RAID Level 5 System. Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing. FTCS 1998, 16-25. Web SearchBibTeXDownload
1996
21Formal Methods: State of the Art and Future Directions. Edmund M. Clarke, Jeannette M. Wing. ACM Comput. Surv. (28): 626-643 (1996). Web SearchBibTeXDownload
20Tools and Partial Analysis. Edmund M. Clarke, Jeannette M. Wing. ACM Comput. Surv. (28): 116 (1996). Web SearchBibTeXDownload
19An Invitation to Formal Methods. Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave. IEEE Computer (29): 16-30 (1996). Web SearchBibTeXDownload
1995
18The CMU Master of Software Engineering Core Curriculum. David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing. CSEE 1995, 65-86. Web SearchBibTeXDownload
17Specifications and Their Use in Defining Subtypes. Barbara Liskov, Jeannette M. Wing. ZUM 1995, 245-263. Web SearchBibTeXDownload
1994
16A Behavioral Notion of Subtyping. Barbara Liskov, Jeannette M. Wing. ACM Trans. Program. Lang. Syst. (16): 1811-1841 (1994). Web SearchBibTeXDownload
15Composing First-Class Transactions. Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing. ACM Trans. Program. Lang. Syst. (16): 1719-1736 (1994). Web SearchBibTeXDownload
1993
14A New Definition of the Subtype Relation. Barbara Liskov, Jeannette M. Wing. ECOOP 1993, 118-141. Web SearchBibTeXDownload
13Specifications and Their Use in Defining Subtypes. Barbara Liskov, Jeannette M. Wing. OOPSLA 1993, 16-28. Web SearchBibTeXDownload
1991
12Specifying Graceful Degradation. Maurice Herlihy, Jeannette M. Wing. IEEE Trans. Parallel Distrib. Syst. (2): 93-104 (1991). Web SearchBibTeXDownload
1990
11Linearizability: A Correctness Condition for Concurrent Objects. Maurice Herlihy, Jeannette M. Wing. ACM Trans. Program. Lang. Syst. (12): 463-492 (1990). Web SearchBibTeXDownload
10Reliable Distributed Computing with Avalon/Common Lisp. Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing. ICCL 1990, 169-179. Web SearchBibTeX
9Miró: Visual Specification of Security. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski. IEEE Trans. Software Eng. (16): 1185-1197 (1990). Web SearchBibTeXDownload
1989
8Specifying Security Constraints with Relaxation Lattices. Maurice Herlihy, Jeannette M. Wing. CSFW 1989, 47-53. Web SearchBibTeX
7Constraining Pictures with Pictures. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski. IFIP Congress 1989, 157-162. Web SearchBibTeX
6Panel on Transactions in Object-Oriented Systems. Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing. OOPSLA 1989, 473-476. Web SearchBibTeX
5Linearizable concurrent objects. Maurice Herlihy, Jeannette M. Wing. SIGPLAN Notices (24): 133-135 (1989). Web SearchBibTeXDownload
1988
4Reasoning about Atomic Objects. Maurice Herlihy, Jeannette M. Wing. FTRTFT 1988, 193-208. Web SearchBibTeXDownload
3Inheritance of Synchronization and Recovery Properties in Avalon/C++. David Detlefs, Maurice Herlihy, Jeannette M. Wing. IEEE Computer (21): 57-69 (1988). Web SearchBibTeXDownload
1987
2Specifying Graceful Degradation in Distributed Systems. Maurice Herlihy, Jeannette M. Wing. PODC 1987, 167-177. Web SearchBibTeXDownload
1Axioms for Concurrent Objects. Maurice Herlihy, Jeannette M. Wing. POPL 1987, 13-26. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research