Pamela Zave

ORCID

Publication Activity (10 Years)

Years Active: 1979-2021
Publications (10 Years): 12

Top Venues

CoRR

Dagstuhl Reports

VSTTE

ICSE (Companion Volume)

Publications

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) (2021)
Pamela Zave, Jennifer Rexford
Patterns and Interactions in Network Security. ACM Comput. Surv. 53 (6) (2021)
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)
Pamela Zave, Jennifer Rexford, John Sonchack
The Remaining Improbable: Toward Verifiable Network Services. CoRR (2020)
Pamela Zave, Jennifer Rexford
The compositional architecture of the internet. Commun. ACM 62 (3) (2019)
Pamela Zave, Jennifer Rexford
Patterns and Interactions in Network Security. CoRR (2019)
Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services. PODC (2018)
Lana Yarosh, Pamela Zave
Locked or Not?: Mental Models of IoT Feature Interaction. CHI (2017)
Pamela Zave
Reasoning About Identifier Spaces: How to Make Chord Correct. IEEE Trans. Software Eng. 43 (12) (2017)
Pamela Zave, Ronaldo Alves Ferreira, Xuan Kelvin Zou, Masaharu Morimoto, Jennifer Rexford
Dynamic Service Chaining with Dysco. SIGCOMM (2017)
Pamela Zave
Reasoning about identifier spaces: How to make Chord correct. CoRR (2016)
Pamela Zave
Theories of everything. ICSE (Companion Volume) (2016)
Pamela Zave
A practical comparison of Alloy and Spin. Formal Aspects Comput. 27 (2) (2015)
Pamela Zave
Bridging the Research-Industry Gap: The Case for Domain Modeling. SER&IP@ICSE (2015)
Pamela Zave, Eric Cheung, Svetlana Yarosh
Toward user-centric feature composition for the Internet of Things. CoRR (2015)
Nikolaj Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave
Formal Foundations for Networking (Dagstuhl Seminar 15071). Dagstuhl Reports 5 (2) (2015)
Pamela Zave
How to Make Chord Correct (Using a Stable Base). CoRR (2015)
Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4 (7) (2014)
Pamela Zave, Jennifer Rexford
Compositional Network Mobility. VSTTE (2013)
Jennifer Rexford, Pamela Zave
Report of the DIMACS working group on abstractions for network services, architecture, and implementation. Comput. Commun. Rev. 43 (1) (2013)
Pamela Zave
Using lightweight modeling to understand chord. Comput. Commun. Rev. 42 (2) (2012)
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38 (6) (2012)
Pamela Zave, Jennifer Rexford
The geomorphic view of networking: a network model and its uses. MW4NG@Middleware (2012)
Eric Cheung, Gregory W. Bond, Thomas M. Smith, Pamela Zave
StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011. IPTComm (2011)
Pamela Zave
How software architecture can make an application-friendly internet. QoSA/ISARCS (2011)
Pamela Zave
Mid-call, multi-party, and multi-device telecommunication features and their interactions. IPTComm (2011)
Pamela Zave
Internet Evolution and the Role of Software Engineering. The Future of Software Engineering (2010)
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)
Pamela Zave
Modeling the Internet. MoDELS (2) (2010)
Pamela Zave, Eric Cheung, Gregory W. Bond, Thomas M. Smith
Abstractions for programming SIP back-to-back user agents. IPTComm (2009)
Pamela Zave, Eric Cheung
Compositional Control of IP Media. IEEE Trans. Software Eng. 35 (1) (2009)
Pamela Zave
Software Engineering for the Next Internet. ICSE Companion (2009)
Eric Cheung, Pamela Zave
Generalized Third-Party Call Control in SIP Networks. IPTComm (2008)
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave
Towards compositional synthesis of evolving systems. SIGSOFT FSE (2008)
Pamela Zave
Understanding SIP through Model-Checking. IPTComm (2008)
Pamela Zave
Audio feature interactions in Voice-over-IP. IPTComm (2007)
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
Matching and Merging of Statecharts Specifications. ICSE (2007)
Pamela Zave
Requirements for Routing in the Application Layer. COORDINATION (2007)
Pamela Zave
Compositional Binding in Network Domains. FM (2006)
Pamela Zave, Eric Cheung
Compositional control of IP media. CoNEXT (2006)
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)
Pamela Zave
A Formal Model of Addressing for Interoperating Networks. FM (2005)
Michael Jackson, Pamela Zave
Where do you go when you're through the turnstile? ICSE (2005)
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) (2004)
Pamela Zave, Healfdene Goguen, Thomas M. Smith
Component coordination: a telecommunication case study. Comput. Networks 45 (5) (2004)
Pamela Zave
Address translation in telecommunication features. ACM Trans. Softw. Eng. Methodol. 13 (1) (2004)
Pamela Zave
Feature Disambiguation. FIW (2003)
Pamela Zave
From Architecture to Requirements: A Success Story. STRAW (2003)
Pamela Zave
Ideal Address Translation: Principles, Properties, and Applications. FIW (2003)
Eric Cheung, Michael Jackson, Pamela Zave
Distributed media control tor multimedia communications services. ICC (2002)
Pamela Zave, Michael Jackson
A Call Abstraction for Component Coordination. Electron. Notes Theor. Comput. Sci. 66 (4) (2002)
Pamela Zave
Requirements for Evolving Systems: A Telecommunications Perspective. RE (2001)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
A Reference Model for Requirements and Specifications. IEEE Softw. 17 (3) (2000)
Carl A. Gunter, Elsa L. Gunter, Pamela Zave
Formal software engineering. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Pamela Zave
Feature-Oriented Description, Formal Methods, and DFC. FIREworks (2000)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE (2000)
Pamela Zave, Michael Jackson
New Feature Interactions in Mobile and Multimedia Telecommunications Services. FIW (2000)
Pamela Zave
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial). FMOODS (1999)
Pamela Zave
Architectural Solutions to Feature-Interaction Problems in Telecommunications. FIW (1998)
Pamela Zave, Michael Jackson
A Component-Based Approach to Telecommunication Software. IEEE Softw. 15 (5) (1998)
Michael Jackson, Pamela Zave
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Trans. Software Eng. 24 (10) (1998)
Pamela Zave
Systematic Design of Call-Coverage Features. AMAST (1998)
Pamela Zave
'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. Services and Visualization: Towards User-Friendly Design (1998)
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)
Pamela Zave, Michael Jackson
Four Dark Corners of Requirements Engineering. ACM Trans. Softw. Eng. Methodol. 6 (1) (1997)
Pamela Zave, Michael Jackson
Requirements for Telecommunications Services: An Attack on Complexity. RE (1997)
Pamela Zave
Classification of Research Efforts in Requirements Engineering. ACM Comput. Surv. 29 (4) (1997)
Pamela Zave, Michael Jackson
Telecommunications Service Requirements: Principles for Managing Complexity. Requir. Eng. 2 (2) (1997)
Pamela Zave, Michael Jackson
Where Do Operations Come From: A Multiparadigm Specification Technique. IEEE Trans. Software Eng. 22 (7) (1996)
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) (1996)
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) (1996)
Michael Jackson, Pamela Zave
Deriving Specifications from Requirements: An Example. ICSE (1995)
Pamela Zave
Secrets of Call Forwarding: A Specification Case Study. FORTE (1995)
Peter Mataga, Pamela Zave
Using Z to specify telephone features. Inf. Softw. Technol. 37 (5-6) (1995)
Pamela Zave
Classification of research efforts in requirements engineering. RE (1995)
Peter Mataga, Pamela Zave
Formal Specification of Telephone Features. Z User Workshop (1994)
Pamela Zave, Michael Jackson
Conjunction as Composition. ACM Trans. Softw. Eng. Methodol. 2 (4) (1993)
Michael Jackson, Pamela Zave
Domain descriptions. RE (1993)
Pamela Zave
Feature Interactions and Formal Specifications in Telecommunications. Computer 26 (8) (1993)
Pamela Zave
An Insider's Evaluation of PAISLey. IEEE Trans. Software Eng. 17 (3) (1991)
Pamela Zave, Michael Jackson
Techniques for Partial Specification and Specification of Switching Systems. Z User Workshop (1991)
Pamela Zave, Michael Jackson
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) (1991)
Pamela Zave
A Compositional Approach to Multiparadigm Programming. IEEE Softw. 6 (5) (1989)
Pamela Zave, Daniel Jackson
Practical Specification Techniques for Control-Oriented Systems. IFIP Congress (1989)
Pamela Zave
Domain understanding and the software process. ISPW (1989)
Earl E. McCoy, Pamela Zave
Multistage, Multifaceted Analysis of Telecommunications Network Architectures. INFOCOM (1989)
Pamela Zave
Assessment. ACM SIGSOFT Softw. Eng. Notes 13 (1) (1988)
E. F. Berliner, Pamela Zave
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. ICSE (1987)
Pamela Zave
Case Study: The Paisley Approach Applied to Its Own Software Tools. Comput. Lang. 11 (1) (1986)
Glenn David Bergland, Pamela Zave
Guest Editor's Prologue Special Issue on Software Design Methods. IEEE Trans. Software Eng. 12 (2) (1986)
Pamela Zave
Found poetry of software engineering. ACM SIGSOFT Softw. Eng. Notes 11 (2) (1986)
Pamela Zave, William M. Schell
Salient Features of an Executable Specification Language and Its Environment. IEEE Trans. Software Eng. 12 (2) (1986)
Pamela Zave
A Distributed Alternative to Finite-State-Machine Specifications. ACM Trans. Program. Lang. Syst. 7 (1) (1985)
Pamela Zave
An overview of the PAISLey project-1984. ACM SIGSOFT Softw. Eng. Notes 9 (4) (1984)
Pamela Zave
Report to SIGSOFT membership fiscal year 1983 actual income and expenses. ACM SIGSOFT Softw. Eng. Notes 9 (1) (1984)
Pamela Zave
The Operational versus the Conventional Approach to Software Development. Commun. ACM 27 (2) (1984)
Pamela Zave
Correction. ACM SIGSOFT Softw. Eng. Notes 9 (5) (1984)
Pamela Zave
Operational specification languages. ACM Annual Conference (1983)
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)
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) (1983)

Pamela Zave.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pamela Zave