A
Alexander Rabinovich
Researcher at Tel Aviv University
Publications - 139
Citations - 2260
Alexander Rabinovich is an academic researcher from Tel Aviv University. The author has contributed to research in topics: Monadic predicate calculus & Decidability. The author has an hindex of 26, co-authored 139 publications receiving 2202 citations. Previous affiliations of Alexander Rabinovich include University of Texas at El Paso & University of Oxford.
Papers
More filters
Journal ArticleDOI
Some Complexity Results for Stateful Network Verification
Kalev Alpernas,Aurojit Panda,Alexander Rabinovich,Mooly Sagiv,Scott Shenker,Sharon Shoham,Yaron Velner +6 more
TL;DR: In this article, the complexity of verifying safety properties, such as isolation, in networks with finite-state middleboxes, is addressed, and a tool for verifying the correctness of stateful networks is implemented.
Journal ArticleDOI
On schematological equivalence of partially interpreted dataflow networks
TL;DR: This paper extends the results in (Inform.
Book ChapterDOI
A Logic of Reachable Patterns in Linked Data-Structures
TL;DR: In this article, the authors define a decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates, and prove partial correctness of programs performing low-level heap mutations.
Book ChapterDOI
On Expressive Power of Regular Expressions over Infinite Orders
TL;DR: The weak monadic logic and regular expressions are expressively equivalent over finite words and this work generalizes this to words over arbitrary linear orders.