| 2026 | SIGCOMM | VeriLucid: A Verification-aware Data-plane Programming Language. | John Sonchack, Pamela Zave, Jennifer Rexford |
| 2020 | ICDCS | MUSIC: Multi-Site Critical Sections over Geo-Distributed State. | Bharath Balasubramanian, Pamela Zave, Richard D. Schlichting, Mohammad Salehe, Shankaranarayanan Puzhavakath Narayanan, Seyed Hossein Mortazavi, Eyal de Lara, Matti A. Hiltunen, Kaustubh Joshi, Gueyoung Jung |
| 2018 | PODC | Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services. | Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave |
| 2017 | CHI | Locked or Not?: Mental Models of IoT Feature Interaction. | Lana Yarosh, Pamela Zave |
| 2017 | SIGCOMM | Dynamic Service Chaining with Dysco. | Pamela Zave, Ronaldo Alves Ferreira, Xuan Kelvin Zou, Masaharu Morimoto, Jennifer Rexford |
| 2016 | ICSE | Theories of everything. | Pamela Zave |
| 2015 | ICSE | Bridging the Research-Industry Gap: The Case for Domain Modeling. | Pamela Zave |
| 2012 | Middleware | The geomorphic view of networking: a network model and its uses. | Pamela Zave, Jennifer Rexford |
| 2010 | MODELS | Modeling the Internet. | Pamela Zave |
| 2009 | ICSE | Software Engineering for the Next Internet. | Pamela Zave |
| 2007 | Coordination | Requirements for Routing in the Application Layer. | Pamela Zave |
| 2007 | ICSE | Matching and Merging of Statecharts Specifications. | Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave |
| 2006 | CoNEXT | Compositional control of IP media. | Pamela Zave, Eric Cheung |
| 2006 | FM | Compositional Binding in Network Domains. | Pamela Zave |
| 2005 | FM | A Formal Model of Addressing for Interoperating Networks. | Pamela Zave |
| 2005 | ICSE | Where do you go when you're through the turnstile? | Michael Jackson, Pamela Zave |
| 2003 | ICSE | From Architecture to Requirements: A Success Story. | Pamela Zave |
| 2001 | RE | Requirements for Evolving Systems: A Telecommunications Perspective. | Pamela Zave |
| 1998 | TACAS | 'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. | Pamela Zave |
| 1997 | RE | Requirements for Telecommunications Services: An Attack on Complexity. | Pamela Zave, Michael Jackson |
| 1995 | FORTE | Secrets of Call Forwarding: A Specification Case Study. | Pamela Zave |
| 1995 | ICSE | Deriving Specifications from Requirements: An Example. | Michael Jackson, Pamela Zave |
| 1995 | RE | Classification of research efforts in requirements engineering. | Pamela Zave |
| 1993 | RE | Domain descriptions. | Michael Jackson, Pamela Zave |
| 1991 | FM | Techniques for Partial Specification and Specification of Switching Systems. | Pamela Zave, Michael Jackson |
| 1989 | INFOCOM | Multistage, Multifaceted Analysis of Telecommunications Network Architectures. | Earl E. McCoy, Pamela Zave |
| 1987 | ICSE | An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. | E. F. Berliner, Pamela Zave |
| 1982 | PODC | Testing Incomplete Specifications of Distributed Systems. | Pamela Zave |
| 1981 | ICSE | Executable Requirements for Embedded Systems. | Pamela Zave, Raymond T. Yeh |
| 1979 | COMPSAC | A comprehensive approach to requirements problems. | Pamela Zave |