Pamela Zave

Q: What Schools Are Affiliated With Pamela Zave

Pamela Zave is affiliated with the following schools: University of Maryland, College Park, University of California, Berkeley, University of California, San Diego, Princeton University, University of Wisconsin–Madison, Carnegie Mellon University, Cornell University, New York University

Pamela Zave's AcademicInfluence.com Rankings

Pamela Zave

Computer Science

#2797

World Rank

#2928

Historical Rank

#1169

USA Rank

Software Engineering

#143

World Rank

#143

Historical Rank

#63

USA Rank

Database

#3667

World Rank

#3818

Historical Rank

#640

USA Rank

computer-science Degrees

Download Badge

Computer Science

Pamela Zave's Degrees

PhD Computer Science Carnegie Mellon University
Masters Computer Science Carnegie Mellon University
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Why Is Pamela Zave Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Pamela Zave is an American computer scientist now working at Princeton University. She is known for her work on requirements engineering, telecommunication services, and protocol modeling and verification, and is now working on network architecture. She was named a Fellow of the Association for Computing Machinery in 2002, and was the 2017 recipient of the Harlan D. Mills Award from the IEEE Computer Society.

(See a Problem?)

Pamela Zave's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Four dark corners of requirements engineering (1997) (811)
Classification of research efforts in requirements engineering (1995) (562)
An Operational Approach to Requirements Specification for Embedded Systems (1982) (322)
Matching and Merging of Statecharts Specifications (2007) (321)
A Reference Model for Requirements and Specifications (2000) (293)
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services (1998) (273)
Conjunction as composition (1993) (260)
The operational versus the conventional approach to software development (1984) (252)
Deriving Specifications from Requirements: an Example (1995) (201)
Feature interactions and formal specifications in telecommunications (1993) (164)
An Invitation to Formal Methods (1996) (161)
Domain descriptions (1993) (146)
Salient features of an executable specification language and its environment (1986) (126)
FME 2001: Formal Methods for Increasing Software Productivity (2001) (123)
A compositional approach to multiparadigm programming (1989) (105)
Using lightweight modeling to understand chord (2012) (97)
An Insider's Evaluation of PAISLey (1991) (86)
Where Do Operations Come From: A Multiparadigm Specification Technique (1996) (82)
A distributed alternative to finite-state-machine specifications (1985) (66)
Dynamic Service Chaining with Dysco (2017) (59)
An experiment in feature engineering (2003) (53)
Design of an Adaptive, Parallel Finite-Element System (1979) (52)
Executable requirements for embedded systems (1981) (50)
Specifying software requirements (1980) (50)
Matching and Merging of Variant Feature Specifications (2012) (44)
An open architecture for next-generation telecommunication services (2004) (42)
Requirements for evolving systems: a telecommunications perspective (2001) (39)
A reference model for requirements and specifications - extended abstract (2000) (35)
A practical comparison of Alloy and Spin (2015) (34)
Feature-Oriented Description, Formal Methods, and DFC (2000) (30)
'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony (1998) (29)
Locked or Not?: Mental Models of IoT Feature Interaction (2017) (29)
New Feature Interactions in Mobile and Multimedia Telecommunications Services (2000) (29)
A component-based approach to telecommunication software (1998) (27)
Understanding SIP through Model-Checking (2008) (26)
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281) (2014) (24)
Compositional Control of IP Media (2006) (24)
Experience with component-based development of a telecommunication service (2005) (24)
Reasoning About Identifier Spaces: How to Make Chord Correct (2016) (24)
Techniques for Partial Specification and Specification of Switching Systems (1991) (23)
Component coordination: a telecommunication case study (2004) (20)
A Formal Model of Addressing for Interoperating Networks (2005) (19)
Modularity in Distributed Feature Composition (2009) (19)
A Call Abstraction for Component Coordination (2002) (19)
Secrets of Call Forwarding: A Specification Case Study (1995) (19)
Software Requirements and Design: The Work of Michael Jackson (2011) (19)
Formal Specification of Telephone Features (1994) (19)
The compositional architecture of the internet (2019) (17)
Architectural Solutions to Feature-Interaction Problems in Telecommunications (1998) (17)
Requirements for telecommunications services: an attack on complexity (1997) (16)
How to Make Chord Correct (Using a Stable Base) (2015) (16)
Abstractions for programming SIP back-to-back user agents (2009) (15)
Address translation in telecommunication features (2004) (15)
An experiment in technology transfer: PAISLey specification of requirements for an undersea lightwave cable system (1987) (15)
A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System (1983) (15)
The Village Telephone System: A Case Study in Formal Software Engineering (1998) (15)
Compositional Binding in Network Domains (2006) (15)
The Design Space of Network Mobility (2013) (14)
Towards compositional synthesis of evolving systems (2008) (13)
Audio feature interactions in Voice-over-IP (2007) (11)
Theories of Everything (2016) (11)
Practical Specification Techniques for Control-Oriented Systems (1989) (11)
Systematic Design of Call-Coverage Features (1999) (11)
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995) (1996) (10)
A comprehensive approach to requirements problems (1979) (10)
Generalized Third-Party Call Control in SIP Networks (2008) (8)
Case Study: The Paisley Approach Applied to Its Own Software Tools (1986) (8)
Feature Interactions: The Next Generation (2014) (7)
Testing incomplete specifications of distributed systems (1982) (7)
Toward a Lightweight Model of BGP Safety (2013) (7)
Toward user-centric feature composition for the Internet of Things (2015) (7)
Compositional Network Mobility (2013) (7)
Feature Disambiguation (2003) (6)
Report of the DIMACS working group on abstractions for network services, architecture, and implementation (2013) (6)
Distributed media control tor multimedia communications services (2002) (6)
Operational specification languages (1983) (6)
Experiences with Protocol Description (2011) (6)
Lightweight Verification of Network Protocols : The Case of Chord (2009) (5)
The geomorphic view of networking: a network model and its uses (2012) (5)
DFC modifications II: Protocol extensions (1999) (5)
Formal Methods and Networking : Former Success , Current Failure (2012) (5)
'Real-World' Properties in the Requirements for Embedded Systems, (1979) (5)
Let's put more emphasis on perspective methods (1986) (5)
Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001) (4)
An overview of the PAISLey project-1984 (1984) (4)
Formal Description of Telecommunication Services in Promela and Z (2007) (4)
Ideal Address Translation: Principles, Properties, and Applications (2003) (4)
Industrial Practice (1996) (4)
Requirements for Routing in the Application Layer (2007) (4)
Guest editors' prologue special issue on software design methods (1986) (4)
Formal Foundations for Networking (Dagstuhl Seminar 15071) (2015) (4)
Mid-call, multi-party, and multi-device telecommunication features and their interactions (2011) (4)
An Architecture for Three Challenging Features (2001) (3)
A multi-level secure message switch with minimal TCB: architectural outline and security analysis (1988) (3)
Domain Understanding And The Software Process (1989) (3)
Composition of Descriptions : A Progress Report (1993) (3)
Using Z to specify telephone features (1995) (3)
Software Requirements: A Report on the State of the Art. (1980) (3)
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services (2018) (3)
Specification and evaluation of transparent behavior for SIP back-to-back user agents (2010) (3)
Telecommunications service requirements: Principles for managing complexity (1997) (2)
From Architecture to Requirements: A Success Story (2003) (2)
Internet Evolution and the Role of Software Engineering (2010) (2)
Formal software engineering (2000) (2)
Software Engineering for the Next Internet (2009) (1)
How to Make Chord Correct (2015) (1)
The Formal Specification of an Adaptive, Parallel Finite Element System. (1978) (1)
Patterns and Interactions in Network Security (2019) (1)
A Functional Technique for Decomposing the Complexity of Requirements Analysis (1981) (1)
Panel session: approaches to specification-various models an informal report (1979) (1)
Multistage, multifaceted analysis of telecommunications network architectures (1989) (1)
A Theory of Networks: In the Beginning . . (2015) (1)
Bridging the Research-Industry Gap: The Case for Domain Modeling (2015) (1)
Found poetry of software engineering (1986) (0)
A Theory of Networking and Its Contributions to Software Engineering (2017) (0)
Report to SIGSOFT membership fiscal year 1983 actual income and expenses (1984) (0)
Session details: Quality (2008) (0)
A practical comparison of Alloy and Spin (2014) (0)
StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011 (2011) (0)
Functional Specification of Asynchronous Processes and Its Application to the Early Phases of System Development. (1979) (0)
Principles of Signaling/media Separation (0)
The StratoSIP Manual (2012) (0)
How software architecture can make an application-friendly internet (2011) (0)
A Verified Session Protocol for Dynamic Service Chaining (2021) (0)
Modeling the internet (2010) (0)
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial) (1999) (0)
Knowledge-based debugging (Session Summary) (1983) (0)
Knowledge-based debugging: session summary (1983) (0)
Systematic Design of Call-coverage Features Systematic Design of Call-coverage Features (1999) (0)
MUSIC: Multi-Site Critical Sections over Geo-Distributed State (2020) (0)
Method and apparatus for use of subscriber software to communicate with the resident in the network services (2005) (0)
Applicative Specifications of Distributed Systems: Extending Them to Embedded Systems. (1981) (0)
Interaction between path instructing functions in telephone system (1996) (0)
OUTLINE AND BIBLIOGRAPHY on SPECIFICATION AND VERIFICATION OF TELECOMMUNICATION SERVICES (2007) (0)
Assessment (1988) (0)
Where do you go when you're through the turnstile? [telecommunication software development] (2005) (0)
2 14281 – Feature Interactions : The Next Generation 1 Executive Summary (2014) (0)
focus Model for Requirements and Specifications (2000) (0)
The Remaining Improbable: Toward Verifiable Network Services (2020) (0)
A ComDositional Approach to Multiparadigm mming (1989) (0)

This paper list is powered by the following services:

Other Resources About Pamela Zave

What Schools Are Affiliated With Pamela Zave?

Pamela Zave is affiliated with the following schools:

Pamela Zave's Academic­Influence.com Rankings

Pamela Zave's Degrees

Similar Degrees You Can Earn

Why Is Pamela Zave Influential?

Pamela Zave's Published Works

Published Works

Other Resources About Pamela Zave

What Schools Are Affiliated With Pamela Zave?

Pamela Zave's AcademicInfluence.com Rankings