| 2011 |
|---|
| 26 | Reviewing peer review. Jeannette M. Wing, Ed H. Chi. Commun. ACM (54): 10-11 (2011). Web SearchBibTeXDownload |
| 25 | Towards 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 |
|---|
| 24 | Report: Measuring the Attack Surfaces of Enterprise Software. Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing. ESSoS 2009, 91-100. Web SearchBibTeXDownload |
| 2006 |
|---|
| 23 | Ranking Attack Graphs. Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing. RAID 2006, 127-144. Web SearchBibTeXDownload |
| 1998 |
|---|
| 22 | Proving 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 |
|---|
| 21 | Formal Methods: State of the Art and Future Directions. Edmund M. Clarke, Jeannette M. Wing. ACM Comput. Surv. (28): 626-643 (1996). Web SearchBibTeXDownload |
| 20 | Tools and Partial Analysis. Edmund M. Clarke, Jeannette M. Wing. ACM Comput. Surv. (28): 116 (1996). Web SearchBibTeXDownload |
| 19 | An 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 |
|---|
| 18 | The 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 |
| 17 | Specifications and Their Use in Defining Subtypes. Barbara Liskov, Jeannette M. Wing. ZUM 1995, 245-263. Web SearchBibTeXDownload |
| 1994 |
|---|
| 16 | A Behavioral Notion of Subtyping. Barbara Liskov, Jeannette M. Wing. ACM Trans. Program. Lang. Syst. (16): 1811-1841 (1994). Web SearchBibTeXDownload |
| 15 | Composing 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 |
|---|
| 14 | A New Definition of the Subtype Relation. Barbara Liskov, Jeannette M. Wing. ECOOP 1993, 118-141. Web SearchBibTeXDownload |
| 13 | Specifications and Their Use in Defining Subtypes. Barbara Liskov, Jeannette M. Wing. OOPSLA 1993, 16-28. Web SearchBibTeXDownload |
| 1991 |
|---|
| 12 | Specifying Graceful Degradation. Maurice Herlihy, Jeannette M. Wing. IEEE Trans. Parallel Distrib. Syst. (2): 93-104 (1991). Web SearchBibTeXDownload |
| 1990 |
|---|
| 11 | Linearizability: A Correctness Condition for Concurrent Objects. Maurice Herlihy, Jeannette M. Wing. ACM Trans. Program. Lang. Syst. (12): 463-492 (1990). Web SearchBibTeXDownload |
| 10 | Reliable Distributed Computing with Avalon/Common Lisp. Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing. ICCL 1990, 169-179. Web SearchBibTeX |
| 9 | Miró: 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 |
|---|
| 8 | Specifying Security Constraints with Relaxation Lattices. Maurice Herlihy, Jeannette M. Wing. CSFW 1989, 47-53. Web SearchBibTeX |
| 7 | Constraining Pictures with Pictures. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski. IFIP Congress 1989, 157-162. Web SearchBibTeX |
| 6 | Panel on Transactions in Object-Oriented Systems. Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing. OOPSLA 1989, 473-476. Web SearchBibTeX |
| 5 | Linearizable concurrent objects. Maurice Herlihy, Jeannette M. Wing. SIGPLAN Notices (24): 133-135 (1989). Web SearchBibTeXDownload |
| 1988 |
|---|
| 4 | Reasoning about Atomic Objects. Maurice Herlihy, Jeannette M. Wing. FTRTFT 1988, 193-208. Web SearchBibTeXDownload |
| 3 | Inheritance of Synchronization and Recovery Properties in Avalon/C++. David Detlefs, Maurice Herlihy, Jeannette M. Wing. IEEE Computer (21): 57-69 (1988). Web SearchBibTeXDownload |
| 1987 |
|---|
| 2 | Specifying Graceful Degradation in Distributed Systems. Maurice Herlihy, Jeannette M. Wing. PODC 1987, 167-177. Web SearchBibTeXDownload |
| 1 | Axioms for Concurrent Objects. Maurice Herlihy, Jeannette M. Wing. POPL 1987, 13-26. Web SearchBibTeXDownload |
