Selected Publications

Books

  1. The Real Internet Architecture: Past, Present, and Future Evolution (Pamela Zave and Jennifer Rexford, Princeton University Press, 2024).
  2. Software Requirements and Design: The Work of Michael Jackson (Bashar Nuseibeh and Pamela Zave, editors; Good Friends Publishing, ISBN 978-0-557-444670, 2010)

Book and Journal Papers, Peer-Reviewed

  1. "Patterns and interactions in network security" (Pamela Zave and Jennifer Rexford; Computing Surveys, 53(6):1-37, Article 118, November 2021)
  2. A verified session protocol for dynamic service chaining (Pamela Zave, Fabricio B. Carvalho, Ronaldo A. Ferreira, Jennifer Rexford, Masaharu Morimoto, and Xuan Kelvin Zou; IEEE/ACM Transaction on Networking, 29(1):423-437, February 2021)
  3. "The compositional architecture of the Internet" (Pamela Zave and Jennifer Rexford; Communications of the ACM, 62(3):78-87, March 2019)
  4. "Reasoning about identifier spaces: How to make Chord correct" (Pamela Zave; IEEE Transactions on Software Engineering, 43(12):1144-1156, December 2017, DOI 10.1109/TSE.2017.2655056)
  5. "A practical comparison of Alloy and Spin" (Pamela Zave; Formal Aspects of Computing 27:239-253, 2015)
  6. "The design space of network mobility" (Pamela Zave and Jennifer Rexford; Olivier Bonaventure and Hamed Haddidi, editors, Recent Advances in Networking, 379-412, ACM SIGCOMM eBook, 2013)
  7. "Matching and merging of variant feature specifications" (Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, and Pamela Zave; IEEE Transactions on Software Engineering, 38(6):1355-1375, November/December, 2012)
  8. "Using lightweight modeling to understand Chord" (Pamela Zave; ACM SIGCOMM Computer Communications Review, 42(2):50-57, April 2012)
  9. "Compositional control of IP media" (Pamela Zave and Eric Cheung; IEEE Transactions on Software Engineering 35(1):46-66, January 2009)
  10. "Component coordination: A telecommunication case study" (Pamela Zave, Healfdene H. Goguen, and Thomas M. Smith; Computer Networks 45(5):645-664, August 2004)
  11. "An open architecture for next-generation telecommunication services" (Gregory W. Bond, Eric Cheung, K. Hal Purdy, Pamela Zave, and J. Christopher Ramming; ACM Transactions on Internet Technology IV(1):83-123, February 2004)
  12. "Address translation in telecommunication features" (Pamela Zave; ACM Transactions on Software Engineering and Methodology XIII(1):1-36, January 2004)
  13. "A reference model for requirements and specifications" (Carl A. Gunter, Elsa Gunter, Michael Jackson, and Pamela Zave; IEEE Software XVII(3):37-43, May/June 2000)
  14. "Distributed feature composition: A virtual architecture for telecommunications services" (Michael Jackson and Pamela Zave; IEEE Transactions on Software Engineering XXIV(10):831-847, October 1998)
  15. "A component-based approach to telecommunication software" (Pamela Zave and Michael Jackson; IEEE Software XV(5):70-78, September 1998)
  16. "Classification of research efforts in requirements engineering" (Pamela Zave; ACM Computing Surveys XXIX(4):315-321, December 1997)
  17. "Telecommunications service requirements: Principles for managing complexity" (Pamela Zave and Michael Jackson; Requirements Engineering II(2):92-101, 1997)
  18. "Four dark corners of requirements engineering" (Pamela Zave and Michael Jackson; ACM Transactions on Software Engineering and Methodology VI(1):1-30, January 1997)
  19. "Where do operations come from? A multiparadigm specification technique" (Pamela Zave and Michael Jackson; IEEE Transactions on Software Engineering XXII(7):508-528, July 1996)
  20. "Using Z to specify telephone features" (Peter Mataga and Pamela Zave; Information and Software Technology XXXVII(5-6):277-283, May 1995)
  21. "Conjunction as composition" (Pamela Zave and Michael Jackson; ACM Transactions on Software Engineering and Methodology II(4):379-411, October 1993)
  22. "Feature interactions and formal specifications in telecommunications" (Pamela Zave; IEEE Computer XXVI(8):20-30, August 1993)
  23. "An insider's evaluation of PAISLey" (Pamela Zave; IEEE Transactions on Software Engineering XVII(3):212-225, March 1991)
  24. "A compositional approach to multiparadigm programming" (Pamela Zave; IEEE Software VI(5):15-25, September 1989)
  25. "Case study: The PAISLey approach applied to its own software tools" (Pamela Zave; Computer Languages XI(1):15-28, 1986)
  26. "Salient features of an executable specification language and its environment" (Pamela Zave and William Schell; IEEE Transactions on Software Engineering XII(2):312-325, February 1986)
  27. "A distributed alternative to finite-state-machine specifications" (Pamela Zave; ACM Transactions on Programming Languages and Systems VII(1):10-36, January 1985)
  28. "The operational versus the conventional approach to software development" (Pamela Zave; Communications of the ACM XXXVI(2):104-118, February 1984) Translated into Japanese and reprinted in Nikkei Electronics; also reprinted in 2 books.
  29. "A quantitative evaluation of the feasibility of, and suitable hardware architectures for, an adaptive, parallel finite-element system" (Pamela Zave and George E. Cole, Jr.: ACM Transactions on Mathematical Software IX(3):271-292, September 1983)
  30. "An operational approach to requirements specification for embedded systems" (Pamela Zave; IEEE Transactions on Software Engineering VIII(3):250-269, May 1982) Reprinted in 3 books.
  31. "Specifying software requirements" (Raymond T. Yeh and Pamela Zave; Proceedings of the IEEE LXVIII:(9):1077-1085, September 1980)
  32. "The design of an adaptive, parallel finite-element system" (Pamela Zave and Werner C. Rheinboldt; ACM Transactions on Mathematical Software V(1):1-17, March 1979)

Book and Journal Papers, Invited

  1. "Validation of formal models: A case study" (Pamela Zave and Tim Nelson, to appear)
  2. "A theory of networking and its contributions to software engineering" (Pamela Zave; Present and Ulterior Software Engineering, Bertrand Meyer and Manuel Mazzara, editors, Springer, 2017)
  3. "A theory of networks: In the beginning . . ." (Pamela Zave; Dependable Software Systems Engineering, Maxmilian Irlbeck, Doron Peled, and Alexander Pretschner, editors, IOS Press, 2015)
  4. "Report of the DIMACS Working Group on Abstractions for Network Services, Architecture, and Implementation" (Jennifer Rexford and Pamela Zave; ACM SIGCOMM Computer Communications Review 43(1):56-59, January 2013)
  5. "Internet evolution and the role of software engineering" (Pamela Zave; The Future of Software Engineering, Sebastian Nanz, editor, Springer, 2011)
  6. "Modularity in Distributed Feature Composition" (Pamela Zave; Software Requirements and Design: The Work of Michael Jackson, Good Friends Publishing, ISBN 978-0-557-444670, 2010)
  7. "An experiment in feature engineering" (Pamela Zave; Programming Methodology, Annabelle McIver and Carroll Morgan, editors, Springer-Verlag, New York, 2003)
  8. "Application of formal methods is research, not development" (Pamela Zave; IEEE Computer XXIX(4):26-27, April 1996)
  9. "Formal methods after 15 years: Status and trends" (Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, and Pamela Zave; Computer Networks and ISDN Systems XXVIII(13):1845-1855, October 1996)
  10. "Multiparadigm specification of an AT&T switching system" (Peter Mataga and Pamela Zave, Applications of Formal Methods, Michael G. Hinchey and Jonathan P. Bowen, editors, Prentice-Hall International, 1995)
  11. "Composition of descriptions: A progress report" (Pamela Zave and Michael Jackson; Formal Methods in Systems Engineering, Peter Ryan and Chris Sennett, editors, Springer-Verlag, 1993)
  12. "A comparison of the major approaches to software specification and design" (Pamela Zave; System and Software Requirements Engineering, Richard H. Thayer and Merlin Dorfman, editors, IEEE Computer Society Press, 1990)
  13. "Guest editors' prologue to the special issue on software design methods" (G.D. Bergland and Pamela Zave; IEEE Transactions on Software Engineering XII(2):185-191, February 1986)
  14. "Executable requirements for embedded systems" (Pamela Zave and Raymond T. Yeh; Software Specification Techniques, Narain Gehani and Andrew McGettrick, editors, Addison-Wesley, 1986)
  15. "Software requirements: New directions and perspectives" (Raymond T. Yeh, Pamela Zave, Alex Paul Conn, and George E. Cole, Jr.; Handbook of Software Engineering, C. R. Vick and C. V. Ramamoorthy, editors, Van Nostrand Reinhold, 1984)

Conference and Workshop Papers, Peer-Reviewed

  1. "MUSIC: Multi-site critical sections over geo-distributed state" (Bharath Balasubramanian, Pamela Zave, Richard Schlichting, Mohammed Salahe, Shankaranarayanan Puzhavakath Narayanan, Seyed Hossein Mortazavi, Eyal de Lara, Matti Hiltunen, and Kaustubh Joshi; IEEE International Conference on Distributed Computing Systems, 2020)
  2. "Dynamic service chaining with Dysco" (Pamela Zave, Ronaldo A. Ferreira, Xuan Kelvin Zou, Masaharu Morimoto, and Jennifer Rexford; Proceedings of SIGCOMM, 2017)
  3. "Locked or not? Mental models of IoT feature interaction" (Svetlana Yarosh and Pamela Zave; Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, ACM, 2017).
  4. "Theories of everything" (Pamela Zave; 38th International Conference on Software Engineering, Visions of 2025 and Beyond Track, IEEE, 2016)
  5. "Compositional network mobility" (Pamela Zave and Jennifer Rexford; 5th Working Conference on Verified Software: Theories, Tools, and Experiments, 68-87, Springer-Verlag LNCS 8164, 2014)
  6. "The geomorphic view of networking: A network model and its uses" (Pamela Zave and Jennifer Rexford; 7th Middleware for Next Generation Internet Computing Workshop, Montreal, Canada, ACM Digital Library, 2012)
  7. "Experiences with protocol description" (Pamela Zave; 1st International Workshop on Rigorous Protocol Engineering, Vancouver, Canada, October 2011)
  8. "Toward a lightweight model of BGP safety" (Matvey Arye, Rob Harrison, Richard Wang, Pamela Zave, and Jennifer Rexford; 1st International Workshop on Rigorous Protocol Engineering, Vancouver, Canada, October 2011)
  9. "Mid-call, multi-party, and multi-device telecommunication features and their interactions" (Pamela Zave; 5th International Conference on Principles, Systems and Applications of IP Telecommunications, ACM Digital Library, 2011)
  10. "Specification and evaluation of transparent behavior for SIP back-to-back user agents" (Gregory Bond, Eric Cheung, Thomas Smith, and Pamela Zave; 4th International Conference on Principles, Systems and Applications of IP Telecommunications, ACM SIGCOMM, 2010)
  11. "Abstractions for programming SIP back-to-back user agents" (Pamela Zave, Gregory W. Bond, Eric Cheung, and Thomas M. Smith; 3rd International Conference on Principles, Systems and Applications of IP Telecommunications, ACM SIGCOMM, 2009)
  12. "Towards compositional synthesis of evolving systems" (Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastian Uchitel, and Pamela Zave; 16th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2008)
  13. "Understanding SIP through model-checking" (Pamela Zave; 2nd International Conference on Principles, Systems and Applications of IP Telecommunications, LNCS 5310, 2008)
  14. "Generalized third-party call control in SIP networks" (Eric Cheung and Pamela Zave; 2nd International Conference on Principles, Systems and Applications of IP Telecommunications, LNCS 5310, 2008)
  15. "Audio feature interactions in voice-over-IP" (Pamela Zave; 1st International Conference on Principles, Systems and Applications of IP Telecommunications, ACM SIGCOMM, 2007)
  16. "Requirements for routing in the application layer" (Pamela Zave; 9th International Conference on on Coordination Models and Languages, LNCS 4467, 2007)
  17. "Matching and merging of Statecharts specifications" (Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, and Pamela Zave; 29th International Conference on Software Engineering, IEEE Computer Society, 2007)
  18. "Compositional binding in network domains" (Pamela Zave; 14th International Symposium on Formal Methods, LNCS 4085, 2006)
  19. "Compositional control of IP media" (Pamela Zave and Eric Cheung; 2nd Conference on Future Networking Technologies (CoNEXT), ACM SIGCOMM, 2006)
  20. "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, and Pamela Zave; 8th International SIGSOFT Symposium on Component-Based Software Engineering, LNCS 3489, 2005)
  21. "A formal model of addressing for interoperating networks" (Pamela Zave; 13th International Symposium of Formal Methods Europe, LNCS 3582, 2005)
  22. "Ideal address translation: Principles, properties, and applications" (Pamela Zave; 7th International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press, 2003)
  23. "From architecture to requirements: A success story" (Pamela Zave; 2nd International Software Requirements to Architectures Workshop, Portland, Oregon, 2003)
  24. "Distributed media control for multimedia communication services" (Eric Cheung, Michael Jackson, and Pamela Zave; IEEE International Conference on Communications: Symposium on Multimedia and VoIP Services and Technologies, IEEE Communications Society, 2002)
  25. "A call abstraction for component coordination" (Pamela Zave and Michael Jackson; 29th International Colloquium on Automata, Languages, and Programming: Workshop on Formal Methods and Component Interaction, University of Malaga, Malaga, Spain, June 2002)
  26. "An architecture for three challenging features" (Pamela Zave; 2nd IP Telephony Workshop, Columbia University, New York, New York, 2001)
  27. "Feature-oriented description, formal methods, and DFC" (Pamela Zave; FIREworks Workshop on Language Constructs for Describing Features, Springer-Verlag London, 2001)
  28. "A reference model for requirements and specifications" (Carl A. Gunter, Elsa Gunter, Michael Jackson, and Pamela Zave; 4th IEEE International Conference on Requirements Engineering, 2000)
  29. "New feature interactions in mobile and multimedia telecommunication services" (Pamela Zave and Michael Jackson; 6th International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press, 2000)
  30. "DFC as the basis for ECLIPSE, an IP communications software platform" (Greg Bond, Eric Cheung, Andrew Forrest, Michael Jackson, Hal Purdy, Chris Ramming, and Pamela Zave; IP Telecom Services Workshop, Atlanta, Georgia, 2000)
  31. "Systematic design of call-coverage features" (Pamela Zave; Algebraic Methodology and Software Technology, LNCS 1548, 1999)
  32. "`Calls considered harmful' and other observations: A tutorial on telephony" (Pamela Zave; Services and Visualization: Towards User-Friendly Design, LNCS 1385, 1998)
  33. "The village telephone system: A case study in formal software engineering" (Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Davor Obradovic, and Pamela Zave; 11th International Conference on Theorem Proving in Higher Order Logics, LNCS 1479, 1998)
  34. "Requirements for telecommunications services: An attack on complexity" (Pamela Zave and Michael Jackson; 3rd IEEE International Symposium on Requirements Engineering, IEEE Computer Society, 1997)
  35. "Secrets of call forwarding: A specification case study" (Pamela Zave; 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE), Chapman & Hall, 1996)
  36. "Deriving specifications from requirements: An example", (Michael Jackson and Pamela Zave; 17th International Conference on Software Engineering, ACM Press, 1995)
  37. "Classification of research efforts in requirements engineering" (Pamela Zave; 2nd IEEE International Symposium on Requirements Engineering, IEEE Computer Society, 1995)
  38. "Formal specification of telephone features" (Peter Mataga and Pamela Zave; 8th Z User Meeting, Springer-Verlag, 1994)
  39. "Domain descriptions" (Michael Jackson and Pamela Zave; IEEE International Symposium on Requirements Engineering, pages 56-64, IEEE Computer Society Press, 1992)
  40. "Toward formal specification of real switching systems" (Pamela Zave; 14th International Switching Symposium, Institute of Electronics, Information and Communication Engineers, Yokohama, Japan, 1992)
  41. "Techniques for partial specification and specification of switching systems" (Pamela Zave and Michael Jackson; 4th International Symposium of VDM Europe/6th Annual Z User Meeting, Springer-Verlag, 1991/1992)
  42. "Domain understanding and the software process" (Pamela Zave; 5th International Software Process Workshop, IEEE Computer Society, 1990)
  43. "Practical specification techniques for control-oriented systems" (Pamela Zave and Daniel Jackson; Information Processing `89, North-Holland, 1989)
  44. "Multistage, multifaceted analysis of telecommunications network architectures" (Earl E. McCoy and Pamela Zave; IEEE Infocom, IEEE Computer Society, 1989)
  45. "A multi-level secure message switch with minimal TCB: Architectural outline and security analysis" (E. H. Lipper, B. Melamed, R. J. T. Morris, and P. Zave; 4th Aerospace Computer Security Applications Conference, 1988)
  46. "An experiment in technology transfer: PAISLey specification of requirements for an undersea lightwave cable system" (Edward F. Berliner and Pamela Zave; 9th International Conference on Software Engineering, IEEE Computer Society, 1987)
  47. "The PAISLey software tools: An environment for executable specifications" (Pamela Zave and William Schell; Workshop on Software Engineering Environments for Programming-in-the-Large, GTE Laboratories, Waltham, Massachusetts, 1985)
  48. "An overview of the PAISLey project--1984" (Pamela Zave; National Communications Forum XXXVIII, Professional Education International, 1984)
  49. "Testing incomplete specifications of distributed systems" (Pamela Zave; ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), ACM, 1982)
  50. "A functional technique for decomposing the complexity of requirements analysis" (Pamela Zave; 15th Hawaii International Conference on System Sciences, Western Periodicals, 1982)
  51. "Executable requirements for embedded systems" (Pamela Zave and Raymond T. Yeh; 5th International Conference on Software Engineering, IEEE Computer Society, 1981)
  52. "`Real-world' properties in the requirements for embedded systems" (Pamela Zave; 19th Annual Washington, D. C., ACM Technical Symposium, Washington, D. C., Chapter of the ACM, 1980)
  53. "Formal specification of complete and consistent performance requirements" (Pamela Zave; 8th Texas Conference on Computing Systems, IEEE Computer Society, 1979)
  54. "A comprehensive approach to requirements problems" (Pamela Zave; 3rd International Computer Software and Applications Conference (COMPSAC), IEEE Computer Society, 1979)
  55. "The use of formal asynchronous process specifications in a system development process" (D. R. Fitzwater and Pamela Zave; 6th Texas Conference on Computing Systems, IEEE Computer Society, 1977)
  56. "A design tool for real-time processes" (Pamela Zave; Conference on Information Sciences and Systems, Johns Hopkins University, Baltimore, Maryland, 1977)
  57. "On the formal definition of processes" (Pamela Zave; International Conference on Parallel Processing, IEEE Computer Society, 1976)

Conference and Workshop Papers, Invited

  1. "Bridging the research-industry gap: The case for domain modeling" (Pamela Zave; 37th International Conference on Software Engineering, Workshop on Software Engineering Research and Industrial Practice, IEEE, 2015)
  2. "Software engineering for the next Internet" (Pamela Zave; 31st International Conference on Software Engineering, IEEE, 2009)
  3. "Feature disambiguation" (Pamela Zave; 7th International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press, 2003)
  4. "Requirements for evolving systems: A telecommunications perspective" (Pamela Zave; 5th IEEE International Symposium on Requirements Engineering, IEEE Computer Society, 2001)
  5. "Formal description of telecommunication services in Promela and Z" (Pamela Zave; Calculational System Design--Proceedings of the 19th International NATO Summer School, IOS Press, 1999)
  6. "Architectural solutions to feature-interaction problems in telecommunications" (Pamela Zave; 5th International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press, 1998)
  7. "Four dark corners of requirements engineering" (Pamela Zave and Michael Jackson; 10th Brazilian Symposium on Software Engineering, Universidade de Sao Paulo, 1996)
  8. "Operational specification languages" (Pamela Zave; ACM Annual Conference, ACM, 1983)