| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pratyusa K. Manadhata, Jeannette M. Wing |
An Attack Surface Metric.  |
IEEE Trans. Software Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Valerie Barr |
Jeannette M. Wing @ PCAST; Barbara Liskov keynote. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Ed H. Chi |
Reviewing peer review. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing |
On the Semantics of Purpose Requirements in Privacy Policies |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pratyusa K. Manadhata, Jeannette M. Wing |
A Formal Model for a System's Attack Surface. |
Moving Target Defense |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Computational thinking. |
VL/HCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgil D. Gligor, Jeannette M. Wing |
Towards a Theory of Trust in Networks of Humans and Computers. |
Security Protocols Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Daniel Reed |
NSF funding advice: 21st century innovation. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Seidel, Jeannette M. Wing |
Preface. |
J. Comput. Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Mark Guzdial |
CS woes: deadline-driven research, academic inequality. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Jeannette M. Wing |
Formal Methods for Privacy. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pratyusa K. Manadhata, Yücel Karabulut, Jeannette M. Wing |
Report: Measuring the Attack Surfaces of Enterprise Software. |
ESSoS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Five deep questions in computing. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carl Tschantz, Jeannette M. Wing |
Extracting Conditional Confidentiality Policies. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Computational thinking and thinking about computing. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Software Security. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter B. Henderson, Thomas J. Cortina, Jeannette M. Wing |
Computational thinking. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
computational thinking |
| 1 | Jeannette M. Wing |
Computational thinking. |
Commun. ACM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaibhav Mehta, Constantinos Bartzis, Haifeng Zhu, Edmund M. Clarke, Jeannette M. Wing |
Ranking Attack Graphs. |
RAID |
2006 |
DBLP DOI BibTeX RDF |
Google PageRank, Model Checking, security metric, Attack Graph, Attack Model |
| 1 | Pratyusa K. Manadhata, Jeannette M. Wing, Mark Flynn, Miles McQueen |
Measuring the attack surfaces of two FTP daemons. |
QoP |
2006 |
DBLP DOI BibTeX RDF |
attack surface, attack surface metric, security metric |
| 1 | Jeannette M. Wing |
Attack graph generation and analysis. |
ASIACCS |
2006 |
DBLP DOI BibTeX RDF |
minimization analysis, model checking, intrusion detection, attack graphs |
| 1 | Kong-wei Lye, Jeannette M. Wing |
Game strategies in network security. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Network security, Nonlinear programming, Stochastic games |
| 1 | Jonathan D. Pincus, Jeannette M. Wing |
Towards an Algebra for Security Policies. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Scenario Graphs Applied to Security (Extended Abstract). |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing |
A Call to Action: Look Beyond the Horizon. |
IEEE Security & Privacy |
2003 |
DBLP DOI BibTeX RDF |
security, secure, software engineering, code, buffer |
| 1 | Jeannette M. Wing |
Platitudes and attitudes. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Complexity, Diversity, Science, Computing systems, Future |
| 1 | Oleg Sheyner, Jeannette M. Wing |
Tools for Generating and Analyzing Attack Graphs. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richard Lippmann, Jeannette M. Wing |
Automated Generation and Analysis of Attack Graphs. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2002 |
DBLP DOI BibTeX RDF |
model checking, intrusion detection, attack graph |
| 1 | Jeannette M. Wing |
Vulnerability Analysis of Networked Systems. (PDF / PS) |
WETICE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodore M. Wong, Chenxi Wang, Jeannette M. Wing |
Verifiable Secret Redistribution for Archive System. |
IEEE Security in Storage Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Oleg Sheyner, Jeannette M. Wing |
Two Formal Analys s of Attack Graphs. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Mathematics in Computer Science Curricula. |
MPC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Survivability Analysis of Networked Systems. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Somesh Jha, Jeannette M. Wing |
Survivability Analysis of Network Systems. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, John Ockerbloom |
Respectful Type Converters. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Type converters, object repository, abstraction function, type evolution, semantics, interoperability, specifications, object-oriented design, subtype, distributed objects, Larch |
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Jim Woodcock |
The First World Congress on Formal Methods in the Development of Computing Systems. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Survivability Analysis of Networked Systems . (PDF / PS) |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff |
Survivability Analysis of Network Specifications. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing |
A Nitpick Analysis of Mobile IPv6. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Nitpick, Mobile internetworking protocols, Model checking, Z, Declarative specification |
| 1 | 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 |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gary T. Leavens, Jeannette M. Wing |
Protective Interface Specifications. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Formal Methods: Past, Present, and Future (Abstract). |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing |
Proving Correctness of a Controller Algorithm for the RAID Level 5 System. |
FTCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Mandana Vaziri |
A Case study in Model Checking Software Systems. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Moormann Zaremski, Jeannette M. Wing |
Specification Matching of Software Components. |
ACM Trans. Softw. Eng. Methodol. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Jeannette M. Wing |
Protective Interface Specifications. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Jeannette M. Wing |
Formal Methods: State of the Art and Future Directions. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Jeannette M. Wing |
Tools and Partial Analysis. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Moormann Zaremski, Jeannette M. Wing |
Signature Matching: A Tool for Using Software Libraries. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
software retrieval, signature matching |
| 1 | Jeannette M. Wing |
Teaching Mathematics to Software Engineers. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Hints for Writing Specifications. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Liskov, Jeannette M. Wing |
Specifications and Their Use in Defining Subtypes. |
ZUM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing |
The CMU Master of Software Engineering Core Curriculum. |
CSEE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, David C. Steere |
Specifying Weak Sets. |
ICDCS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Mandana Vaziri |
Model Checking Software Systems: A Case Study. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
abstraction mappings, distributed systems, model checking, verification, finite state machines, cache coherence protocols |
| 1 | Amy Moormann Zaremski, Jeannette M. Wing |
Specification Matching of Software Components. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Liskov, Jeannette M. Wing |
A Behavioral Notion of Subtyping. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
formal specifications, subtyping, Larch |
| 1 | Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing |
Composing First-Class Transactions. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
skeins, undoability, transactions, recovery, threads, modules, persistence, serializability, Standard ML |
| 1 | Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan |
Using Belief to Reason about Cache Coherence. |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing |
Dynamic Sets for Search. |
PODC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
IDL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, C. Gong |
Testing and Verifying Concurrent Objects. |
J. Parallel Distrib. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Decomposing and Recomposing Transactional Concepts. |
ECOOP Workshop |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Larch |
1993 |
DBLP BibTeX RDF |
|
| 1 | Barbara Liskov, Jeannette M. Wing |
Specifications and Their Use in Defining Subtypes. |
OOPSLA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Liskov, Jeannette M. Wing |
A New Definition of the Subtype Relation. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Moormann Zaremski, Jeannette M. Wing |
Signature Matching: A Key to Reuse. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski |
Thoughts on a Larch/ML and a New Application for LP. |
Larch |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Specification in Software Development |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Jeannette M. Wing |
Specifying Graceful Degradation. |
IEEE Trans. Parallel Distrib. Syst. |
1991 |
DBLP DOI BibTeX RDF |
graceful degradation specification, relaxation lattice method, large class of programs, site crashes, timing anomalies, synchronization conflicts, formal specification, fault tolerant computing, network partitions, security breaches |
| 1 | Eugene J. Rollins, Jeannette M. Wing |
Specifications as Search Keys for Software Libraries. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Amy Moormann Zaremski |
Unintrusive Ways to Integrate Formal Specifications in Practice. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Using Larch to Specify Avalon/C++ Objects. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch |
| 1 | Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski |
Miró: Visual Specification of Security. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Miro, visual specification of security, file system security, instance language, security specification problems, tools, specification languages, visual programming, security of data, constraint language, arrows, boxes |
| 1 | Maurice Herlihy, Jeannette M. Wing |
Linearizability: A Correctness Condition for Concurrent Objects. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
A Specifier's Introduction to Formal Methods. |
IEEE Computer |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing |
Reliable Distributed Computing with Avalon/Common Lisp. |
ICCL |
1990 |
DBLP BibTeX RDF |
|
| 1 | Mario Barbacci, Jeannette M. Wing |
A Language for Distributed Applications. |
ICCL |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Mark R. Nixon |
Extending Ina Jo with Temporal Logic. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions |
| 1 | Jeannette M. Wing |
Verifying atomic data types. |
International Journal of Parallel Programming |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Barbacci, Dennis L. Doubleday, Charles B. Weinstock, Jeannette M. Wing |
Developing Applications for Heterogeneous Machine Networks: The Durra Network. |
Computing Systems |
1989 |
DBLP BibTeX RDF |
|
| 1 | Maurice Herlihy, Jeannette M. Wing |
Linearizable concurrent objects. |
SIGPLAN Notices |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Specifying Avalon Objects in Larch. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Herlihy, Jeannette M. Wing |
Specifying Security Constraints with Relaxation Lattices. |
CSFW |
1989 |
DBLP BibTeX RDF |
|
| 1 | Stanley B. Zdonik, Toby Bloom, David W. Stemple, Jeannette M. Wing |
Panel on Transactions in Object-Oriented Systems. |
OOPSLA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski |
Constraining Pictures with Pictures. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Verifying Atomic Data Types. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types |
| 1 | Jeannette M. Wing |
A Study of 12 Specifications of the Library Problem. |
IEEE Software |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | David Detlefs, Maurice Herlihy, Jeannette M. Wing |
Inheritance of Synchronization and Recovery Properties in Avalon/C++. |
IEEE Computer |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing |
Programming at the Processor-Memory-Switch Level. |
ICSE |
1988 |
DBLP BibTeX RDF |
|
| 1 | Maurice Herlihy, Jeannette M. Wing |
Reasoning about Atomic Objects. |
FTRTFT |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Writing Larch Interface Language Specifications. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
Larch |
| 1 | Mario Barbacci, Jeannette M. Wing |
Specifying Functional and Timing Behavior for Real-Time Applications. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing |
Avalon/C++. |
C++ Workshop |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")