Toward Modular Verifiable Exception Handling. - Daniel M. Berry; Richard A. Kemmerer; Arndt von Staa; Shaula Yemini (Comput. Lang., 1980)

On the suitability of Ada multitasking for expressing parallel algorithms. - Shaula Yemini (AdaTEC Conference on Ada, 1982)

An Axiomatic Treatment of Exception Handling. - Shaula Yemini (POPL, 1982)

Design, Implementation, and Validation of Secure Communications Systems. - Robert E. Strom; Shaula Yemini (Protocol Specification, Testing, and Verification, 1983)

NIL: An integrated language and system for distributed programming. - Robert E. Strom; Shaula Yemini (SIGPLAN, 1983)

Synthesizing Distributed Protocols from Serial Programs. - Robert E. Strom; Shaula Yemini (PSTV, 1984)

Synthesizing Distributed and Parallel Programs through Optimistic Transformations. - Robert E. Strom; Shaula Yemini (ICPP, 1985)

Viewing Ada from a process model perspective. - Robert E. Strom; Shaula Yemini; Peter Wegner (SIGAda, 1985)

The NIL distributed systems programming language: a status report. - Robert E. Strom; Shaula Yemini (ACM SIGPLAN Notices, 1985)

Optimistic Recovery in Distributed Systems - Robert E. Strom; Shaula Yemini (ACM Trans. Comput. Syst., 1985)

Symmetric Intertask Communication. - Nissim Francez; Shaula Yemini (ACM Trans. Program. Lang. Syst., 1985)

A Modular Verifiable Exception-Handling Mechanism. - Shaula Yemini; Daniel M. Berry (ACM Trans. Program. Lang. Syst., 1985)

Typestate: A Programming Language Concept for Enhancing Software Reliability. - Robert E. Strom; Shaula Yemini (IEEE Trans. Software Eng., 1986)

An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. - Shaula Yemini; Daniel M. Berry (ACM Trans. Program. Lang. Syst., 1987)

Volatile logging in n-fault-tolerant distributed systems. - Robert E. Strom; David F. Bacon; Shaula Yemini (FTCS, 1988)

Interactive Blackbox Debugging for Concurrent Languages. - Germán S. Goldszmidt; Shmuel Katz; Shaula Yemini (Workshop on Parallel and Distributed Debugging, 1988)

CONCERT: a high-level-language approach to heterogeneous distributed systems. - Shaula Yemini; Germán S. Goldszmidt; Alexander D. Stoyenko; Yi-Hsiu Wei; Langdon W. Beeck (ICDCS, 1989)

High-Level Language Debugging for Concurrent Programs. - Germán S. Goldszmidt; Shaula Yemini; Shmuel Katz (ACM Trans. Comput. Syst., 1990)

Hermes - a language for distributed computing. - Robert E. Strom; David F. Bacon; Arthur P. Goldberg; Andy Lowry; Daniel M. Yellin; Shaula Yemini (Prentice Hall, 1991)

High-level language support for programming distributed systems. - Joshua S. Auerbach; David F. Bacon; Arthur P. Goldberg; Germán S. Goldszmidt; Mark T. Kennedy; Andy Lowry; James R. Russell; William Silverman; Robert E. Strom; Daniel M. Yellin; Shaula Yemini (CASCON, 1991)

Network management by delegation: the MAD approach. - Germán S. Goldszmidt; Yechiam Yemini; Shaula Yemini (CASCON, 1991)

Towards a new distributed programming environment (CORDS). - Jacob Slonim; Patrick J. Finnigan; Alberto O. Mendelzon; Toby J. Teorey; Michael A. Bauer 001; Per-Åke Larson; Richard A. McBride; Yechiam Yemini; Shaula Yemini (CASCON, 1991)

Distributed Programming Environment: Challenges. - Jacob Slonim; Michael A. Bauer 001; Per-Åke Larson; Patrick J. Finnigan; Toby J. Teorey; Alberto O. Mendelzon; Richard A. McBride; Yechiam Yemini; Shaula Yemini (Open Distributed Processing, 1991)

High-level language support for programming distributed systems. - Joshua S. Auerbach; David F. Bacon; Arthur P. Goldberg; Germán S. Goldszmidt; Ajei S. Gopal; Mark T. Kennedy; Andy Lowry; James R. Russell; William Silverman; Robert E. Strom; Daniel M. Yellin; Shaula Yemini (ICCL, 1992)

A coding approach to event correlation. - Shmuel Kliger; Shaula Yemini; Yechiam Yemini; David Ohsie; Salvatore J. Stolfo (Integrated Network Management, 1995)

High speed and robust event correlation. - Shaula Yemini; Shmuel Kliger; Eyal Mozes; Yechiam Yemini; David Ohsie (IEEE Commun. Mag., 1996)

Event Modeling with the MODEL Language. - Alain Mayer; Shmuel Kliger; David Ohsie; Shaula Yemini (Integrated Network Management, 1997)