Moria Abadi

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 1

Top Topics

Code Generation

Parallel Programming

Top Venues

Int. J. Parallel Program.

Publications

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler
Verifying Parallel Code After Refactoring Using Equivalence Checking. Int. J. Parallel Program. 47 (1) (2019)
Moria Abadi, Yishai A. Feldman
Automatic recovery of statecharts from procedural code. ASE (2012)
Moria Abadi, Yishai A. Feldman
Refactoring of Statecharts. NGITS (2009)