Jeannette M. Wing

Jeannette M. Wing, Mark Guzdial: Encouraging IT usage in future healthcare, quality in CS education. Commun. ACM 56(5): 14-15 (2013)

Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing: Formalizing and Enforcing Purpose Restrictions in Privacy Policies. IEEE Symposium on Security and Privacy 2012: 176-190

Jeannette M. Wing, Ed H. Chi: Reviewing peer review. Commun. ACM 54(7): 10-11 (2011)

Jeannette M. Wing, Valerie Barr: Jeannette M. Wing @ PCAST; Barbara Liskov keynote. Commun. ACM 54(9): 10-11 (2011)

Pratyusa K. Manadhata, Jeannette M. Wing: An Attack Surface Metric. IEEE Trans. Software Eng. 37(3): 371-386 (2011)

Virgil D. Gligor, Jeannette M. Wing: Towards a Theory of Trust in Networks of Humans and Computers. Security Protocols Workshop 2011: 223-242

Jeannette M. Wing: Computational thinking. VL/HCC 2011: 3

Pratyusa K. Manadhata, Jeannette M. Wing: A Formal Model for a System's Attack Surface. Moving Target Defense 2011: 1-28

Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing: On the Semantics of Purpose Requirements in Privacy Policies. CoRR abs/1102.4326 (2011)

Jeannette M. Wing, Daniel Reed: NSF funding advice: 21st century innovation. Commun. ACM 53(5): 10-11 (2010)

Edward Seidel, Jeannette M. Wing: Preface. J. Comput. Science 1(1): 1-2 (2010)

Jeannette M. Wing, Daniel Reed, Mark Guzdial: An ICT research agenda, HPC and innovation, and why only the developed world lacks women in computing. Commun. ACM 52(8): 12-13 (2009)

Jeannette M. Wing, Mark Guzdial: CS woes: deadline-driven research, academic inequality. Commun. ACM 52(12): 8-9 (2009)

Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing: Report: Measuring the Attack Surfaces of Enterprise Software. ESSoS 2009: 91-100

Michael Carl Tschantz, Jeannette M. Wing: Formal Methods for Privacy. FM 2009: 1-15

Jeannette M. Wing: Five deep questions in computing. Commun. ACM 51(1): 58-60 (2008)

Jeannette M. Wing: Computational thinking and thinking about computing. IPDPS 2008: 1

Michael Carl Tschantz, Jeannette M. Wing: Extracting Conditional Confidentiality Policies. SEFM 2008: 107-116

Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing: Computational thinking. SIGCSE 2007: 195-196

Jeannette M. Wing: Software Security. TASE 2007: 21

Jeannette M. Wing: Computational thinking. Commun. ACM 49(3): 33-35 (2006)

Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen: Measuring the attack surfaces of two FTP daemons. QoP 2006: 3-10

Jeannette M. Wing: Attack graph generation and analysis. ASIACCS 2006: 14

Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing: Ranking Attack Graphs. RAID 2006: 127-144

Kong-wei Lye, Jeannette M. Wing: Game strategies in network security. Int. J. Inf. Sec. 4(1-2): 71-86 (2005)

Jonathan D. Pincus, Jeannette M. Wing: Towards an Algebra for Security Policies. ICATPN 2005: 17-25

Jeannette M. Wing: Scenario Graphs Applied to Security (Extended Abstract). VISSAS 2005: 229-234

Jeannette M. Wing: A Call to Action: Look Beyond the Horizon. IEEE Security & Privacy 1(6): 62-67 (2003)

Jeannette M. Wing: Platitudes and attitudes. STTT 4(3): 261-265 (2003)

Oleg Sheyner, Jeannette M. Wing: Tools for Generating and Analyzing Attack Graphs. FMCO 2003: 344-372

Somesh Jha, Oleg Sheyner, Jeannette M. Wing: Two Formal Analys s of Attack Graphs. CSFW 2002: 49-63

Jeannette M. Wing: Mathematics in Computer Science Curricula. MPC 2002: 22

Theodore M. Wong, Chenxi Wang, Jeannette M. Wing: Verifiable Secret Redistribution for Archive System. IEEE Security in Storage Workshop 2002: 94-106

Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing: Automated Generation and Analysis of Attack Graphs. IEEE Symposium on Security and Privacy 2002: 273-284

Jeannette M. Wing: Vulnerability Analysis of Networked Systems. WETICE 2002: 4

Jeannette M. Wing: Survivability Analysis of Networked Systems. FORTE 2001: 459-

Somesh Jha, Jeannette M. Wing: Survivability Analysis of Network Systems. ICSE 2001: 307-317

Jeannette M. Wing, Jim Woodcock: The First World Congress on Formal Methods in the Development of Computing Systems. Formal Asp. Comput. 12(3): 145-146 (2000)

Jeannette M. Wing, Jim Woodcock: Introduction: Special Issues for FM'99, the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design 17(3): 199-200 (2000)

Jeannette M. Wing, John Ockerbloom: Respectful Type Converters. IEEE Trans. Software Eng. 26(7): 579-593 (2000)

Jeannette M. Wing, Jim Woodcock: Guest Editors' Introduction-Special Issues for FM '99: The First World Congress On Formal Methods in the Development of Computing Systems. IEEE Trans. Software Eng. 26(8): 673-674 (2000)

Jeannette M. Wing: Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. AMAST 2000: 2-9

Jeannette M. Wing: Survivability Analysis of Networked Systems . APSEC 2000: 6-7

Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff: Survivability Analysis of Network Specifications. DSN 2000: 613-622

Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing: A Nitpick Analysis of Mobile IPv6. Formal Asp. Comput. 11(6): 591-615 (1999)

Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Lecture Notes in Computer Science 1708, Springer 1999, isbn 3-540-66587-0

Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.): FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. Lecture Notes in Computer Science 1709, Springer 1999, isbn 3-540-66588-9

Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. Formal Asp. Comput. 10(1): 59-75 (1998)

Jeannette M. Wing: Formal Methods: Past, Present, and Future (Abstract). ASIAN 1998: 224

Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing: Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS 1998: 16-25

Jeannette M. Wing, Mandana Vaziri: A Case study in Model Checking Software Systems. Sci. Comput. Program. 28(2-3): 273-299 (1997)

Amy Moormann Zaremski, Jeannette M. Wing: Specification Matching of Software Components. ACM Trans. Softw. Eng. Methodol. 6(4): 333-369 (1997)

Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. TAPSOFT 1997: 520-534

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: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)

Edmund M. Clarke, Jeannette M. Wing: Tools and Partial Analysis. ACM Comput. Surv. 28(4es): 116 (1996)

Edmund M. Clarke, Jeannette M. Wing: Formal Methods: State of the Art and Future Directions. ACM Comput. Surv. 28(4): 626-643 (1996)

Amy Moormann Zaremski, Jeannette M. Wing: Signature Matching: A Tool for Using Software Libraries. ACM Trans. Softw. Eng. Methodol. 4(2): 146-170 (1995)

Jeannette M. Wing: Teaching Mathematics to Software Engineers. AMAST 1995: 18-40

David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing: The CMU Master of Software Engineering Core Curriculum. CSEE 1995: 65-86

Jeannette M. Wing, David C. Steere: Specifying Weak Sets. ICDCS 1995: 414-421

Amy Moormann Zaremski, Jeannette M. Wing: Specification Matching of Software Components. SIGSOFT FSE 1995: 6-17

Jeannette M. Wing, Mandana Vaziri: Model Checking Software Systems: A Case Study. SIGSOFT FSE 1995: 128-139

Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. ZUM 1995: 245-263

Jeannette M. Wing: Hints for Writing Specifications. ZUM 1995: 497

Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing: Composing First-Class Transactions. ACM Trans. Program. Lang. Syst. 16(6): 1719-1736 (1994)

Barbara Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841 (1994)

Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan: Using Belief to Reason about Cache Coherence. PODC 1994: 71-80

David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing: Dynamic Sets for Search. PODC 1994: 397

Jeannette M. Wing, Richard L. Wexelblat (Eds.): Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994. ACM Press 1994

Jeannette M. Wing, C. Gong: Testing and Verifying Concurrent Objects. J. Parallel Distrib. Comput. 17(1-2): 164-182 (1993)

Barbara Liskov, Jeannette M. Wing: A New Definition of the Subtype Relation. ECOOP 1993: 118-141

Jeannette M. Wing: Decomposing and Recomposing Transactional Concepts. ECOOP Workshop 1993: 111-121

Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28

Amy Moormann Zaremski, Jeannette M. Wing: Signature Matching: A Key to Reuse. SIGSOFT FSE 1993: 182-190

Ursula Martin, Jeannette M. Wing (Eds.): First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992. Workshops in Computing, Springer 1993, isbn 3-540-19804-0

Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski: Thoughts on a Larch/ML and a New Application for LP. Larch 1992: 297-312

Jeannette M. Wing: Specification in Software Development. LICS 1992: 112

Maurice Herlihy, Jeannette M. Wing: Specifying Graceful Degradation. IEEE Trans. Parallel Distrib. Syst. 2(1): 93-104 (1991)

Jeannette M. Wing, Amy Moormann Zaremski: Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) 1991: 545-569

Eugene J. Rollins, Jeannette M. Wing: Specifications as Search Keys for Software Libraries. ICLP 1991: 173-187

Jeannette M. Wing: A Specifier's Introduction to Formal Methods. IEEE Computer 23(9): 8-24 (1990)

Maurice Herlihy, Jeannette M. Wing: Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. Program. Lang. Syst. 12(3): 463-492 (1990)

Jeannette M. Wing: Using Larch to Specify Avalon/C++ Objects. IEEE Trans. Software Eng. 16(9): 1076-1088 (1990)

Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski: Miró: Visual Specification of Security. IEEE Trans. Software Eng. 16(10): 1185-1197 (1990)

Mario Barbacci, Jeannette M. Wing: A Language for Distributed Applications. ICCL 1990: 59-68

Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing: Reliable Distributed Computing with Avalon/Common Lisp. ICCL 1990: 169-179

Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing: Developing Applications for Heterogeneous Machine Networks: The Durra Network. Computing Systems 2(1): 7-35 (1989)

Jeannette M. Wing: Verifying atomic data types. International Journal of Parallel Programming 18(5): 315-357 (1989)

Maurice Herlihy, Jeannette M. Wing: Linearizable concurrent objects. SIGPLAN Notices 24(4): 133-135 (1989)

Jeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Trans. Software Eng. 15(2): 181-197 (1989)

Maurice Herlihy, Jeannette M. Wing: Specifying Security Constraints with Relaxation Lattices. CSFW 1989: 47-53

Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski: Constraining Pictures with Pictures. IFIP Congress 1989: 157-162

Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing: Panel on Transactions in Object-Oriented Systems. OOPSLA 1989: 473-476

Jeannette M. Wing: Verifying Atomic Data Types. REX Workshop 1989: 731-758

Jeannette M. Wing: Specifying Avalon Objects in Larch. TAPSOFT, Vol.2 1989: 61-80

David Detlefs, Maurice Herlihy, Jeannette M. Wing: Inheritance of Synchronization and Recovery Properties in Avalon/C++. IEEE Computer 21(12): 57-69 (1988)

Jeannette M. Wing: A Study of 12 Specifications of the Library Problem. IEEE Software 5(4): 66-76 (1988)

Maurice Herlihy, Jeannette M. Wing: Reasoning about Atomic Objects. FTRTFT 1988: 193-208

Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing: Programming at the Processor-Memory-Switch Level. ICSE 1988: 19-29

Jeannette M. Wing: Writing Larch Interface Language Specifications. ACM Trans. Program. Lang. Syst. 9(1): 1-24 (1987)

David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing: Avalon/C++. C++ Workshop 1987: 451-459

Mario Barbacci, Jeannette M. Wing: DURRA : A Task-Level Description Language. ICPP 1987: 370-376

Mario Barbacci, Jeannette M. Wing: Specifying Functional and Timing Behavior for Real-Time Applications. PARLE (2) 1987: 124-140

Maurice Herlihy, Jeannette M. Wing: Specifying Graceful Degradation in Distributed Systems. PODC 1987: 167-177

Maurice Herlihy, Jeannette M. Wing: Axioms for Concurrent Objects. POPL 1987: 13-26

Jeannette M. Wing, Mark R. Nixon: Extending Ina Jo with Temporal Logic. IEEE Symposium on Security and Privacy 1986: 2-13

Daniel M. Berry, Jeannette M. Wing: Specification and Prototyping: Some Thoughts on Why They Are Successful. TAPSOFT, Vol.2 1985: 117-128

John V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2(1): 53-68 (1982)