Shaula Yemini

Publication Activity (10 Years)

Years Active: 1980-1997
Publications (10 Years): 0

Publications

Alain Mayer, Shmuel Kliger, David Ohsie, Shaula Yemini
Event Modeling with the MODEL Language. Integrated Network Management (1997)
Shaula Yemini, Shmuel Kliger, Eyal Mozes, Yechiam Yemini, David Ohsie
High speed and robust event correlation. IEEE Commun. Mag. 34 (5) (1996)
Shmuel Kliger, Shaula Yemini, Yechiam Yemini, David Ohsie, Salvatore J. Stolfo
A coding approach to event correlation. Integrated Network Management (1995)
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
High-level language support for programming distributed systems. ICCL (1992)
Germán S. Goldszmidt, Yechiam Yemini, Shaula Yemini
Network management by delegation: the MAD approach. CASCON (1991)
Jacob Slonim, Patrick J. Finnigan, Alberto O. Mendelzon, Toby J. Teorey, Michael A. Bauer, Per-Åke Larson, Richard A. McBride, Yechiam Yemini, Shaula Yemini
Towards a new distributed programming environment (CORDS). CASCON (1991)
Jacob Slonim, Michael A. Bauer, Per-Åke Larson, Patrick J. Finnigan, Toby J. Teorey, Alberto O. Mendelzon, Richard A. McBride, Yechiam Yemini, Shaula Yemini
Distributed Programming Environment: Challenges. Open Distributed Processing (1991)
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
High-level language support for programming distributed systems. CASCON (1991)
Germán S. Goldszmidt, Shaula Yemini, Shmuel Katz
High-Level Language Debugging for Concurrent Programs. ACM Trans. Comput. Syst. 8 (4) (1990)
Shaula Yemini, Germán S. Goldszmidt, Alexander D. Stoyenko, Yi-Hsiu Wei, Langdon W. Beeck
CONCERT: a high-level-language approach to heterogeneous distributed systems. ICDCS (1989)
Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini
Interactive Blackbox Debugging for Concurrent Languages. Workshop on Parallel and Distributed Debugging (1988)
Robert E. Strom, David F. Bacon, Shaula Yemini
Volatile logging in n-fault-tolerant distributed systems. FTCS (1988)
Shaula Yemini, Daniel M. Berry
An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language. ACM Trans. Program. Lang. Syst. 9 (3) (1987)
Robert E. Strom, Shaula Yemini
Typestate: A Programming Language Concept for Enhancing Software Reliability. IEEE Trans. Software Eng. 12 (1) (1986)
Robert E. Strom, Shaula Yemini
The NIL distributed systems programming language: a status report. ACM SIGPLAN Notices 20 (5) (1985)
Shaula Yemini, Daniel M. Berry
A Modular Verifiable Exception-Handling Mechanism. ACM Trans. Program. Lang. Syst. 7 (2) (1985)
Nissim Francez, Shaula Yemini
Symmetric Intertask Communication. ACM Trans. Program. Lang. Syst. 7 (4) (1985)
Robert E. Strom, Shaula Yemini
Optimistic Recovery in Distributed Systems ACM Trans. Comput. Syst. 3 (3) (1985)
Robert E. Strom, Shaula Yemini
Synthesizing Distributed and Parallel Programs through Optimistic Transformations. ICPP (1985)
Robert E. Strom, Shaula Yemini, Peter Wegner
Viewing Ada from a process model perspective. SIGAda (1985)
Robert E. Strom, Shaula Yemini
Synthesizing Distributed Protocols from Serial Programs. PSTV (1984)
Robert E. Strom, Shaula Yemini
The NIL Distributed Systems Programming Language: A Status Report. Seminar on Concurrency (1984)
Robert E. Strom, Shaula Yemini
NIL: An integrated language and system for distributed programming. ACM SIGPLAN Notices 18 (6) (1983)
Robert E. Strom, Shaula Yemini
Design, Implementation, and Validation of Secure Communications Systems. Protocol Specification, Testing, and Verification (1983)
Shaula Yemini
On the suitability of Ada multitasking for expressing parallel algorithms. AdaTEC Conference on Ada (1982)
Shaula Yemini
An Axiomatic Treatment of Exception Handling. POPL (1982)
Daniel M. Berry, Richard A. Kemmerer, Arndt von Staa, Shaula Yemini
Toward Modular Verifiable Exception Handling. Comput. Lang. 5 (2) (1980)