Pamela Zave
Orcid: 0000-0002-6568-2052Affiliations:
- Princeton University, NJ, USA
According to our database1,
Pamela Zave
authored at least 104 papers
between 1979 and 2021.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2001, "For encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education.".
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
2
1
1
1
4
1
1
2
1
3
2
2
3
3
1
2
1
1
1
4
1
4
1
1
2
1
1
2
1
1
1
1
3
3
2
3
3
1
3
3
2
1
3
1
4
1
2
1
1
1
3
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
IEEE/ACM Trans. Netw., 2021
2020
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
2019
2018
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018
2017
IEEE Trans. Software Eng., 2017
Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017
Proceedings of the Present and Ulterior Software Engineering., 2017
2016
Proceedings of the 38th International Conference on Software Engineering, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015
2014
Dagstuhl Reports, 2014
2013
Report of the DIMACS working group on abstractions for network services, architecture, and implementation.
Comput. Commun. Rev., 2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
2012
IEEE Trans. Software Eng., 2012
Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, 2012
2011
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011
Mid-call, multi-party, and multi-device telecommunication features and their interactions.
Proceedings of the 5th International Conference on Principles, 2011
Proceedings of the 5th International Conference on Principles, 2011
2010
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Specification and evaluation of transparent behavior for SIP back-to-back user agents.
Proceedings of the Principles, 2010
Proceedings of the Future of Software Engineering., 2010
2009
Proceedings of the Principles, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
Proceedings of the Principles, 2008
2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007
2006
Proceedings of the FM 2006: Formal Methods, 2006
2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the FM 2005: Formal Methods, 2005
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005
2004
ACM Trans. Softw. Eng. Methodol., 2004
ACM Trans. Internet Techn., 2004
2003
Proceedings of the ICSE 2003, 2003
Ideal Address Translation: Principles, Properties, and Applications.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003
Feature Disambiguation.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003
2002
Proceedings of the Formal Methods and Component Interaction 2002, 2002
Proceedings of the IEEE International Conference on Communications, 2002
2001
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
2000
Proceedings of the 4th International Conference on Requirements Engineering, 2000
New Feature Interactions in Mobile and Multimedia Telecommunications Services.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000
Proceedings of the Language Constructs for Describing Features, 2000
1999
Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
1998
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services.
IEEE Trans. Software Eng., 1998
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998
Architectural Solutions to Feature-Interaction Problems in Telecommunications.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
ACM Trans. Softw. Eng. Methodol., 1997
Requir. Eng., 1997
ACM Comput. Surv., 1997
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997
1996
IEEE Trans. Software Eng., 1996
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., 1996
1995
Proceedings of the 17th International Conference on Software Engineering, 1995
Secrets of Call Forwarding: A Specification Case Study.
Proceedings of the Formal Description Techniques VIII, 1995
1994
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994
1993
Proceedings of IEEE International Symposium on Requirements Engineering, 1993
Proceedings of the Formal Methods in Systems Engineering, 1993
1991
Proceedings of the VDM '91, 1991
1989
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989
Proceedings of the Proceedings IEEE INFOCOM '89, 1989
Practical Specification Techniques for Control-Oriented Systems.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
1987
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987
1986
IEEE Trans. Software Eng., 1986
IEEE Trans. Software Eng., 1986
Comput. Lang., 1986
1985
ACM Trans. Program. Lang. Syst., 1985
1984
ACM SIGSOFT Softw. Eng. Notes, 1984
Commun. ACM, 1984
1983
A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System.
ACM Trans. Math. Softw., 1983
Proceedings of the symposium on High-level debugging, 1983
Proceedings of the 1983 Annual Conference on Computers: extending the human resource, 1983
1982
IEEE Trans. Software Eng., 1982
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982
1981
Proceedings of the 5th International Conference on Software Engineering, 1981
1979
ACM SIGSOFT Softw. Eng. Notes, 1979
Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979