Shaula Yemini

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