Concepedia

Robert E. Strom

RE

16

Publications

2.7K

Citations

15

H-Index

1983

Active since

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

The University of Texas at Austin

Robert E. Strom is an author at IBM (United States) specializing in engineering, computer science, and system software.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareProgram AnalysisFormal VerificationSoftware AnalysisParallel ComputingSoftware EngineeringVerification

Publications per year

1983–2008

16

Publications

16

Matching events in a content-based subscription system

Marcos K. Aguilera, Robert E. Strom, Daniel Sturman et al. · 1999 · 633 citations

Event-driven Architecture, Engineering, Event Correlation +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

Protocol specifications and component adaptors

Daniel M. Yellin, Robert E. Strom · ACM Transactions on Programming Languages and Systems · 1997 · 551 citations · Full text

Exploiting IP multicast in content-based publish-subscribe systems

Lukasz Opyrchal, Mark Astley, Joshua Auerbach et al. · Lecture notes in computer science · 2000 · 167 citations

Engineering, Network Science, Cloud Computing +5

Gryphon: An Information Flow Based Approach to Message Brokering

Robert E. Strom, Guruduth Banavar, Tushar Chandra et al. · ArXiv.org · 1998 · 152 citations · Full text

Engineering, Business Intelligence, Communication +18

Rows per page

1–5 of 16