Concepedia

Shaula Yemini

SY

Statistics

Publications

18

Citations

2.3K

H-Index

15

Active since

1982

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

Columbia University

Technion – Israel Institute of Technology

University of California, Los Angeles

Shaula Yemini is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareProgram AnalysisDistributed SystemsSoftware EngineeringParallel ComputingFormal VerificationParallel Programming

Publications per year

1982–2010

18

Publications

18

Optimistic recovery in distributed systems

Rob Strom, Shaula Yemini · ACM Transactions on Computer Systems · 1985 · 722 citations · Full text

Engineering, Processor Failures, Verification +16

Typestate: A programming language concept for enhancing software reliability

Robert E. Strom, Shaula Yemini · IEEE Transactions on Software Engineering · 1986 · 613 citations

Software Maintenance, Software Reliability Testing, Program Checking +22

High speed and robust event correlation

Shaula Yemini, S. Kliger, E. Mozes et al. · IEEE Communications Magazine · 1996 · 363 citations

Engineering, Network Analysis, Event Correlation +19

Volatile logging in n-fault-tolerant distributed systems

Rob Strom, David F. Bacon, Shaula Yemini · 2003 · 114 citations

Availability, Engineering, Information Security +18

Network management by delegation

G. Goldszmidt, Yechiam Yemini, Shaula Yemini · 2010 · 110 citations

Server Agents, Network Science, Engineering +14

1–5 of 18