Pamela Zave

ACM Comput. Surv., 2021

2020

The Remaining Improbable: Toward Verifiable Network Services.

[BibT_eX]

[DOI]

John Sonchack

CoRR, 2020

MUSIC: Multi-Site Critical Sections over Geo-Distributed State.

[BibT_eX]

[DOI]

Bharath Balasubramanian

Shankaranarayanan Puzhavakath Narayanan

Richard D. Schlichting

Mohammad Salehe

Seyed Hossein Mortazavi

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

2019

The compositional architecture of the internet.

[BibT_eX]

[DOI]

Commun. ACM, 2019

2018

Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services.

[BibT_eX]

[DOI]

Bharath Balasubramanian

Richard D. Schlichting

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2017

Reasoning About Identifier Spaces: How to Make Chord Correct.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Dynamic Service Chaining with Dysco.

[BibT_eX]

[DOI]

Ronaldo Alves Ferreira

Xuan Kelvin Zou

Masaharu Morimoto

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Locked or Not?: Mental Models of IoT Feature Interaction.

[BibT_eX]

[DOI]

Lana Yarosh

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

A Theory of Networking and Its Contributions to Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Theories of everything.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

A Theory of Networks: In the Beginning . . .

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2015

A practical comparison of Alloy and Spin.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Formal Foundations for Networking (Dagstuhl Seminar 15071).

[BibT_eX]

[DOI]

Nikolaj S. Bjørner

Nate Foster

Philip Brighten Godfrey

Dagstuhl Reports, 2015

Toward user-centric feature composition for the Internet of Things.

[BibT_eX]

[DOI]

Svetlana Yarosh

CoRR, 2015

How to Make Chord Correct (Using a Stable Base).

[BibT_eX]

[DOI]

CoRR, 2015

Bridging the Research-Industry Gap: The Case for Domain Modeling.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

2014

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

2013

Report of the DIMACS working group on abstractions for network services, architecture, and implementation.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2013

Compositional Network Mobility.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

2012

Matching and Merging of Variant Feature Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Using lightweight modeling to understand chord.

[BibT_eX]

[DOI]

Comput. Commun. Rev., 2012

The geomorphic view of networking: a network model and its uses.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, 2012

2011

How software architecture can make an application-friendly internet.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Principles, 2011

StratoSIP: SIP at a very high level: demo proposal for IPTComm 2011.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Principles, 2011

2010

Modeling the Internet.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Specification and evaluation of transparent behavior for SIP back-to-back user agents.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2010

Internet Evolution and the Role of Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Future of Software Engineering., 2010

2009

Compositional Control of IP Media.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Abstractions for programming SIP back-to-back user agents.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2009

Software Engineering for the Next Internet.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Towards compositional synthesis of evolving systems.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Understanding SIP through Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2008

Generalized Third-Party Call Control in SIP Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2008

2007

Audio feature interactions in Voice-over-IP.

[BibT_eX]

[DOI]

Proceedings of the Principles, 2007

Matching and Merging of Statecharts Specifications.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Requirements for Routing in the Application Layer.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

Compositional Binding in Network Domains.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

2005

Where do you go when you're through the turnstile?

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

A Formal Model of Addressing for Interoperating Networks.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

Experience with Component-Based Development of a Telecommunication Service.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Address translation in telecommunication features.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2004

An open architecture for next-generation telecommunication services.

[BibT_eX]

[DOI]

J. Christopher Ramming

ACM Trans. Internet Techn., 2004

Component coordination: a telecommunication case study.

[BibT_eX]

[DOI]

Healfdene Goguen

Thomas M. Smith

Comput. Networks, 2004

2003

From Architecture to Requirements: A Success Story.

[BibT_eX]

[DOI]

Proceedings of the ICSE 2003, 2003

Ideal Address Translation: Principles, Properties, and Applications.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Feature Disambiguation.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2002

A Call Abstraction for Component Coordination.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Distributed media control tor multimedia communications services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2002

2001

Requirements for Evolving Systems: A Telecommunications Perspective.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000

A Reference Model for Requirements and Specifications.

[BibT_eX]

[DOI]

IEEE Softw., 2000

Formal software engineering.

[BibT_eX]

[DOI]

Carl A. Gunter

Elsa L. Gunter

ACM SIGSOFT Softw. Eng. Notes, 2000

A Reference Model for Requirements and Specifications-Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Requirements Engineering, 2000

New Feature Interactions in Mobile and Multimedia Telecommunications Services.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Feature-Oriented Description, Formal Methods, and DFC.

[BibT_eX]

[DOI]

Proceedings of the Language Constructs for Describing Features, 2000

1999

Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998

Distributed Feature Composition: A Virtual Architecture for Telecommunications Services.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

A Component-Based Approach to Telecommunication Software.

[BibT_eX]

[DOI]

IEEE Softw., 1998

The Village Telephone System: A Case Study in Formal Software Engineering.

[BibT_eX]

[DOI]

Karthikeyan Bhargavan

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony.

[BibT_eX]

[DOI]

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Architectural Solutions to Feature-Interaction Problems in Telecommunications.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

Systematic Design of Call-Coverage Features.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Four Dark Corners of Requirements Engineering.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Telecommunications Service Requirements: Principles for Managing Complexity.

[BibT_eX]

[DOI]

Requir. Eng., 1997

Classification of Research Efforts in Requirements Engineering.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1997

Requirements for Telecommunications Services: An Attack on Complexity.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

1996

Where Do Operations Come From: A Multiparadigm Specification Technique.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

An Invitation to Formal Methods.

[BibT_eX]

[DOI]

Computer, 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).

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1996

1995

Using Z to specify telephone features.

[BibT_eX]

[DOI]

Peter Mataga

Inf. Softw. Technol., 1995

Deriving Specifications from Requirements: An Example.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

Secrets of Call Forwarding: A Specification Case Study.

[BibT_eX]

Proceedings of the Formal Description Techniques VIII, 1995

1994

Formal Specification of Telephone Features.

[BibT_eX]

[DOI]

Peter Mataga

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993

Conjunction as Composition.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Feature Interactions and Formal Specifications in Telecommunications.

[BibT_eX]

[DOI]

Computer, 1993

Domain descriptions.

[BibT_eX]

[DOI]

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Composition of Descriptions : A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Systems Engineering, 1993

1991

An Insider's Evaluation of PAISLey.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Techniques for Partial Specification and Specification of Switching Systems.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

1989

A Compositional Approach to Multiparadigm Programming.

[BibT_eX]

[DOI]

IEEE Softw., 1989

Domain understanding and the software process.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Multistage, Multifaceted Analysis of Telecommunications Network Architectures.

[BibT_eX]

[DOI]

Earl E. McCoy

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

Practical Specification Techniques for Control-Oriented Systems.

[BibT_eX]

Daniel Jackson

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Assessment.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1988

1987

An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System.

[BibT_eX]

[DOI]

E. F. Berliner

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1986

Salient Features of an Executable Specification Language and Its Environment.

[BibT_eX]

[DOI]

William M. Schell

IEEE Trans. Software Eng., 1986

Guest Editor's Prologue Special Issue on Software Design Methods.

[BibT_eX]

[DOI]

Glenn David Bergland

IEEE Trans. Software Eng., 1986

Found poetry of software engineering.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1986

Case Study: The Paisley Approach Applied to Its Own Software Tools.

[BibT_eX]

[DOI]

Comput. Lang., 1986

1985

A Distributed Alternative to Finite-State-Machine Specifications.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1985

1984

Correction.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1984

An overview of the PAISLey project-1984.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1984

Report to SIGSOFT membership fiscal year 1983 actual income and expenses.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1984

The Operational versus the Conventional Approach to Software Development.

[BibT_eX]

[DOI]

Commun. ACM, 1984

1983

A Quantitative Evaluation of the Feasibility of, and Suitable Hardware Architectures for, an Adaptive, Parallel Finite-Element System.

[BibT_eX]

[DOI]

George E. Cole Jr.

ACM Trans. Math. Softw., 1983

Knowledge-based debugging: session summary.

[BibT_eX]

[DOI]

Proceedings of the symposium on High-level debugging, 1983

Operational specification languages.

[BibT_eX]

[DOI]

Proceedings of the 1983 Annual Conference on Computers: extending the human resource, 1983

1982

An Operational Approach to Requirements Specification for Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1982

Testing Incomplete Specifications of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

Executable Requirements for Embedded Systems.

[BibT_eX]

[DOI]

Raymond T. Yeh

Proceedings of the 5th International Conference on Software Engineering, 1981

1979

Design of an Adaptive, Parallel Finite-Element System.

[BibT_eX]

[DOI]

Werner C. Rheinboldt

ACM Trans. Math. Softw., 1979

Panel session: approaches to specification-various models <u>an informal report</u>.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1979

A comprehensive approach to requirements problems.

[BibT_eX]

[DOI]