default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPamela Zave
Person information
- affiliation: Princeton University, NJ, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j41]Pamela Zave
, Jennifer Rexford:
Patterns and Interactions in Network Security. ACM Comput. Surv. 53(6): 118:1-118:37 (2021)- [j40]Pamela Zave, Fabrício B. Carvalho, Ronaldo A. Ferreira, Jennifer Rexford, Masaharu Morimoto, Xuan Kelvin Zou:
A Verified Session Protocol for Dynamic Service Chaining. IEEE/ACM Trans. Netw. 29(1): 423-437 (2021) - 2020
- [c58]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:
MUSIC: Multi-Site Critical Sections over Geo-Distributed State. ICDCS 2020: 639-651 - [i7]Pamela Zave, Jennifer Rexford, John Sonchack:
The Remaining Improbable: Toward Verifiable Network Services. CoRR abs/2009.12861 (2020)
2010 – 2019
- 2019
- [j39]Pamela Zave, Jennifer Rexford:
The compositional architecture of the internet. Commun. ACM 62(3): 78-87 (2019) - [i6]Pamela Zave, Jennifer Rexford:
Patterns and Interactions in Network Security. CoRR abs/1912.13371 (2019) - 2018
- [c57]Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave:
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services. PODC 2018: 281-284 - 2017
- [j38]Pamela Zave:
Reasoning About Identifier Spaces: How to Make Chord Correct. IEEE Trans. Software Eng. 43(12): 1144-1156 (2017) - [c56]Lana Yarosh, Pamela Zave:
Locked or Not?: Mental Models of IoT Feature Interaction. CHI 2017: 2993-2997 - [c55]Pamela Zave, Ronaldo Alves Ferreira, Xuan Kelvin Zou, Masaharu Morimoto, Jennifer Rexford:
Dynamic Service Chaining with Dysco. SIGCOMM 2017: 57-70 - [p3]Pamela Zave:
A Theory of Networking and Its Contributions to Software Engineering. Present and Ulterior Software Engineering 2017: 47-64 - 2016
- [c54]Pamela Zave:
Theories of everything. ICSE (Companion Volume) 2016: 793-796 - [i5]Pamela Zave:
Reasoning about identifier spaces: How to make Chord correct. CoRR abs/1610.01140 (2016) - 2015
- [j37]Pamela Zave:
A practical comparison of Alloy and Spin. Formal Aspects Comput. 27(2): 239-253 (2015) - [c53]Pamela Zave:
Bridging the Research-Industry Gap: The Case for Domain Modeling. SER&IP@ICSE 2015: 3-4 - [p2]Pamela Zave:
A Theory of Networks: In the Beginning . . . Dependable Software Systems Engineering 2015: 288-303 - [i4]Pamela Zave:
How to Make Chord Correct (Using a Stable Base). CoRR abs/1502.06461 (2015) - [i3]Pamela Zave, Eric Cheung, Svetlana Yarosh:
Toward user-centric feature composition for the Internet of Things. CoRR abs/1510.06714 (2015) - [i2]Nikolaj S. Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave:
Formal Foundations for Networking (Dagstuhl Seminar 15071). Dagstuhl Reports 5(2): 44-63 (2015) - 2014
- [i1]Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave:
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4(7): 1-24 (2014) - 2013
- [j36]Jennifer Rexford, Pamela Zave:
Report of the DIMACS working group on abstractions for network services, architecture, and implementation. Comput. Commun. Rev. 43(1): 56-59 (2013) - [c52]Pamela Zave, Jennifer Rexford:
Compositional Network Mobility. VSTTE 2013: 68-87 - 2012
- [j35]Pamela Zave:
Using lightweight modeling to understand chord. Comput. Commun. Rev. 42(2): 49-57 (2012) - [j34]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012) - [c51]Pamela Zave, Jennifer Rexford:
The geomorphic view of networking: a network model and its uses. MW4NG@Middleware 2012: 1:1-1:6 - 2011
- [c50]Eric Cheung, Gregory W. Bond, Thomas M. Smith, Pamela Zave:
StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011. IPTComm 2011: 5:1-5:4 - [c49]Pamela Zave:
Mid-call, multi-party, and multi-device telecommunication features and their interactions. IPTComm 2011: 17:1-17:12 - [c48]Pamela Zave:
How software architecture can make an application-friendly internet. QoSA/ISARCS 2011: 1-2 - 2010
- [c47]Pamela Zave:
Internet Evolution and the Role of Software Engineering. The Future of Software Engineering 2010: 152-172 - [c46]Gregory W. Bond, Thomas M. Smith, Eric Cheung, Pamela Zave:
Specification and evaluation of transparent behavior for SIP back-to-back user agents. IPTComm 2010: 48-58 - [c45]Pamela Zave:
Modeling the Internet. MoDELS (2) 2010: 1
2000 – 2009
- 2009
- [j33]Pamela Zave, Eric Cheung:
Compositional Control of IP Media. IEEE Trans. Software Eng. 35(1): 46-66 (2009) - [c44]Pamela Zave:
Software Engineering for the Next Internet. ICSE Companion 2009: 1-11 - [c43]Pamela Zave, Eric Cheung, Gregory W. Bond, Thomas M. Smith:
Abstractions for programming SIP back-to-back user agents. IPTComm 2009: 11 - 2008
- [c42]Eric Cheung, Pamela Zave:
Generalized Third-Party Call Control in SIP Networks. IPTComm 2008: 45-68 - [c41]Pamela Zave:
Understanding SIP through Model-Checking. IPTComm 2008: 256-279 - [c40]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave:
Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296 - 2007
- [c39]Pamela Zave:
Requirements for Routing in the Application Layer. COORDINATION 2007: 19-36 - [c38]Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave:
Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64 - [c37]Pamela Zave:
Audio feature interactions in Voice-over-IP. IPTComm 2007: 67-78 - 2006
- [c36]Pamela Zave, Eric Cheung:
Compositional control of IP media. CoNEXT 2006: 18 - [c35]Pamela Zave:
Compositional Binding in Network Domains. FM 2006: 332-347 - 2005
- [c34]Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave:
Experience with Component-Based Development of a Telecommunication Service. CBSE 2005: 298-305 - [c33]Pamela Zave:
A Formal Model of Addressing for Interoperating Networks. FM 2005: 318-333 - [c32]Michael Jackson, Pamela Zave:
Where do you go when you're through the turnstile? ICSE 2005: 44 - 2004
- [j32]Pamela Zave, Healfdene Goguen, Thomas M. Smith:
Component coordination: a telecommunication case study. Comput. Networks 45(5): 645-664 (2004) - [j31]Gregory W. Bond, Eric Cheung, K. Hal Purdy, Pamela Zave, J. Christopher Ramming:
An open architecture for next-generation telecommunication services. ACM Trans. Internet Techn. 4(1): 83-123 (2004) - [j30]Pamela Zave:
Address translation in telecommunication features. ACM Trans. Softw. Eng. Methodol. 13(1): 1-36 (2004) - 2003
- [c31]Pamela Zave:
Feature Disambiguation. FIW 2003: 3-9 - [c30]Pamela Zave:
Ideal Address Translation: Principles, Properties, and Applications. FIW 2003: 257-274 - [c29]Pamela Zave:
From Architecture to Requirements: A Success Story. STRAW 2003: 9-13 - 2002
- [c28]Eric Cheung, Michael Jackson, Pamela Zave:
Distributed media control tor multimedia communications services. ICC 2002: 2454-2458 - [c27]Pamela Zave, Michael Jackson:
A Call Abstraction for Component Coordination. Formal Methods and Component Interaction @ ICALP 2002: 36-55 - 2001
- [c26]Pamela Zave:
Requirements for Evolving Systems: A Telecommunications Perspective. RE 2001: 2-9 - [e1]José Nuno Oliveira, Pamela Zave:
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Lecture Notes in Computer Science 2021, Springer 2001, ISBN 3-540-41791-5 [contents] - 2000
- [j29]Carl A. Gunter, Elsa L. Gunter, Pamela Zave:
Formal software engineering. ACM SIGSOFT Softw. Eng. Notes 25(1): 54 (2000) - [j28]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications. IEEE Softw. 17(3): 37-43 (2000) - [c25]Pamela Zave:
Feature-Oriented Description, Formal Methods, and DFC. FIREworks 2000: 11-26 - [c24]Pamela Zave, Michael Jackson:
New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW 2000: 51-66 - [c23]Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189
1990 – 1999
- 1999
- [c22]Pamela Zave:
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). FMOODS 1999 - 1998
- [j27]Pamela Zave, Michael Jackson:
A Component-Based Approach to Telecommunication Software. IEEE Softw. 15(5): 70-78 (1998) - [j26]Michael Jackson, Pamela Zave:
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24(10): 831-847 (1998) - [c21]Pamela Zave:
Systematic Design of Call-Coverage Features. AMAST 1998: 23-27 - [c20]Pamela Zave:
Architectural Solutions to Feature-Interaction Problems in Telecommunications. FIW 1998: 10-22 - [c19]Pamela Zave:
'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. Services and Visualization: Towards User-Friendly Design 1998: 8-27 - [c18]Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave:
The Village Telephone System: A Case Study in Formal Software Engineering. TPHOLs 1998: 49-66 - 1997
- [j25]Pamela Zave:
Classification of Research Efforts in Requirements Engineering. ACM Comput. Surv. 29(4): 315-321 (1997) - [j24]Pamela Zave, Michael Jackson:
Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2(2): 92-101 (1997) - [j23]Pamela Zave, Michael Jackson:
Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6(1): 1-30 (1997) - [c17]Pamela Zave, Michael Jackson:
Requirements for Telecommunications Services: An Attack on Complexity. RE 1997: 106-117 - 1996
- [j22]Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave:
Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Comput. Networks ISDN Syst. 28(13): 1845-1855 (1996) - [j21]Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave:
An Invitation to Formal Methods. Computer 29(4): 16-30 (1996) - [j20]Pamela Zave, Michael Jackson:
Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22(7): 508-528 (1996) - 1995
- [j19]Peter Mataga, Pamela Zave:
Using Z to specify telephone features. Inf. Softw. Technol. 37(5-6): 277-283 (1995) - [c16]Pamela Zave:
Secrets of Call Forwarding: A Specification Case Study. FORTE 1995: 169-184 - [c15]Michael Jackson, Pamela Zave:
Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24 - [c14]Pamela Zave:
Classification of research efforts in requirements engineering. RE 1995: 214-216 - 1994
- [c13]Peter Mataga, Pamela Zave:
Formal Specification of Telephone Features. Z User Workshop 1994: 29-50 - 1993
- [j18]Pamela Zave:
Feature Interactions and Formal Specifications in Telecommunications. Computer 26(8): 20-30 (1993) - [j17]Pamela Zave, Michael Jackson:
Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2(4): 379-411 (1993) - [c12]Michael Jackson, Pamela Zave:
Domain descriptions. RE 1993: 56-64 - [p1]Pamela Zave, Michael Jackson:
Composition of Descriptions : A Progress Report. Formal Methods in Systems Engineering 1993: 41-50 - 1991
- [j16]Pamela Zave:
An Insider's Evaluation of PAISLey. IEEE Trans. Software Eng. 17(3): 212-225 (1991) - [c11]Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) 1991: 511-525 - [c10]Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop 1991: 205-219
1980 – 1989
- 1989
- [j15]Pamela Zave:
A Compositional Approach to Multiparadigm Programming. IEEE Softw. 6(5): 15-25 (1989) - [c9]Pamela Zave, Daniel Jackson:
Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88 - [c8]Earl E. McCoy, Pamela Zave:
Multistage, Multifaceted Analysis of Telecommunications Network Architectures. INFOCOM 1989: 91-95 - [c7]Pamela Zave:
Domain understanding and the software process. ISPW 1989: 145-147 - 1988
- [j14]Pamela Zave:
Assessment. ACM SIGSOFT Softw. Eng. Notes 13(1): 40-43 (1988) - 1987
- [c6]E. F. Berliner, Pamela Zave:
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. ICSE 1987: 42-50 - 1986
- [j13]Pamela Zave:
Case Study: The Paisley Approach Applied to Its Own Software Tools. Comput. Lang. 11(1): 15-28 (1986) - [j12]Pamela Zave:
Found poetry of software engineering. ACM SIGSOFT Softw. Eng. Notes 11(2): 20 (1986) - [j11]Glenn David Bergland, Pamela Zave:
Guest Editor's Prologue Special Issue on Software Design Methods. IEEE Trans. Software Eng. 12(2): 185-191 (1986) - [j10]Pamela Zave, William M. Schell:
Salient Features of an Executable Specification Language and Its Environment. IEEE Trans. Software Eng. 12(2): 312-325 (1986) - 1985
- [j9]Pamela Zave:
A Distributed Alternative to Finite-State-Machine Specifications. ACM Trans. Program. Lang. Syst. 7(1): 10-36 (1985) - 1984
- [j8]Pamela Zave:
The Operational versus the Conventional Approach to Software Development. Commun. ACM 27(2): 104-118 (1984) - [j7]Pamela Zave:
Report to SIGSOFT membership fiscal year 1983 actual income and expenses. ACM SIGSOFT Softw. Eng. Notes 9(1): 8 (1984) - [j6]Pamela Zave:
An overview of the PAISLey project-1984. ACM SIGSOFT Softw. Eng. Notes 9(4): 12-19 (1984) - [j5]Pamela Zave:
Correction. ACM SIGSOFT Softw. Eng. Notes 9(5): 10 (1984) - 1983
- [j4]Pamela Zave, George E. Cole Jr.:
A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System. ACM Trans. Math. Softw. 9(3): 271-292 (1983) - [c5]Pamela Zave:
Operational specification languages. ACM Annual Conference 1983: 214-222 - [c4]Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave:
Knowledge-based debugging: session summary. SIGSOFT 1983: 23-24 - 1982
- [j3]Pamela Zave:
An Operational Approach to Requirements Specification for Embedded Systems. IEEE Trans. Software Eng. 8(3): 250-269 (1982) - [c3]Pamela Zave:
Testing Incomplete Specifications of Distributed Systems. PODC 1982: 42-48 - 1981
- [c2]Pamela Zave, Raymond T. Yeh:
Executable Requirements for Embedded Systems. ICSE 1981: 295-304
1970 – 1979
- 1979
- [j2]Pamela Zave:
Panel session: approaches to specification-various models <u>an informal report</u>. ACM SIGSOFT Softw. Eng. Notes 4(3): 17-18 (1979) - [j1]Pamela Zave, Werner C. Rheinboldt:
Design of an Adaptive, Parallel Finite-Element System. ACM Trans. Math. Softw. 5(1): 1-17 (1979) - [c1]Pamela Zave:
A comprehensive approach to requirements problems. COMPSAC 1979: 117-122
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
