publications:
- title: "The First World Congress on Formal Methods in the Development of Computing Systems"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/0012003/00120145.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/0012003/00120145.htm"
  researchr: "https://researchr.org/publication/WingW00%3A1"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "12"
  number: "3"
  pages: "145-146"
  kind: "article"
  key: "WingW00:1"
- title: "A Case study in Model Checking Software Systems"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  year: "1997"
  tags:
  - "case study"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/WingV97"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "28"
  number: "2-3"
  pages: "273-299"
  kind: "article"
  key: "WingV97"
- title: "Vulnerability Analysis of Networked Systems"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2002"
  doi: "http://computer.org/proceedings/wetice/1748/17480004.pdf"
  links:
    doi: "http://computer.org/proceedings/wetice/1748/17480004.pdf"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Wing02"
  cites: 0
  citedby: 0
  pages: "4"
  booktitle: "11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 10-12 June 2002, Pittsburgh, PA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1748-X"
  kind: "inproceedings"
  key: "Wing02"
- title: "Decomposing and Recomposing Transactional Concepts"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1993"
  researchr: "https://researchr.org/publication/Wing93"
  cites: 0
  citedby: 0
  pages: "111-121"
  booktitle: "Object-Based Distributed Programming, ECOOP  93 Workshop, Kaiserslautern, Germany, July 26-27, 1993"
  editor:
  - name: "Rachid Guerraoui"
    link: "https://researchr.org/alias/rachid-guerraoui"
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  - name: "Michel Riveill"
    link: "https://researchr.org/alias/michel-riveill"
  volume: "791"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57932-X"
  kind: "inproceedings"
  key: "Wing93"
- title: "Computational thinking and thinking about computing"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536091"
  links:
    doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536091"
  researchr: "https://researchr.org/publication/Wing08%3A0"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "Wing08:0"
- title: "Guest Editors  Introduction-Special Issues for FM  99: The First World Congress On Formal Methods in the Development of Computing Systems"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  year: "2000"
  doi: "http://dlib.computer.org/ts/books/ts2000/pdf/e0673.pdf"
  links:
    doi: "http://dlib.computer.org/ts/books/ts2000/pdf/e0673.pdf"
  researchr: "https://researchr.org/publication/WingW00"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "26"
  number: "8"
  pages: "673-674"
  kind: "article"
  key: "WingW00"
- title: "Composing First-Class Transactions"
  author:
  - name: "Nicholas Haines"
    link: "https://researchr.org/alias/nicholas-haines"
  - name: "Darrell Kindred"
    link: "https://researchr.org/alias/darrell-kindred"
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  - name: "Scott Nettles"
    link: "https://researchr.org/alias/scott-nettles"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/197320.197346"
  links:
    doi: "http://doi.acm.org/10.1145/197320.197346"
  researchr: "https://researchr.org/publication/HainesKMNW94"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "16"
  number: "6"
  pages: "1719-1736"
  kind: "article"
  key: "HainesKMNW94"
- title: "A Behavioral Notion of Subtyping"
  author:
  - name: "Barbara Liskov"
    link: "http://www.pmg.csail.mit.edu/~liskov/"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/197320.197383"
  links:
    doi: "http://doi.acm.org/10.1145/197320.197383"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/LiskovW94"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "16"
  number: "6"
  pages: "1811-1841"
  kind: "article"
  key: "LiskovW94"
- title: "Some Notes on Putting Formal Specifications to Productive Use"
  author:
  - name: "John V. Guttag"
    link: "https://researchr.org/alias/john-v.-guttag"
  - name: "James J. Horning"
    link: "https://researchr.org/alias/james-j.-horning"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1982"
  researchr: "https://researchr.org/publication/GuttagHW82"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "2"
  number: "1"
  pages: "53-68"
  kind: "article"
  key: "GuttagHW82"
- title: "Specifying Graceful Degradation in Distributed Systems"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1987"
  researchr: "https://researchr.org/publication/HerlihyW87"
  cites: 0
  citedby: 0
  pages: "167-177"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "HerlihyW87"
- title: "Five deep questions in computing"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1327452.1327479"
  links:
    doi: "http://doi.acm.org/10.1145/1327452.1327479"
  researchr: "https://researchr.org/publication/Wing08%3A1"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "51"
  number: "1"
  pages: "58-60"
  kind: "article"
  key: "Wing08:1"
- title: "Mathematics in Computer Science Curricula"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860022.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860022.htm"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/Wing02%3A0"
  cites: 0
  citedby: 0
  pages: "22"
  booktitle: "Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings"
  editor:
  - name: "Eerke Boiten"
    link: "http://www.cs.kent.ac.uk/people/staff/eab2/"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "2386"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43857-2"
  kind: "inproceedings"
  key: "Wing02:0"
- title: "DURRA : A Task-Level Description Language"
  author:
  - name: "Mario Barbacci"
    link: "https://researchr.org/alias/mario-barbacci"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1987"
  researchr: "https://researchr.org/publication/BarbacciW87"
  cites: 0
  citedby: 0
  pages: "370-376"
  booktitle: "ICPP"
  kind: "inproceedings"
  key: "BarbacciW87"
- title: "Formal Methods: Past, Present, and Future (Abstract)"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1538/15380224.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1538/15380224.htm"
  researchr: "https://researchr.org/publication/Wing98"
  cites: 0
  citedby: 0
  pages: "224"
  booktitle: "Advances in Computing Science - ASIAN  98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings"
  editor:
  - name: "Jieh Hsiang"
    link: "https://researchr.org/alias/jieh-hsiang"
  - name: "Atsushi Ohori"
    link: "https://researchr.org/alias/atsushi-ohori"
  volume: "1538"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65388-0"
  kind: "inproceedings"
  key: "Wing98"
- title: "Testing and Verifying Concurrent Objects"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "C. Gong"
    link: "https://researchr.org/alias/c.-gong"
  year: "1993"
  tags:
  - "meta-model"
  - "testing"
  - "C++"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/WingG93"
  cites: 0
  citedby: 0
  journal: "J. Parallel Distrib. Comput."
  volume: "17"
  number: "1-2"
  pages: "164-182"
  kind: "article"
  key: "WingG93"
- title: "Specifying Weak Sets"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "David C. Steere"
    link: "https://researchr.org/alias/david-c.-steere"
  year: "1995"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/WingS95"
  cites: 0
  citedby: 0
  pages: "414-421"
  booktitle: "ICDCS"
  kind: "inproceedings"
  key: "WingS95"
- title: "Automated Generation and Analysis of Attack Graphs"
  author:
  - name: "Oleg Sheyner"
    link: "https://researchr.org/alias/oleg-sheyner"
  - name: "Joshua W. Haines"
    link: "https://researchr.org/alias/joshua-w.-haines"
  - name: "Somesh Jha"
    link: "https://researchr.org/alias/somesh-jha"
  - name: "Richard Lippmann"
    link: "https://researchr.org/alias/richard-lippmann"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2002"
  doi: "http://computer.org/proceedings/sp/1543/15430273abs.htm"
  links:
    doi: "http://computer.org/proceedings/sp/1543/15430273abs.htm"
  tags:
  - "analysis"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/SheynerHJLW02"
  cites: 0
  citedby: 0
  pages: "273-284"
  booktitle: "IEEE Symposium on Security and Privacy"
  kind: "inproceedings"
  key: "SheynerHJLW02"
- title: "Signature Matching: A Tool for Using Software Libraries"
  author:
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/210134.210179"
  links:
    doi: "http://doi.acm.org/10.1145/210134.210179"
  researchr: "https://researchr.org/publication/ZaremskiW95"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "4"
  number: "2"
  pages: "146-170"
  kind: "article"
  key: "ZaremskiW95"
- title: "Signature Matching: A Key to Reuse"
  author:
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/256428.167077"
  links:
    doi: "http://doi.acm.org/10.1145/256428.167077"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/ZaremskiW93"
  cites: 0
  citedby: 0
  pages: "182-190"
  booktitle: "SIGSOFT FSE"
  kind: "inproceedings"
  key: "ZaremskiW93"
- title: "CS woes: deadline-driven research, academic inequality"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mark Guzdial"
    link: "http://www.cc.gatech.edu/~guzdial/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1610252.1610257"
  abstract: "Jeannette M. Wing writes about the negative effects of deadline-driven research and Mark Guzdial discusses the role of computer science faculty in fostering inequality."
  links:
    doi: "http://doi.acm.org/10.1145/1610252.1610257"
  tags:
  - "research"
  - "e-science"
  researchr: "https://researchr.org/publication/Wing%3ACACM%3A2009"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "52"
  number: "12"
  kind: "article"
  key: "Wing:CACM:2009"
- title: "Computational thinking"
  author:
  - name: "Peter B. Henderson"
    link: "https://researchr.org/alias/peter-b.-henderson"
  - name: "Thomas J. Cortina"
    link: "https://researchr.org/alias/thomas-j.-cortina"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1227310.1227378"
  links:
    doi: "http://doi.acm.org/10.1145/1227310.1227378"
  researchr: "https://researchr.org/publication/HendersonCW07"
  cites: 0
  citedby: 0
  pages: "195-196"
  booktitle: "Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007"
  editor:
  - name: "Ingrid Russell"
    link: "https://researchr.org/alias/ingrid-russell"
  - name: "Susan M. Haller"
    link: "https://researchr.org/alias/susan-m.-haller"
  - name: "J. D. Dougherty"
    link: "https://researchr.org/alias/j.-d.-dougherty"
  - name: "Susan H. Rodger"
    link: "https://researchr.org/alias/susan-h.-rodger"
  publisher: "ACM"
  isbn: "1-59593-361-1"
  kind: "inproceedings"
  key: "HendersonCW07"
- title: "Specification in Software Development"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1992"
  researchr: "https://researchr.org/publication/Wing92"
  cites: 0
  citedby: 0
  pages: "112"
  booktitle: "Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "Wing92"
- title: "Survivability Analysis of Network Specifications"
  author:
  - name: "Sanjay K. Jha"
    link: "https://researchr.org/alias/sanjay-k.-jha"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Richard C. Linger"
    link: "https://researchr.org/alias/richard-c.-linger"
  - name: "Thomas A. Longstaff"
    link: "https://researchr.org/alias/thomas-a.-longstaff"
  year: "2000"
  doi: "http://computer.org/proceedings/dsn/0707/07070613abs.htm"
  links:
    doi: "http://computer.org/proceedings/dsn/0707/07070613abs.htm"
  tags:
  - "analysis"
  - "C++"
  researchr: "https://researchr.org/publication/JhaWLL00"
  cites: 0
  citedby: 0
  pages: "613-622"
  booktitle: "2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0707-7"
  kind: "inproceedings"
  key: "JhaWLL00"
- title: "Attack graph generation and analysis"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1128817.1128822"
  links:
    doi: "http://doi.acm.org/10.1145/1128817.1128822"
  tags:
  - "analysis"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Wing06%3A0"
  cites: 0
  citedby: 0
  pages: "14"
  booktitle: "Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006"
  editor:
  - name: "Ferng-Ching Lin"
    link: "https://researchr.org/alias/ferng-ching-lin"
  - name: "Der-Tsai Lee"
    link: "https://researchr.org/alias/der-tsai-lee"
  - name: "Bao-Shuh Lin"
    link: "https://researchr.org/alias/bao-shuh-lin"
  - name: "Shiuhpyng Shieh"
    link: "https://researchr.org/alias/shiuhpyng-shieh"
  - name: "Sushil Jajodia"
    link: "https://researchr.org/alias/sushil-jajodia"
  publisher: "ACM"
  isbn: "1-59593-272-0"
  kind: "inproceedings"
  key: "Wing06:0"
- title: "Scenario Graphs Applied to Security (Extended Abstract)"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2005"
  tags:
  - "graph-rewriting"
  - "security"
  - "rewriting"
  researchr: "https://researchr.org/publication/Wing05"
  cites: 0
  citedby: 0
  pages: "229-234"
  booktitle: "Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop  Verification of Infinite State Systems with Applications to Security VISSAS 2005 , Timisoara, Romania, March 17-22, 2005"
  editor:
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Marius Minea"
    link: "https://researchr.org/alias/marius-minea"
  - name: "Ferucio Laurentiu Tiplea"
    link: "https://researchr.org/alias/ferucio-laurentiu-tiplea"
  volume: "1"
  series: "NATO Security through Science Series D: Information and Communication Security"
  publisher: "IOS Press"
  isbn: "1-58603-570-3"
  kind: "inproceedings"
  key: "Wing05"
- title: "Introduction: Special Issues for FM 99, the First World Congress on Formal Methods in the Development of Computing Systems"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  year: "2000"
  researchr: "https://researchr.org/publication/WingW00%3A0"
  cites: 0
  citedby: 0
  journal: "Formal Methods in System Design"
  volume: "17"
  number: "3"
  pages: "199-200"
  kind: "article"
  key: "WingW00:0"
- title: "Respectful Type Converters"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "John Ockerbloom"
    link: "https://researchr.org/alias/john-ockerbloom"
  year: "2000"
  doi: "http://www.computer.org:80/tse/ts2000/e0579abs.htm"
  links:
    doi: "http://www.computer.org:80/tse/ts2000/e0579abs.htm"
  researchr: "https://researchr.org/publication/WingO00"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "26"
  number: "7"
  pages: "579-593"
  kind: "article"
  key: "WingO00"
- title: "Platitudes and attitudes"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s10009-002-0105-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-002-0105-2"
  researchr: "https://researchr.org/publication/Wing03"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "4"
  number: "3"
  pages: "261-265"
  kind: "article"
  key: "Wing03"
- title: "Extracting Conditional Confidentiality Policies"
  author:
  - name: "Michael Carl Tschantz"
    link: "https://researchr.org/alias/michael-carl-tschantz"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SEFM.2008.46"
  links:
    doi: "http://dx.doi.org/10.1109/SEFM.2008.46"
  researchr: "https://researchr.org/publication/TschantzW08"
  cites: 0
  citedby: 0
  pages: "107-116"
  booktitle: "Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008"
  editor:
  - name: "Antonio Cerone"
    link: "https://researchr.org/alias/antonio-cerone"
  - name: "Stefan Gruner"
    link: "https://researchr.org/alias/stefan-gruner"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3437-4"
  kind: "inproceedings"
  key: "TschantzW08"
- title: "Using Belief to Reason about Cache Coherence"
  author:
  - name: "Lily B. Mummert"
    link: "https://researchr.org/alias/lily-b.-mummert"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mahadev Satyanarayanan"
    link: "https://researchr.org/alias/mahadev-satyanarayanan"
  year: "1994"
  tags:
  - "caching"
  researchr: "https://researchr.org/publication/MummertWS94"
  cites: 0
  citedby: 0
  pages: "71-80"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "MummertWS94"
- title: "Proving Correctness of a Controller Algorithm for the RAID Level 5 System"
  author:
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1998"
  researchr: "https://researchr.org/publication/VaziriLW98"
  cites: 0
  citedby: 0
  pages: "16-25"
  booktitle: "FTCS"
  kind: "inproceedings"
  key: "VaziriLW98"
- title: "Specifications as Search Keys for Software Libraries"
  author:
  - name: "Eugene J. Rollins"
    link: "https://researchr.org/alias/eugene-j.-rollins"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1991"
  tags:
  - "search"
  researchr: "https://researchr.org/publication/RollinsW91"
  cites: 0
  citedby: 0
  pages: "173-187"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "RollinsW91"
- title: "Linearizable concurrent objects"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1989"
  doi: "http://doi.acm.org/10.1145/67387.67423"
  links:
    doi: "http://doi.acm.org/10.1145/67387.67423"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HerlihyW89"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "24"
  number: "4"
  pages: "133-135"
  kind: "article"
  key: "HerlihyW89"
- title: "Specification Matching of Software Components"
  author:
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/222124.222135"
  links:
    doi: "http://doi.acm.org/10.1145/222124.222135"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/ZaremskiW95%3A0"
  cites: 0
  citedby: 0
  pages: "6-17"
  booktitle: "SIGSOFT FSE"
  kind: "inproceedings"
  key: "ZaremskiW95:0"
- title: "Specification Matching of Software Components"
  author:
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/261640.261641"
  links:
    doi: "http://doi.acm.org/10.1145/261640.261641"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/ZaremskiW97"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "6"
  number: "4"
  pages: "333-369"
  kind: "article"
  key: "ZaremskiW97"
- title: "Hints for Writing Specifications"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1995"
  tags:
  - "writing"
  researchr: "https://researchr.org/publication/Wing95"
  cites: 0
  citedby: 0
  pages: "497"
  booktitle: "ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  kind: "inproceedings"
  key: "Wing95"
- title: "Extending Ina Jo with Temporal Logic"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mark R. Nixon"
    link: "https://researchr.org/alias/mark-r.-nixon"
  year: "1986"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/WingN86"
  cites: 0
  citedby: 0
  pages: "2-13"
  booktitle: "IEEE Symposium on Security and Privacy"
  kind: "inproceedings"
  key: "WingN86"
- title: "Unintrusive Ways to Integrate Formal Specifications in Practice"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  year: "1991"
  researchr: "https://researchr.org/publication/WingZ91"
  cites: 0
  citedby: 0
  pages: "545-569"
  booktitle: "VDM  91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions"
  editor:
  - name: "Søren Prehn"
    link: "https://researchr.org/alias/s%C3%B8ren-prehn"
  - name: "W. J. Toetenel"
    link: "https://researchr.org/alias/w.-j.-toetenel"
  volume: "551"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54834-3"
  kind: "inproceedings"
  key: "WingZ91"
- title: "Survivability Analysis of Networked Systems "
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2000"
  doi: "http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150006.pdf"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150006.pdf"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Wing00"
  cites: 0
  citedby: 0
  pages: "6-7"
  booktitle: "7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0915-0"
  kind: "inproceedings"
  key: "Wing00"
- title: "Computational thinking"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1118178.1118215"
  links:
    doi: "http://doi.acm.org/10.1145/1118178.1118215"
  researchr: "https://researchr.org/publication/Wing06%3A1"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "49"
  number: "3"
  pages: "33-35"
  kind: "article"
  key: "Wing06:1"
- title: "A Call to Action: Look Beyond the Horizon"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2003"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MSECP.2003.1253571"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MSECP.2003.1253571"
  researchr: "https://researchr.org/publication/Wing03%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Security & Privacy"
  volume: "1"
  number: "6"
  pages: "62-67"
  kind: "article"
  key: "Wing03:0"
- title: "An Invitation to Formal Methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Ricky W. Butler"
    link: "https://researchr.org/alias/ricky-w.-butler"
  - name: "David L. Dill"
    link: "https://researchr.org/alias/david-l.-dill"
  - name: "Robert L. Glass"
    link: "https://researchr.org/alias/robert-l.-glass"
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  - name: "Anthony Hall"
    link: "https://researchr.org/alias/anthony-hall"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "C. Michael Holloway"
    link: "https://researchr.org/alias/c.-michael-holloway"
  - name: "Daniel Jackson"
    link: "https://researchr.org/alias/daniel-jackson"
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "Michael J. Lutz"
    link: "https://researchr.org/alias/michael-j.-lutz"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "John M. Rushby"
    link: "https://researchr.org/alias/john-m.-rushby"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Pamela Zave"
    link: "https://researchr.org/alias/pamela-zave"
  year: "1996"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BowenBDGGHHHJJLPRWZ96"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "29"
  number: "4"
  pages: "16-30"
  kind: "article"
  key: "BowenBDGGHHHJJLPRWZ96"
- title: "Using Larch to Specify Avalon/C++ Objects"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1990"
  doi: "http://www.computer.org/tse/ts1990/e1076abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1990/e1076abs.htm"
  tags:
  - "meta-model"
  - "C++"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wing90"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "16"
  number: "9"
  pages: "1076-1088"
  kind: "article"
  key: "Wing90"
- title: "Specifying Functional and Timing Behavior for Real-Time Applications"
  author:
  - name: "Mario Barbacci"
    link: "https://researchr.org/alias/mario-barbacci"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1987"
  researchr: "https://researchr.org/publication/BarbacciW87%3A0"
  cites: 0
  citedby: 0
  pages: "124-140"
  booktitle: "PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "A. J. Nijman"
    link: "https://researchr.org/alias/a.-j.-nijman"
  - name: "Philip C. Treleaven"
    link: "https://researchr.org/alias/philip-c.-treleaven"
  volume: "259"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17945-3"
  kind: "inproceedings"
  key: "BarbacciW87:0"
- title: "Reasoning about Atomic Objects"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1988"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HerlihyW88%3A0"
  cites: 0
  citedby: 0
  pages: "193-208"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988"
  editor:
  - name: "Mathai Joseph"
    link: "https://researchr.org/alias/mathai-joseph"
  volume: "331"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50302-1"
  kind: "inproceedings"
  key: "HerlihyW88:0"
- title: "A Language for Distributed Applications"
  author:
  - name: "Mario Barbacci"
    link: "https://researchr.org/alias/mario-barbacci"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1990"
  researchr: "https://researchr.org/publication/BarbacciW90"
  cites: 0
  citedby: 0
  pages: "59-68"
  booktitle: "1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-2036-6"
  kind: "inproceedings"
  key: "BarbacciW90"
- title: "The CMU Master of Software Engineering Core Curriculum"
  author:
  - name: "David Garlan"
    link: "https://researchr.org/alias/david-garlan"
  - name: "Alan W. Brown"
    link: "https://researchr.org/alias/alan-w.-brown"
  - name: "Daniel Jackson"
    link: "https://researchr.org/alias/daniel-jackson"
  - name: "James E. Tomayko"
    link: "https://researchr.org/alias/james-e.-tomayko"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1995"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/GarlanBJTW95"
  cites: 0
  citedby: 0
  pages: "65-86"
  booktitle: "Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings"
  editor:
  - name: "Rosalind L. Ibrahim"
    link: "https://researchr.org/alias/rosalind-l.-ibrahim"
  volume: "895"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58951-1"
  kind: "inproceedings"
  key: "GarlanBJTW95"
- title: "Verifiable Secret Redistribution for Archive System"
  author:
  - name: "Theodore M. Wong"
    link: "https://researchr.org/alias/theodore-m.-wong"
  - name: "Chenxi Wang"
    link: "https://researchr.org/alias/chenxi-wang"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/sisw/2002/1888/00/18880094abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/sisw/2002/1888/00/18880094abs.htm"
  researchr: "https://researchr.org/publication/WongWW02"
  cites: 0
  citedby: 0
  pages: "94-106"
  booktitle: "IEEE Security in Storage Workshop"
  kind: "inproceedings"
  key: "WongWW02"
- title: "Verifying Atomic Data Types"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1989"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Wing89"
  cites: 0
  citedby: 0
  pages: "731-758"
  booktitle: "Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "430"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52559-9"
  kind: "inproceedings"
  key: "Wing89"
- title: "Two Formal Analys s of Attack Graphs"
  author:
  - name: "Somesh Jha"
    link: "https://researchr.org/alias/somesh-jha"
  - name: "Oleg Sheyner"
    link: "https://researchr.org/alias/oleg-sheyner"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890049abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890049abs.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/JhaSW02"
  cites: 0
  citedby: 0
  pages: "49-63"
  booktitle: "15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1689-0"
  kind: "inproceedings"
  key: "JhaSW02"
- title: "Specification and Prototyping: Some Thoughts on Why They Are Successful"
  author:
  - name: "Daniel M. Berry"
    link: "https://researchr.org/alias/daniel-m.-berry"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1985"
  researchr: "https://researchr.org/publication/BerryW85"
  cites: 0
  citedby: 0
  pages: "117-128"
  booktitle: "Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Christiane Floyd"
    link: "https://researchr.org/alias/christiane-floyd"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "James W. Thatcher"
    link: "https://researchr.org/alias/james-w.-thatcher"
  volume: "186"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15199-0"
  kind: "inproceedings"
  key: "BerryW85"
- title: "Tools for Generating and Analyzing Attack Graphs"
  author:
  - name: "Oleg Sheyner"
    link: "https://researchr.org/alias/oleg-sheyner"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=344"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=344"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/SheynerW03"
  cites: 0
  citedby: 0
  pages: "344-372"
  booktitle: "Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "3188"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22942-6"
  kind: "inproceedings"
  key: "SheynerW03"
- title: "Software Security"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2007.45"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TASE.2007.45"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/Wing07%3A0"
  cites: 0
  citedby: 0
  pages: "21"
  booktitle: "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "Wing07:0"
- title: "Ranking Attack Graphs"
  author:
  - name: "Vaibhav Mehta"
    link: "https://researchr.org/alias/vaibhav-mehta"
  - name: "Constantinos Bartzis"
    link: "https://researchr.org/alias/constantinos-bartzis"
  - name: "Haifeng Zhu"
    link: "https://researchr.org/alias/haifeng-zhu"
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11856214_7"
  links:
    doi: "http://dx.doi.org/10.1007/11856214_7"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/MehtaBZCW06"
  cites: 0
  citedby: 0
  pages: "127-144"
  booktitle: "Recent Advances in Intrusion Detection, 9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings"
  editor:
  - name: "Diego Zamboni"
    link: "https://researchr.org/alias/diego-zamboni"
  - name: "Christopher Krügel"
    link: "https://researchr.org/alias/christopher-kr%C3%BCgel"
  volume: "4219"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-39723-X"
  kind: "inproceedings"
  key: "MehtaBZCW06"
- title: "A Nitpick Analysis of Mobile IPv6"
  author:
  - name: "Daniel Jackson"
    link: "https://researchr.org/alias/daniel-jackson"
  - name: "Yu-Chung Ng"
    link: "https://researchr.org/alias/yu-chung-ng"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/9011006/90110591.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00165/bibs/9011006/90110591.htm"
  tags:
  - "analysis"
  - "mobile"
  researchr: "https://researchr.org/publication/JacksonNW99"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "11"
  number: "6"
  pages: "591-615"
  kind: "article"
  key: "JacksonNW99"
- title: "Game strategies in network security"
  author:
  - name: "Kong Wei Lye"
    link: "https://researchr.org/alias/kong-wei-lye"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10207-004-0060-x"
  links:
    doi: "http://dx.doi.org/10.1007/s10207-004-0060-x"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/LyeW05"
  cites: 0
  citedby: 0
  journal: "Int. J. Inf. Sec."
  volume: "4"
  number: "1-2"
  pages: "71-86"
  kind: "article"
  key: "LyeW05"
- title: "Measuring the attack surfaces of two FTP daemons"
  author:
  - name: "Pratyusa K. Manadhata"
    link: "https://researchr.org/alias/pratyusa-k.-manadhata"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mark Flynn"
    link: "https://researchr.org/alias/mark-flynn"
  - name: "Miles McQueen"
    link: "https://researchr.org/alias/miles-mcqueen"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1179494.1179497"
  links:
    doi: "http://doi.acm.org/10.1145/1179494.1179497"
  researchr: "https://researchr.org/publication/ManadhataWFM06"
  cites: 0
  citedby: 0
  pages: "3-10"
  booktitle: "Proceedings of the 2nd ACM Workshop on Quality of Protection, QoP 2006, Alexandria, VA, USA, October 30, 2006"
  editor:
  - name: "Günter Karjoth"
    link: "https://researchr.org/alias/g%C3%BCnter-karjoth"
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  publisher: "ACM"
  isbn: "1-59593-553-3"
  kind: "inproceedings"
  key: "ManadhataWFM06"
- title: "Formal Methods: State of the Art and Future Directions"
  author:
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1996"
  researchr: "https://researchr.org/publication/ClarkeW96"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "28"
  number: "4"
  pages: "626-643"
  kind: "article"
  key: "ClarkeW96"
- title: "Linearizability: A Correctness Condition for Concurrent Objects"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/78969.78972"
  links:
    doi: "http://doi.acm.org/10.1145/78969.78972"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HerlihyW90"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "12"
  number: "3"
  pages: "463-492"
  kind: "article"
  key: "HerlihyW90"
- title: "Report: Measuring the Attack Surfaces of Enterprise Software"
  author:
  - name: "Pratyusa K. Manadhata"
    link: "https://researchr.org/alias/pratyusa-k.-manadhata"
  - name: "Yücel Karabulut"
    link: "https://researchr.org/alias/y%C3%BCcel-karabulut"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00199-4_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00199-4_8"
  researchr: "https://researchr.org/publication/ManadhataKW09"
  cites: 0
  citedby: 0
  pages: "91-100"
  booktitle: "Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings"
  editor:
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  - name: "Samuel T. Redwine Jr."
    link: "https://researchr.org/alias/samuel-t.-redwine-jr."
  - name: "Nicola Zannone"
    link: "https://researchr.org/alias/nicola-zannone"
  volume: "5429"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00198-7"
  kind: "inproceedings"
  key: "ManadhataKW09"
- title: "Protective Interface Specifications"
  author:
  - name: "Gary T.  Leavens"
    link: "http://www.cs.ucf.edu/~leavens/homepage.html"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1998"
  researchr: "https://researchr.org/publication/LeavensW98"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "10"
  number: "1"
  pages: "59-75"
  kind: "article"
  key: "LeavensW98"
- title: "Dynamic Sets for Search"
  author:
  - name: "David C. Steere"
    link: "https://researchr.org/alias/david-c.-steere"
  - name: "Mahadev Satyanarayanan"
    link: "https://researchr.org/alias/mahadev-satyanarayanan"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1994"
  tags:
  - "C++"
  - "search"
  researchr: "https://researchr.org/publication/SteereSW94"
  cites: 0
  citedby: 0
  pages: "397"
  booktitle: "PODC"
  kind: "inproceedings"
  key: "SteereSW94"
- title: "Teaching Mathematics to Software Engineers"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1995"
  tags:
  - "teaching"
  researchr: "https://researchr.org/publication/Wing95%3A0"
  cites: 0
  citedby: 0
  pages: "18-40"
  booktitle: "Algebraic Methodology and Software Technology, 4th International Conference, AMAST  95, Montreal, Canada, July 3-7, 1995, Proceedings"
  editor:
  - name: "Vangalur S. Alagar"
    link: "https://researchr.org/alias/vangalur-s.-alagar"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  volume: "936"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60043-4"
  kind: "inproceedings"
  key: "Wing95:0"
- title: "Developing Applications for Heterogeneous Machine Networks: The Durra Network"
  author:
  - name: "Mario Barbacci"
    link: "https://researchr.org/alias/mario-barbacci"
  - name: "Dennis L. Doubleday"
    link: "https://researchr.org/alias/dennis-l.-doubleday"
  - name: "Charles B. Weinstock"
    link: "https://researchr.org/alias/charles-b.-weinstock"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1989"
  researchr: "https://researchr.org/publication/BarbacciDWW89"
  cites: 0
  citedby: 0
  journal: "Computing Systems"
  volume: "2"
  number: "1"
  pages: "7-35"
  kind: "article"
  key: "BarbacciDWW89"
- title: "Programming at the Processor-Memory-Switch Level"
  author:
  - name: "Mario Barbacci"
    link: "https://researchr.org/alias/mario-barbacci"
  - name: "Charles B. Weinstock"
    link: "https://researchr.org/alias/charles-b.-weinstock"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1988"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/BarbacciWW88"
  cites: 0
  citedby: 0
  pages: "19-29"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BarbacciWW88"
- title: "Thoughts on a Larch/ML and a New Application for LP"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Eugene J. Rollins"
    link: "https://researchr.org/alias/eugene-j.-rollins"
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  year: "1992"
  researchr: "https://researchr.org/publication/WingRZ92"
  cites: 0
  citedby: 0
  pages: "297-312"
  booktitle: "First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992"
  editor:
  - name: "Ursula Martin"
    link: "https://researchr.org/alias/ursula-martin"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19804-0"
  kind: "inproceedings"
  key: "WingRZ92"
- title: "Specifications and Their Use in Defining Subtypes"
  author:
  - name: "Barbara Liskov"
    link: "http://www.pmg.csail.mit.edu/~liskov/"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1993"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/LiskovW93%3A0"
  cites: 0
  citedby: 0
  pages: "16-28"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "LiskovW93:0"
- title: "Model Checking Software Systems: A Case Study"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mandana Vaziri"
    link: "https://researchr.org/alias/mandana-vaziri"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/222124.222148"
  links:
    doi: "http://doi.acm.org/10.1145/222124.222148"
  tags:
  - "case study"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/WingV95"
  cites: 0
  citedby: 0
  pages: "128-139"
  booktitle: "SIGSOFT FSE"
  kind: "inproceedings"
  key: "WingV95"
- title: "A Specifier s Introduction to Formal Methods"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1990"
  researchr: "https://researchr.org/publication/Wing90%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "23"
  number: "9"
  pages: "8-24"
  kind: "article"
  key: "Wing90:0"
- title: "Specifying Graceful Degradation"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1991"
  doi: "http://computer.org/tpds/td1991/l0093abs.htm"
  links:
    doi: "http://computer.org/tpds/td1991/l0093abs.htm"
  researchr: "https://researchr.org/publication/HerlihyW91%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Parallel Distrib. Syst."
  volume: "2"
  number: "1"
  pages: "93-104"
  kind: "article"
  key: "HerlihyW91:0"
- title: "Specifications and Their Use in Defining Subtypes"
  author:
  - name: "Barbara Liskov"
    link: "http://www.pmg.csail.mit.edu/~liskov/"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1995"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/LiskovW95"
  cites: 0
  citedby: 0
  pages: "245-263"
  booktitle: "ZUM  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  kind: "inproceedings"
  key: "LiskovW95"
- title: "Tools and Partial Analysis"
  author:
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1996"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/ClarkeW96a"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "28"
  number: "4es"
  pages: "116"
  kind: "article"
  key: "ClarkeW96a"
- title: "Avalon/C++"
  author:
  - name: "David Detlefs"
    link: "https://researchr.org/alias/david-detlefs"
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "K. Kietzke"
    link: "https://researchr.org/alias/k.-kietzke"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1987"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/DetlefsHKW87"
  cites: 0
  citedby: 0
  pages: "451-459"
  booktitle: "C++ Workshop"
  kind: "inproceedings"
  key: "DetlefsHKW87"
- title: "Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160002.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160002.htm"
  tags:
  - "weaving"
  - "e-science"
  researchr: "https://researchr.org/publication/Wing00%3A0"
  cites: 0
  citedby: 0
  pages: "2-9"
  booktitle: "Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings"
  editor:
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  volume: "1816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67530-2"
  kind: "inproceedings"
  key: "Wing00:0"
- title: "Towards an Algebra for Security Policies"
  author:
  - name: "Jonathan D. Pincus"
    link: "https://researchr.org/alias/jonathan-d.-pincus"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11494744_3"
  links:
    doi: "http://dx.doi.org/10.1007/11494744_3"
  tags:
  - "security"
  - " algebra"
  researchr: "https://researchr.org/publication/PincusW05"
  cites: 0
  citedby: 0
  pages: "17-25"
  booktitle: "Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings"
  editor:
  - name: "Gianfranco Ciardo"
    link: "https://researchr.org/alias/gianfranco-ciardo"
  - name: "Philippe Darondeau"
    link: "https://researchr.org/alias/philippe-darondeau"
  volume: "3536"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26301-2"
  kind: "inproceedings"
  key: "PincusW05"
- title: "Specifying Avalon Objects in Larch"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1989"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wing89%3A0"
  cites: 0
  citedby: 0
  pages: "61-80"
  booktitle: "TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "352"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50940-2"
  kind: "inproceedings"
  key: "Wing89:0"
- title: "Axioms for Concurrent Objects"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1987"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HerlihyW87%3A0"
  cites: 0
  citedby: 0
  pages: "13-26"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HerlihyW87:0"
- title: "Specifying Security Constraints with Relaxation Lattices"
  author:
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1989"
  tags:
  - "constraints"
  - "security"
  researchr: "https://researchr.org/publication/HerlihyW89%3A0"
  cites: 0
  citedby: 0
  pages: "47-53"
  booktitle: "CSFW"
  kind: "inproceedings"
  key: "HerlihyW89:0"
- title: "Extending Ina Jo with Temporal Logic"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Mark R. Nixon"
    link: "https://researchr.org/alias/mark-r.-nixon"
  year: "1989"
  doi: "http://www.computer.org/tse/ts1989/e0181abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1989/e0181abs.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/WingN89"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "15"
  number: "2"
  pages: "181-197"
  kind: "article"
  key: "WingN89"
- title: "Miró: Visual Specification of Security"
  author:
  - name: "Allan Heydon"
    link: "https://researchr.org/alias/allan-heydon"
  - name: "Mark W. Maimone"
    link: "https://researchr.org/alias/mark-w.-maimone"
  - name: "J. D. Tygar"
    link: "https://researchr.org/alias/j.-d.-tygar"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  year: "1990"
  doi: "http://www.computer.org/tse/ts1990/e1185abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1990/e1185abs.htm"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/HeydonMTWZ90"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "16"
  number: "10"
  pages: "1185-1197"
  kind: "article"
  key: "HeydonMTWZ90"
- title: "Survivability Analysis of Networked Systems"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2001"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/Wing01"
  cites: 0
  citedby: 0
  pages: "459"
  booktitle: "Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21:::st::: International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea"
  editor:
  - name: "Myungchul Kim"
    link: "https://researchr.org/alias/myungchul-kim"
  - name: "Byoungmoon Chin"
    link: "https://researchr.org/alias/byoungmoon-chin"
  - name: "Sungwon Kang"
    link: "https://researchr.org/alias/sungwon-kang"
  - name: "Danhyung Lee"
    link: "https://researchr.org/alias/danhyung-lee"
  volume: "197"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7470-3"
  kind: "inproceedings"
  key: "Wing01"
- title: "Survivability Analysis of Network Systems"
  author:
  - name: "Somesh Jha"
    link: "https://researchr.org/alias/somesh-jha"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "2001"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/JhaW01"
  cites: 0
  citedby: 0
  pages: "307-317"
  booktitle: "Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1050-7"
  kind: "inproceedings"
  key: "JhaW01"
- title: "Protective Interface Specifications"
  author:
  - name: "Gary T.  Leavens"
    link: "http://www.cs.ucf.edu/~leavens/homepage.html"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1997"
  researchr: "https://researchr.org/publication/LeavensW97"
  cites: 0
  citedby: 0
  pages: "520-534"
  booktitle: "TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings"
  editor:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Max Dauchet"
    link: "https://researchr.org/alias/max-dauchet"
  volume: "1214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62781-2"
  kind: "inproceedings"
  key: "LeavensW97"
- title: "Reliable Distributed Computing with Avalon/Common Lisp"
  author:
  - name: "Stewart M. Clamen"
    link: "https://researchr.org/alias/stewart-m.-clamen"
  - name: "Linda D. Leibengood"
    link: "https://researchr.org/alias/linda-d.-leibengood"
  - name: "Scott Nettles"
    link: "https://researchr.org/alias/scott-nettles"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1990"
  researchr: "https://researchr.org/publication/ClamenLNW90"
  cites: 0
  citedby: 0
  pages: "169-179"
  booktitle: "1990 Internation Conference on Computer Languages, March 12-15 1990, New Orleans, Louisiana, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-2036-6"
  kind: "inproceedings"
  key: "ClamenLNW90"
- title: "Writing Larch Interface Language Specifications"
  author:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1987"
  doi: "http://doi.acm.org/10.1145/9758.10500"
  links:
    doi: "http://doi.acm.org/10.1145/9758.10500"
  tags:
  - "writing"
  researchr: "https://researchr.org/publication/Wing87"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "9"
  number: "1"
  pages: "1-24"
  kind: "article"
  key: "Wing87"
- title: "Constraining Pictures with Pictures"
  author:
  - name: "Allan Heydon"
    link: "https://researchr.org/alias/allan-heydon"
  - name: "Mark W. Maimone"
    link: "https://researchr.org/alias/mark-w.-maimone"
  - name: "J. D. Tygar"
    link: "https://researchr.org/alias/j.-d.-tygar"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Amy Moormann Zaremski"
    link: "https://researchr.org/alias/amy-moormann-zaremski"
  year: "1989"
  researchr: "https://researchr.org/publication/HeydonMTWZ89"
  cites: 0
  citedby: 0
  pages: "157-162"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "HeydonMTWZ89"
- title: "A New Definition of the Subtype Relation"
  author:
  - name: "Barbara Liskov"
    link: "http://www.pmg.csail.mit.edu/~liskov/"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1993"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0707/07070118.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/0707/07070118.htm"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/LiskovW93"
  cites: 0
  citedby: 0
  pages: "118-141"
  booktitle: "ECOOP 93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings"
  editor:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  volume: "707"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57120-5"
  kind: "inproceedings"
  key: "LiskovW93"
- title: "Panel on Transactions in Object-Oriented Systems"
  author:
  - name: "Stanley B. Zdonik"
    link: "https://researchr.org/alias/stanley-b.-zdonik"
  - name: "Toby Bloom"
    link: "https://researchr.org/alias/toby-bloom"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1989"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/ZdonikBSW89"
  cites: 0
  citedby: 0
  pages: "473-476"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "ZdonikBSW89"
- title: "Inheritance of Synchronization and Recovery Properties in Avalon/C++"
  author:
  - name: "David Detlefs"
    link: "https://researchr.org/alias/david-detlefs"
  - name: "Maurice Herlihy"
    link: "https://researchr.org/alias/maurice-herlihy"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  year: "1988"
  tags:
  - "synchronization"
  - "C++"
  researchr: "https://researchr.org/publication/DetlefsHW88"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "21"
  number: "12"
  pages: "57-69"
  kind: "article"
  key: "DetlefsHW88"
- title: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II"
  year: "1999"
  researchr: "https://researchr.org/publication/fm%3A1999-2"
  cites: 0
  citedby: 0
  booktitle: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II"
  conference: "FM"
  editor:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  volume: "1709"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66588-9"
  kind: "proceedings"
  key: "fm:1999-2"
- title: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I"
  year: "1999"
  researchr: "https://researchr.org/publication/fm%3A1999-1"
  cites: 0
  citedby: 0
  booktitle: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I"
  conference: "FM"
  editor:
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  volume: "1708"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66587-0"
  kind: "proceedings"
  key: "fm:1999-1"
- title: "First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992"
  year: "1993"
  researchr: "https://researchr.org/publication/larch%3A1992"
  cites: 0
  citedby: 0
  booktitle: "First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992"
  conference: "larch"
  editor:
  - name: "Ursula Martin"
    link: "https://researchr.org/alias/ursula-martin"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19804-0"
  kind: "proceedings"
  key: "larch:1992"