people

Pamela Zave

Zave, Pamela
1 AT&T WAY
BEDMINSTER, NJ
http://www.research.att.com/~pamela
Subject matter expert in IP telecommunications, IP-based multimedia systems, feature interaction, software specification, software requirements, software architecture, formal methods

 I study networking from the top down: starting from application requirements and working downward to software architectures and network infrastructure.

Projects
StratoSIP: SIP at a Very High Level, StratoSIP is a high-level language for programming SIP applications.

Awards
AT&T Fellow, 2009. For groundbreaking use of formal methods in AT&T's telecommunications and IP services and for enduring contributions to software theory.

IPTCOMM Best Paper Award, 2009. For paper entitled, "Abstractions for Programming SIP Back-to-Back User Agents".

ACM SIGSOFT Distinguished Paper Award, 2007. For paper entitled, "Matching and merging of Statecharts specifications".

Science & Technology Medal, 2006. Honored for groundbreaking research and application of formal software methods to telecommunication software within AT&T and long-term fundamental contributions to formal software theory, methodology.

ICSE Ten-Year Most Influential Paper Award, 2005. For paper entitled, "Deriving specifications from requirements: An example".

AT&T Strategic Patent Award, 2004. For "Telecommunications network system and method," U.S Patent 6160883.

ISRE Ten-Year Most Influential Paper Award, 2003. For paper entitled," Domain descriptions".

IWFI Best Paper Award, 2003. For paper entitled, "Ideal address translation: Principles, properties, and applications".

ACM Fellow, 2002. For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education.

IEEE Software Best Paper Award, 1990. For paper entitled,"A compositional approach to multiparadigm programming".

Patents

Method And Apparatus For Distributed Compositional Control Of End-To-End Media In IP Networks, May 28, 2013
Method And Apparatus For Programming Session Initiation Protocol Back-To-Back User Agents, August 21, 2012
Method And Apparatus For Managing Audio Contention In Networks, May 15, 2012
Method For Address Translation In Telecommunication Features, February 28, 2012
Method And Apparatus For Compositional Control Of End-To-End Media In IP Networks, December 7, 2010
Telecommunications network system and method, December 23, 2008
Methods and apparatus for utilizing user software to communicate with network-resident services, October 14, 2008
Routing extensions for telecommunication network system and method, June 10, 2008
Telecommunications network system and method, November 13, 2007
Telecommunication network system and method in communication services using session initiation protocol, July 31, 2007
Routing optimizations for telecommunications network system and method, January 23, 2007
Routing extensions for telecommunication network system and method, January 24, 2006
Routing Optimizations For Telecommunications Network System And Method, December 7, 2004
Telecommunications Network System And Method, November 30, 2004
Protocol Extensions For Telecommunications Network, November 23, 2004
Signaling/media separation for telecommunication network system and method, August 17, 2004
Telecommunications network system and method, June 11, 2002
Telecommunications network system and method, December 12, 2000

Publications

Modularity in Distributed Feature Composition
Pamela Zave
Bashar Nuseibeh,Pamela Zave,  Software Requirements and Design: The Work of Michael Jackson,  2009.  [PDF]  [BIB]

Compositional control of IP media
Pamela Zave, Eric Cheung
IEEE Transactions on Software Engineering,  v35,  #1,  2009.  [PDF]  [BIB]

Abstractions for programming SIP back-to-back user agents
Pamela Zave, Gregory W. Bond, Eric Cheung, Thomas M. Smith
Proceedings of the Third International Conference on Principles, Systems and Applicatons of IP Telecommunications,  ACM SIGCOMM,  2009.  [PDF]  [BIB]

Understanding SIP through model-checking
Pamela Zave
Proceedings of the Second International Conference on Principles, Systems and Applications of IP Telecommunications,  Springer-Verlag LNCS 5310,  pp 256-279,  2008.  [PDF]  [BIB]

Generalized third-party call control in SIP networks
Eric Cheung, Pamela Zave
Proceedings of the Second International Conference on Principles, Systems and Applications of IP Telecommunications,  Springer-Verlag LNCS 5310,  pp 45-68,  2008.  [PDF]  [BIB]

Audio feature interactions in voice-over-IP
Pamela Zave
Proceedings of the First International Conference on Principles, Systems and Applications of IP Telecommunications,  ACM SIGCOMM,  pp 67-78,  2007.  [PDF]  [BIB]

Compositional control of IP media
Pamela Zave, Eric Cheung
Proceedings of the Second Conference on Future Networking Technologies (CoNEXT),  ACM SIGCOMM,  2006.  [BIB]

Compositional binding in network domains
Pamela Zave
Proceedings of the Fourteenth International Symposium on Formal Methods,  Springer-Verlag LNCS 4085,  pp 332-347,  2006.  [PDF]  [BIB]

Experience with component-based development of a telecommunication service
Gregory W. Bond, Eric Cheung, Healfdene H. Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave
Proceedings of the Eighth International Symposium on Component-Based Software Engineering,  Springer-Verlag LNCS 3489,  pp 298-305,  2005.  [PDF]  [BIB]

A formal model of addressing for interoperating networks
Pamela Zave
Proceedings of the Thirteenth International Symposium on Formal Methods,  Springer-Verlag LNCS 3582,  pp 318-333,  2005.  [PDF]  [BIB]

Component coordination: A telecommunication case study
Pamela Zave, Healfdene H. Goguen, Thomas M. Smith
Computer Networks,  v45,  #5,  pp 645-664,  2004.  [PDF]  [BIB]

An open architecture for next-generation telecommunication services
Gregory W. Bond, Eric Cheung, K. Hal Purdy, Pamela Zave, J. Christopher Ramming
ACM Transactions on Internet Technology,  v4,  #1,  pp 83-123,  2004.  [PDF]  [BIB]

Address translation in telecommunication features
Pamela Zave
ACM Transactions on Software Engineering and Methodology,  v13,  #1,  pp 1-36,  2004.  [PDF]  [BIB]

An experiment in feature engineering
Pamela Zave
Annabelle McIver and Carroll Morgan,  Programming Methodology,  Springer-Verlag,  pp 353-377,  2003.  [PDF]  [BIB]

Requirements for evolving systems: A telecommunications perspective
Pamela Zave
Proceedings of the Fifth IEEE International Symposium on Requirements Engineering,  IEEE Computer Society,  pp 2-9,  2001.  [PDF]  [BIB]

A reference model for requirements and specifications
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
IEEE Software,  v17,  #3,  pp 37-43,  2000.  [PDF]  [BIB]

`Calls considered harmful' and other observations: A tutorial on telephony
Pamela Zave
Services and Visualizaton: Towards User-Friendly Design,  Springer-Verlag LNCS 1385,  pp 8-27,  1998.  [PDF]  [BIB]

Distributed Feature Composition: A virtual architecture for telecommunications services
Michael Jackson, Pamela Zave
IEEE Transactions on Software Engineering,  v24,  #10,  pp 831-847,  1998.  [PDF]  [BIB]

Four dark corners of requirements engineering
Pamela Zave, Michael Jackson
ACM Transactions on Software Engineering and Methodology,  v6,  #1,  pp 1-30,  1997.  [PS]  [BIB]

Where do operations come from? A multiparadigm specification technique
Pamela Zave, Michael Jackson
IEEE Transactions on Software Engineering,  v22,  #7,  pp 508-528,  1996.  [PS]  [BIB]

Multiparadigm specification of an AT&T switching system
Peter Mataga, Pamela Zave
Applications of Formal Methods,  Prentice Hall Intl.,  1995.  [BIB]

Deriving specifications from requirements: An example
Michael Jackson, Pamela Zave
Proceedings of the Seventeenth International Conference on Software Engineering,  ACM Press,  pp 15-24,  1995.  [BIB]

Conjunction as composition
Pamela Zave, Michael Jackson
ACM Transactions on Software Engineering and Methodology,  v2,  #4,  pp 379-411,  1993.  [PDF]  [BIB]

Technical Documents

Using Lightweight Modeling to Understand Chord
Pamela Zave
SIGCOMM Computer Communications Review,  2012.  [PDF]  [BIB]

The Geomorphic View of Networking: A Network Model and Its Uses
Pamela Zave, Jennifer Rexford
7th Middleware for Next Generation Internet Computing Workshop,  2012.  [PDF]  [BIB]

ACM Copyright

StratoSIP - SIP at a Very High Level
Eric Cheung, Thomas Smith, Gregory Bond, Pamela Zave
IPTComm 2011,  2011.  [PDF]  [BIB]

ACM Copyright

Mid-Call, Multi-Party, and Multi-Device Telecommunication Features and Their Interactions
Pamela Zave
Principles, Systems and Applications of IP Telecommunications,  2011.  [PDF]  [BIB]

ACM Copyright

Experiences with protocol description
Pamela Zave
Workshop on Rigorous Protocol Engineering,  2011.  [PDF]  [BIB]

Specification and evaluation of transparent behavior for SIP back-to-back user agents
Gregory Bond, Eric Cheung, Thomas Smith, Pamela Zave
4th International Conference on Principles, Systems and Applications of IP Telecommunications,  2010.  [PDF]  [BIB]

ACM Copyright

Internet Evolution and the Role of Software Engineering
Pamela Zave
The Future of Software Engineering,  2010.  [PDF]  [BIB]

Springer Copyright

Abstractions for Programming SIP Back-to-Back User Agents
Pamela Zave, Gregory Bond, Eric Cheung, Thomas Smith
Third International Conference on Principles, Systems and Applications of IP Telecommunications,  2009.  [BIB]

Component coordination: A telecommunication case study
Pamela Zave, Healfdene Goguen, Thomas Smith
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special,  2004.  [BIB]

graphviz

Connections

Graphviz