A comprehensive approach to requirements problems. - Pamela Zave (COMPSAC, 1979)

Panel session: approaches to specification-various models an informal report. - Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 1979)

Design of an Adaptive, Parallel Finite-Element System. - Pamela Zave; Werner C. Rheinboldt (ACM Trans. Math. Softw., 1979)

Executable Requirements for Embedded Systems. - Pamela Zave; Raymond T. Yeh (ICSE, 1981)

Testing Incomplete Specifications of Distributed Systems. - Pamela Zave (PODC, 1982)

An Operational Approach to Requirements Specification for Embedded Systems. - Pamela Zave (IEEE Trans. Software Eng., 1982)

Operational specification languages. - Pamela Zave (ACM Annual Conference, 1983)

Knowledge-based debugging: session summary. - Mark A. Linton; Robert Balzer; R. J. Cunningham; C. Cordell Green; Robert L. Sedlmeyer; Elliott Solloway; William R. Swartout; Pamela Zave (SIGSOFT, 1983)

A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System. - Pamela Zave; George E. Cole Jr. (ACM Trans. Math. Softw., 1983)

The Operational versus the Conventional Approach to Software Development. - Pamela Zave (Commun. ACM, 1984)

Report to SIGSOFT membership fiscal year 1983 actual income and expenses. - Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 1984)

An overview of the PAISLey project-1984. - Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 1984)

Correction. - Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 1984)

A Distributed Alternative to Finite-State-Machine Specifications. - Pamela Zave (ACM Trans. Program. Lang. Syst., 1985)

Case Study: The Paisley Approach Applied to Its Own Software Tools. - Pamela Zave (Comput. Lang., 1986)

Found poetry of software engineering. - Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 1986)

Guest Editor's Prologue Special Issue on Software Design Methods. - Glenn David Bergland; Pamela Zave (IEEE Trans. Software Eng., 1986)

Salient Features of an Executable Specification Language and Its Environment. - Pamela Zave; William M. Schell (IEEE Trans. Software Eng., 1986)

An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. - E. F. Berliner; Pamela Zave (ICSE, 1987)

Assessment. - Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 1988)

Practical Specification Techniques for Control-Oriented Systems. - Pamela Zave; Daniel Jackson 001 (IFIP Congress, 1989)

Multistage, Multifaceted Analysis of Telecommunications Network Architectures. - Earl E. McCoy; Pamela Zave (INFOCOM, 1989)

Domain understanding and the software process. - Pamela Zave (ISPW, 1989)

A Compositional Approach to Multiparadigm Programming. - Pamela Zave (IEEE Softw., 1989)

Techniques for Partial Specification and Specification of Switching Systems. - Pamela Zave; Michael Jackson 001 (VDM Europe (1), 1991)

An Insider's Evaluation of PAISLey. - Pamela Zave (IEEE Trans. Software Eng., 1991)

Composition of Descriptions : A Progress Report. - Pamela Zave; Michael Jackson 001 (Formal Methods in Systems Engineering, 1993)

Domain descriptions. - Michael Jackson 001; Pamela Zave (RE, 1993)

Feature Interactions and Formal Specifications in Telecommunications. - Pamela Zave (Computer, 1993)

Conjunction as Composition. - Pamela Zave; Michael Jackson 001 (ACM Trans. Softw. Eng. Methodol., 1993)

Formal Specification of Telephone Features. - Peter Mataga; Pamela Zave (Z User Workshop, 1994)

Secrets of Call Forwarding: A Specification Case Study. - Pamela Zave (FORTE, 1995)

Deriving Specifications from Requirements: An Example. - Michael Jackson 001; Pamela Zave (ICSE, 1995)

Using Z to specify telephone features. - Peter Mataga; Pamela Zave (Inf. Softw. Technol., 1995)

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). - Jean-Pierre Courtiat; Piotr Dembinski; Gerard J. Holzmann; Luigi Logrippo; Harry Rudin; Pamela Zave (Comput. Networks ISDN Syst., 1996)

An Invitation to Formal Methods. - Jonathan P. Bowen; Ricky W. Butler; David L. Dill; Robert L. Glass; David Gries; Anthony Hall; Michael G. Hinchey; C. Michael Holloway; Daniel Jackson 001; Cliff B. Jones; Michael J. Lutz; David Lorge Parnas; et al. (Computer, 1996)

Where Do Operations Come From: A Multiparadigm Specification Technique. - Pamela Zave; Michael Jackson 001 (IEEE Trans. Software Eng., 1996)

Requirements for Telecommunications Services: An Attack on Complexity. - Pamela Zave; Michael Jackson 001 (RE, 1997)

Classification of Research Efforts in Requirements Engineering. - Pamela Zave (ACM Comput. Surv., 1997)

Telecommunications Service Requirements: Principles for Managing Complexity. - Pamela Zave; Michael Jackson 001 (Requir. Eng., 1997)

Four Dark Corners of Requirements Engineering. - Pamela Zave; Michael Jackson 001 (ACM Trans. Softw. Eng. Methodol., 1997)

Systematic Design of Call-Coverage Features. - Pamela Zave (AMAST, 1998)

Architectural Solutions to Feature-Interaction Problems in Telecommunications. - Pamela Zave (FIW, 1998)

'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. - Pamela Zave (Services and Visualization: Towards User-Friendly Design, 1998)

The Village Telephone System: A Case Study in Formal Software Engineering. - Karthikeyan Bhargavan; Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Davor Obradovic; Pamela Zave (TPHOLs, 1998)

A Component-Based Approach to Telecommunication Software. - Pamela Zave; Michael Jackson 001 (IEEE Softw., 1998)

Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. - Michael Jackson 001; Pamela Zave (IEEE Trans. Software Eng., 1998)

Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). - Pamela Zave (FMOODS, 1999)

Feature-Oriented Description, Formal Methods, and DFC. - Pamela Zave (FIREworks, 2000)

New Feature Interactions in Mobile and Multimedia Telecommunications Services. - Pamela Zave; Michael Jackson 001 (FIW, 2000)

A Reference Model for Requirements and Specifications-Extended Abstract. - Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Pamela Zave (ICRE, 2000)

Formal software engineering. - Carl A. Gunter; Elsa L. Gunter; Pamela Zave (ACM SIGSOFT Softw. Eng. Notes, 2000)

A Reference Model for Requirements and Specifications. - Carl A. Gunter; Elsa L. Gunter; Michael Jackson 001; Pamela Zave (IEEE Softw., 2000)

Requirements for Evolving Systems: A Telecommunications Perspective. - Pamela Zave (RE, 2001)

Distributed media control tor multimedia communications services. - Eric Cheung; Michael Jackson 001; Pamela Zave (ICC, 2002)

A Call Abstraction for Component Coordination. - Pamela Zave; Michael Jackson 001 (Formal Methods and Component Interaction @ ICALP, 2002)

Feature Disambiguation. - Pamela Zave (FIW, 2003)

Ideal Address Translation: Principles, Properties, and Applications. - Pamela Zave (FIW, 2003)

From Architecture to Requirements: A Success Story. - Pamela Zave (STRAW, 2003)

Component coordination: a telecommunication case study. - Pamela Zave; Healfdene Goguen; Thomas M. Smith (Comput. Networks, 2004)

An open architecture for next-generation telecommunication services. - Gregory W. Bond; Eric Cheung; K. Hal Purdy; Pamela Zave; J. Christopher Ramming (ACM Trans. Internet Techn., 2004)

Address translation in telecommunication features. - Pamela Zave (ACM Trans. Softw. Eng. Methodol., 2004)

Experience with Component-Based Development of a Telecommunication Service. - Gregory W. Bond; Eric Cheung; Healfdene Goguen; Karrie J. Hanson; Don Henderson; Gerald M. Karam; K. Hal Purdy; Thomas M. Smith; Pamela Zave (CBSE, 2005)

A Formal Model of Addressing for Interoperating Networks. - Pamela Zave (FM, 2005)

Where do you go when you're through the turnstile? - Michael Jackson 001; Pamela Zave (ICSE, 2005)

Compositional Binding in Network Domains. - Pamela Zave (FM, 2006)

Requirements for Routing in the Application Layer. - Pamela Zave (COORDINATION, 2007)

Matching and Merging of Statecharts Specifications. - Shiva Nejati 001; Mehrdad Sabetzadeh; Marsha Chechik; Steve M. Easterbrook; Pamela Zave (ICSE, 2007)

Audio feature interactions in Voice-over-IP. - Pamela Zave (IPTComm, 2007)

Generalized Third-Party Call Control in SIP Networks. - Eric Cheung; Pamela Zave (IPTComm, 2008)

Understanding SIP through Model-Checking. - Pamela Zave (IPTComm, 2008)

Towards compositional synthesis of evolving systems. - Shiva Nejati 001; Mehrdad Sabetzadeh; Marsha Chechik; Sebastián Uchitel; Pamela Zave (SIGSOFT FSE, 2008)

Software Engineering for the Next Internet. - Pamela Zave (ICSE Companion, 2009)

Abstractions for programming SIP back-to-back user agents. - Pamela Zave; Eric Cheung; Gregory W. Bond; Thomas M. Smith (IPTComm, 2009)

Compositional Control of IP Media. - Pamela Zave; Eric Cheung (IEEE Trans. Software Eng., 2009)

Internet Evolution and the Role of Software Engineering. - Pamela Zave (The Future of Software Engineering, 2010)

Specification and evaluation of transparent behavior for SIP back-to-back user agents. - Gregory W. Bond; Thomas M. Smith; Eric Cheung; Pamela Zave (IPTComm, 2010)

Modeling the Internet. - Pamela Zave (MoDELS (2), 2010)

StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011. - Eric Cheung; Gregory W. Bond; Thomas M. Smith; Pamela Zave (IPTComm, 2011)

Mid-call, multi-party, and multi-device telecommunication features and their interactions. - Pamela Zave (IPTComm, 2011)

How software architecture can make an application-friendly internet. - Pamela Zave (QoSA/ISARCS, 2011)

The geomorphic view of networking: a network model and its uses. - Pamela Zave; Jennifer Rexford (MW4NG@Middleware, 2012)

Using lightweight modeling to understand chord. - Pamela Zave (Comput. Commun. Rev., 2012)

Matching and Merging of Variant Feature Specifications. - Shiva Nejati 001; Mehrdad Sabetzadeh; Marsha Chechik; Steve M. Easterbrook; Pamela Zave (IEEE Trans. Software Eng., 2012)

Compositional Network Mobility. - Pamela Zave; Jennifer Rexford (VSTTE, 2013)

Report of the DIMACS working group on abstractions for network services, architecture, and implementation. - Jennifer Rexford; Pamela Zave (Comput. Commun. Rev., 2013)

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). - Sven Apel; Joanne M. Atlee; Luciano Baresi; Pamela Zave (Dagstuhl Reports, 2014)

Bridging the Research-Industry Gap: The Case for Domain Modeling. - Pamela Zave (SER&IP@ICSE, 2015)

How to Make Chord Correct (Using a Stable Base). - Pamela Zave (CoRR, 2015)

Toward user-centric feature composition for the Internet of Things. - Pamela Zave; Eric Cheung; Svetlana Yarosh (CoRR, 2015)

Formal Foundations for Networking (Dagstuhl Seminar 15071). - Nikolaj S. Bjørner; Nate Foster; Philip Brighten Godfrey; Pamela Zave (Dagstuhl Reports, 2015)

A practical comparison of Alloy and Spin. - Pamela Zave (Formal Aspects Comput., 2015)

A Theory of Networks: In the Beginning . . . - Pamela Zave (Dependable Software Systems Engineering, 2015)

Theories of everything. - Pamela Zave (ICSE (Companion Volume), 2016)

A Theory of Networking and Its Contributions to Software Engineering. - Pamela Zave (Present and Ulterior Software Engineering, 2017)

Locked or Not?: Mental Models of IoT Feature Interaction. - Lana Yarosh; Pamela Zave (CHI, 2017)

Dynamic Service Chaining with Dysco. - Pamela Zave; Ronaldo Alves Ferreira; Xuan Kelvin Zou; Masaharu Morimoto; Jennifer Rexford (SIGCOMM, 2017)

Reasoning About Identifier Spaces: How to Make Chord Correct. - Pamela Zave (IEEE Trans. Software Eng., 2017)

Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services. - Bharath Balasubramanian; Richard D. Schlichting; Pamela Zave (PODC, 2018)

The compositional architecture of the internet. - Pamela Zave; Jennifer Rexford (Commun. ACM, 2019)

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 001; Gueyoung Jung (ICDCS, 2020)

The Remaining Improbable: Toward Verifiable Network Services. - Pamela Zave; Jennifer Rexford; John Sonchack (CoRR, 2020)

Patterns and Interactions in Network Security. - Pamela Zave; Jennifer Rexford (ACM Comput. Surv., 2021)

A Verified Session Protocol for Dynamic Service Chaining. - Pamela Zave; Fabrício B. Carvalho; Ronaldo A. Ferreira; Jennifer Rexford; Masaharu Morimoto; Xuan Kelvin Zou (IEEE/ACM Trans. Netw., 2021)

Validation of Formal Models: A Case Study. - Pamela Zave; Tim Nelson (The Practice of Formal Methods (II), 2024)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. - David A. Basin; Nate Foster; Kenneth L. McMillan; Kedar S. Namjoshi; Cristina Nita-Rotaru; Jonathan M. Smith; Pamela Zave; Lenore D. Zuck (Commun. ACM, 2025)