Moria Abadi

According to our database, Moria Abadi authored at least 3 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Verifying Parallel Code After Refactoring Using Equivalence Checking.

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler

Int. J. Parallel Program., 2019

2012

Automatic recovery of statecharts from procedural code.

Moria Abadi, Yishai A. Feldman

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2009

Refactoring of Statecharts.

Moria Abadi, Yishai A. Feldman

Proceedings of the Next Generation Information Technologies and Systems, 2009