Pamela Zave
180 Park Ave, Bldg. 103, Room D205
Florham Park, 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.
StratoSIP: SIP at a Very High Level, StratoSIP is a high-level language for programming SIP applications.
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
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]
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]
Connections
Videos
