Pamela Zave

113 papers A* 10A 6B 3C 2Journal 50Unranked 37
YearRankTypeTitle / Venue / Authors
2025 J jnl
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
Commun. ACM
David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025 J jnl
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
CoRR
David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2024 — ch.
Validation of Formal Models: A Case Study.
The Practice of Formal Methods (II)
Pamela Zave, Tim Nelson
2021 J jnl
A Verified Session Protocol for Dynamic Service Chaining.
IEEE/ACM Trans. Netw.
Pamela Zave, Fabrício B. Carvalho, Ronaldo A. Ferreira, Jennifer Rexford, Masaharu Morimoto, Xuan Kelvin Zou
2021 J jnl
Patterns and Interactions in Network Security.
ACM Comput. Surv.
Pamela Zave, Jennifer Rexford
2020 A conf
MUSIC: Multi-Site Critical Sections over Geo-Distributed State.
ICDCS
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
2020 J jnl
The Remaining Improbable: Toward Verifiable Network Services.
CoRR
Pamela Zave, Jennifer Rexford, John Sonchack
2019 J jnl
Patterns and Interactions in Network Security.
CoRR
Pamela Zave, Jennifer Rexford
2019 J jnl
The compositional architecture of the internet.
Commun. ACM
Pamela Zave, Jennifer Rexford
2018 A* conf
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services.
PODC
Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave
2017 — ch.
A Theory of Networking and Its Contributions to Software Engineering.
Present and Ulterior Software Engineering
Pamela Zave
2017 A* conf
Dynamic Service Chaining with Dysco.
SIGCOMM
Pamela Zave, Ronaldo Alves Ferreira, Xuan Kelvin Zou, Masaharu Morimoto, Jennifer Rexford
2017 A* conf
Locked or Not?: Mental Models of IoT Feature Interaction.
CHI
Lana Yarosh, Pamela Zave
2017 J jnl
Reasoning About Identifier Spaces: How to Make Chord Correct.
IEEE Trans. Software Eng.
Pamela Zave
2016 J jnl
Reasoning about identifier spaces: How to make Chord correct.
CoRR
Pamela Zave
2016 — conf
Theories of everything.
ICSE (Companion Volume)
Pamela Zave
2015 — ch.
A Theory of Networks: In the Beginning . . .
Dependable Software Systems Engineering
Pamela Zave
2015 J jnl
A practical comparison of Alloy and Spin.
Formal Aspects Comput.
Pamela Zave
2015 — conf
Bridging the Research-Industry Gap: The Case for Domain Modeling.
SER&IP@ICSE
Pamela Zave
2015 J jnl
Formal Foundations for Networking (Dagstuhl Seminar 15071).
Dagstuhl Reports
Nikolaj S. Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave
2015 J jnl
How to Make Chord Correct (Using a Stable Base).
CoRR
Pamela Zave
2015 J jnl
Toward user-centric feature composition for the Internet of Things.
CoRR
Pamela Zave, Eric Cheung, Svetlana Yarosh
2014 J jnl
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281).
Dagstuhl Reports
Sven Apel, Joanne M. Atlee, Luciano Baresi, Pamela Zave
2013 — conf
Compositional Network Mobility.
VSTTE
Pamela Zave, Jennifer Rexford
2013 J jnl
Report of the DIMACS working group on abstractions for network services, architecture, and implementation.
Comput. Commun. Rev.
Jennifer Rexford, Pamela Zave
2012 J jnl
Matching and Merging of Variant Feature Specifications.
IEEE Trans. Software Eng.
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
2012 — conf
The geomorphic view of networking: a network model and its uses.
MW4NG@Middleware
Pamela Zave, Jennifer Rexford
2012 J jnl
Using lightweight modeling to understand chord.
Comput. Commun. Rev.
Pamela Zave
2011 — conf
How software architecture can make an application-friendly internet.
QoSA/ISARCS
Pamela Zave
2011 — conf
Mid-call, multi-party, and multi-device telecommunication features and their interactions.
IPTComm
Pamela Zave
2011 — conf
StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011.
IPTComm
Eric Cheung, Gregory W. Bond, Thomas M. Smith, Pamela Zave
2010 — conf
Internet Evolution and the Role of Software Engineering.
The Future of Software Engineering
Pamela Zave
2010 — conf
Modeling the Internet.
MoDELS (2)
Pamela Zave
2010 — conf
Specification and evaluation of transparent behavior for SIP back-to-back user agents.
IPTComm
Gregory W. Bond, Thomas M. Smith, Eric Cheung, Pamela Zave
2009 — conf
Abstractions for programming SIP back-to-back user agents.
IPTComm
Pamela Zave, Eric Cheung, Gregory W. Bond, Thomas M. Smith
2009 J jnl
Compositional Control of IP Media.
IEEE Trans. Software Eng.
Pamela Zave, Eric Cheung
2009 — conf
Software Engineering for the Next Internet.
ICSE Companion
Pamela Zave
2008 — conf
Generalized Third-Party Call Control in SIP Networks.
IPTComm
Eric Cheung, Pamela Zave
2008 — conf
Towards compositional synthesis of evolving systems.
SIGSOFT FSE
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave
2008 — conf
Understanding SIP through Model-Checking.
IPTComm
Pamela Zave
2007 — conf
Audio feature interactions in Voice-over-IP.
IPTComm
Pamela Zave
2007 A* conf
Matching and Merging of Statecharts Specifications.
ICSE
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
2007 C conf
Requirements for Routing in the Application Layer.
COORDINATION
Pamela Zave
2006 B conf
Compositional Binding in Network Domains.
FM
Pamela Zave
2006 A conf
Compositional control of IP media.
CoNEXT
Pamela Zave, Eric Cheung
2005 B conf
A Formal Model of Addressing for Interoperating Networks.
FM
Pamela Zave
2005 — conf
Experience with Component-Based Development of a Telecommunication Service.
CBSE
Gregory W. Bond, Eric Cheung, Healfdene Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave
2005 A* conf
Where do you go when you're through the turnstile?
ICSE
Michael Jackson, Pamela Zave
2004 J jnl
Address translation in telecommunication features.
ACM Trans. Softw. Eng. Methodol.
Pamela Zave
2004 J jnl
An open architecture for next-generation telecommunication services.
ACM Trans. Internet Techn.
Gregory W. Bond, Eric Cheung, K. Hal Purdy, Pamela Zave, J. Christopher Ramming
2004 J jnl
Component coordination: a telecommunication case study.
Comput. Networks
Pamela Zave, Healfdene Goguen, Thomas M. Smith
2003 — conf
Feature Disambiguation.
FIW
Pamela Zave
2003 — conf
From Architecture to Requirements: A Success Story.
STRAW
Pamela Zave
2003 — conf
Ideal Address Translation: Principles, Properties, and Applications.
FIW
Pamela Zave
2002 — conf
A Call Abstraction for Component Coordination.
Formal Methods and Component Interaction @ ICALP
Pamela Zave, Michael Jackson
2002 — conf
Distributed media control tor multimedia communications services.
ICC
Eric Cheung, Michael Jackson, Pamela Zave
2001 — ed.
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
FME
José Nuno Oliveira, Pamela Zave
2001 A conf
Requirements for Evolving Systems: A Telecommunications Perspective.
RE
Pamela Zave
2000 — conf
A Reference Model for Requirements and Specifications-Extended Abstract.
ICRE
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
2000 J jnl
A Reference Model for Requirements and Specifications.
IEEE Softw.
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
2000 — conf
Feature-Oriented Description, Formal Methods, and DFC.
FIREworks
Pamela Zave
2000 J jnl
Formal software engineering.
ACM SIGSOFT Softw. Eng. Notes
Carl A. Gunter, Elsa L. Gunter, Pamela Zave
2000 — conf
New Feature Interactions in Mobile and Multimedia Telecommunications Services.
FIW
Pamela Zave, Michael Jackson
1999 — conf
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).
FMOODS
Pamela Zave
1998 — conf
'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony.
Services and Visualization: Towards User-Friendly Design
Pamela Zave
1998 J jnl
A Component-Based Approach to Telecommunication Software.
IEEE Softw.
Pamela Zave, Michael Jackson
1998 — conf
Architectural Solutions to Feature-Interaction Problems in Telecommunications.
FIW
Pamela Zave
1998 J jnl
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services.
IEEE Trans. Software Eng.
Michael Jackson, Pamela Zave
1998 — conf
Systematic Design of Call-Coverage Features.
AMAST
Pamela Zave
1998 — conf
The Village Telephone System: A Case Study in Formal Software Engineering.
TPHOLs
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, Pamela Zave
1997 J jnl
Classification of Research Efforts in Requirements Engineering.
ACM Comput. Surv.
Pamela Zave
1997 J jnl
Four Dark Corners of Requirements Engineering.
ACM Trans. Softw. Eng. Methodol.
Pamela Zave, Michael Jackson
1997 A conf
Requirements for Telecommunications Services: An Attack on Complexity.
RE
Pamela Zave, Michael Jackson
1997 J jnl
Telecommunications Service Requirements: Principles for Managing Complexity.
Requir. Eng.
Pamela Zave, Michael Jackson
1996 J jnl
An Invitation to Formal Methods.
Computer
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
1996 J jnl
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.
Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
1996 J jnl
Where Do Operations Come From: A Multiparadigm Specification Technique.
IEEE Trans. Software Eng.
Pamela Zave, Michael Jackson
1995 A conf
Classification of research efforts in requirements engineering.
RE
Pamela Zave
1995 A* conf
Deriving Specifications from Requirements: An Example.
ICSE
Michael Jackson, Pamela Zave
1995 C conf
Secrets of Call Forwarding: A Specification Case Study.
FORTE
Pamela Zave
1995 J jnl
Using Z to specify telephone features.
Inf. Softw. Technol.
Peter Mataga, Pamela Zave
1994 — conf
Formal Specification of Telephone Features.
Z User Workshop
Peter Mataga, Pamela Zave
1993 — ch.
Composition of Descriptions : A Progress Report.
Formal Methods in Systems Engineering
Pamela Zave, Michael Jackson
1993 J jnl
Conjunction as Composition.
ACM Trans. Softw. Eng. Methodol.
Pamela Zave, Michael Jackson
1993 A conf
Domain descriptions.
RE
Michael Jackson, Pamela Zave
1993 J jnl
Feature Interactions and Formal Specifications in Telecommunications.
Computer
Pamela Zave
1991 J jnl
An Insider's Evaluation of PAISLey.
IEEE Trans. Software Eng.
Pamela Zave
1991 — conf
Techniques for Partial Specification and Specification of Switching Systems.
VDM Europe (1)
Pamela Zave, Michael Jackson
1991 — conf
Techniques for Partial Specification and Specification of Switching Systems.
Z User Workshop
Pamela Zave, Michael Jackson
1989 J jnl
A Compositional Approach to Multiparadigm Programming.
IEEE Softw.
Pamela Zave
1989 — conf
Domain understanding and the software process.
ISPW
Pamela Zave
1989 A* conf
Multistage, Multifaceted Analysis of Telecommunications Network Architectures.
INFOCOM
Earl E. McCoy, Pamela Zave
1989 — conf
Practical Specification Techniques for Control-Oriented Systems.
IFIP Congress
Pamela Zave, Daniel Jackson
1988 J jnl
Assessment.
ACM SIGSOFT Softw. Eng. Notes
Pamela Zave
1987 A* conf
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System.
ICSE
E. F. Berliner, Pamela Zave
1986 J jnl
Case Study: The Paisley Approach Applied to Its Own Software Tools.
Comput. Lang.
Pamela Zave
1986 J jnl
Found poetry of software engineering.
ACM SIGSOFT Softw. Eng. Notes
Pamela Zave
1986 J jnl
Guest Editor's Prologue Special Issue on Software Design Methods.
IEEE Trans. Software Eng.
Glenn David Bergland, Pamela Zave
1986 J jnl
Salient Features of an Executable Specification Language and Its Environment.
IEEE Trans. Software Eng.
Pamela Zave, William M. Schell
1985 J jnl
A Distributed Alternative to Finite-State-Machine Specifications.
ACM Trans. Program. Lang. Syst.
Pamela Zave
1984 J jnl
An overview of the PAISLey project-1984.
ACM SIGSOFT Softw. Eng. Notes
Pamela Zave
1984 J jnl
Correction.
ACM SIGSOFT Softw. Eng. Notes
Pamela Zave
1984 J jnl
Report to SIGSOFT membership fiscal year 1983 actual income and expenses.
ACM SIGSOFT Softw. Eng. Notes
Pamela Zave
1984 J jnl
The Operational versus the Conventional Approach to Software Development.
Commun. ACM
Pamela Zave
1983 J jnl
A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System.
ACM Trans. Math. Softw.
Pamela Zave, George E. Cole Jr.
1983 — conf
Knowledge-based debugging: session summary.
SIGSOFT
Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave
1983 — conf
Operational specification languages.
ACM Annual Conference
Pamela Zave
1982 J jnl
An Operational Approach to Requirements Specification for Embedded Systems.
IEEE Trans. Software Eng.
Pamela Zave
1982 A* conf
Testing Incomplete Specifications of Distributed Systems.
PODC
Pamela Zave
1981 A* conf
Executable Requirements for Embedded Systems.
ICSE
Pamela Zave, Raymond T. Yeh
1979 B conf
A comprehensive approach to requirements problems.
COMPSAC
Pamela Zave
1979 J jnl
Design of an Adaptive, Parallel Finite-Element System.
ACM Trans. Math. Softw.
Pamela Zave, Werner C. Rheinboldt
1979 J jnl
Panel session: approaches to specification-various models <u>an informal report</u>.
ACM SIGSOFT Softw. Eng. Notes
Pamela Zave