Shaula Yemini

According to our database, Shaula Yemini authored at least 27 papers between 1980 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1997

Event Modeling with the MODEL Language.

Alain Mayer, Shmuel Kliger, David Ohsie, Shaula Yemini

Proceedings of the Integrated Network Management V, 1997

1996

High speed and robust event correlation.

Shaula Yemini, Shmuel Kliger, Eyal Mozes, Yechiam Yemini, David Ohsie

IEEE Commun. Mag., 1996

1995

A coding approach to event correlation.

Shmuel Kliger, Shaula Yemini, Yechiam Yemini, David Ohsie, Salvatore J. Stolfo

Proceedings of the Integrated Network Management IV, 1995

1992

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

Proceedings of the ICCL'92, 1992

1991

Distributed Programming Environment: Challenges.

Jacob Slonim, Michael A. Bauer, Per-Åke Larson, Patrick J. Finnigan, Toby J. Teorey, Alberto O. Mendelzon, Richard A. McBride, Yechiam Yemini, Shaula Yemini

Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

Towards a new distributed programming environment (CORDS).

Jacob Slonim, Patrick J. Finnigan, Alberto O. Mendelzon, Toby J. Teorey, Michael A. Bauer, Per-Åke Larson, Richard A. McBride, Yechiam Yemini, Shaula Yemini

Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

Network management by delegation: the MAD approach.

Germán S. Goldszmidt, Yechiam Yemini, Shaula Yemini

Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 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

Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

Hermes - a language for distributed computing.

Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, Shaula Yemini

Prentice Hall series in innovative technology, Prentice Hall, ISBN: 978-0-13-389537-7, 1991

1990

High-Level Language Debugging for Concurrent Programs.

Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz

ACM Trans. Comput. Syst., 1990

1989

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

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

Interactive Blackbox Debugging for Concurrent Languages.

Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 1988

Volatile logging in n-fault-tolerant distributed systems.

Robert E. Strom, David F. Bacon, Shaula Yemini

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987

An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language.

Shaula Yemini, Daniel M. Berry

ACM Trans. Program. Lang. Syst., 1987

1986

Typestate: A Programming Language Concept for Enhancing Software Reliability.

Robert E. Strom, Shaula Yemini

IEEE Trans. Software Eng., 1986

1985

A Modular Verifiable Exception-Handling Mechanism.

Shaula Yemini, Daniel M. Berry

ACM Trans. Program. Lang. Syst., 1985

Symmetric Intertask Communication.

Nissim Francez, Shaula Yemini

ACM Trans. Program. Lang. Syst., 1985

Optimistic Recovery in Distributed Systems

Robert E. Strom, Shaula Yemini

ACM Trans. Comput. Syst., 1985

The NIL distributed systems programming language: a status report.

Robert E. Strom, Shaula Yemini

ACM SIGPLAN Notices, 1985

Viewing Ada from a process model perspective.

Robert E. Strom, Shaula Yemini, Peter Wegner

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

Synthesizing Distributed and Parallel Programs through Optimistic Transformations.

Robert E. Strom, Shaula Yemini

Proceedings of the International Conference on Parallel Processing, 1985

1984

Synthesizing Distributed Protocols from Serial Programs.

Robert E. Strom, Shaula Yemini

Proceedings of the Protocol Specification, 1984

1983

NIL: An integrated language and system for distributed programming.

Robert E. Strom, Shaula Yemini

Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

Design, Implementation, and Validation of Secure Communications Systems.

Robert E. Strom, Shaula Yemini

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

An Axiomatic Treatment of Exception Handling.

Shaula Yemini

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

On the suitability of Ada multitasking for expressing parallel algorithms.

Shaula Yemini

Proceedings of the AdaTEC Conference on Ada, 1982

1980

Toward Modular Verifiable Exception Handling.

Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini

Comput. Lang., 1980