M.Sc. Thesis

A Graph Grammar-Based Formal Validation of an Object-Process Diagram - Object-Process Methodology (OPM) is a modeling methodology invented by Prof. Dov Dori of the Information Systems Area of the Industrial Engineering Faculty at the Technion. This methodology combines a simple modeling framework which includes abstraction features that are missing in most of the popular methodologies that I know. My Thesis describes a grammar to create Object-Process Diagrams (OPDs) and an algorithm to verify their validity. Papers

  1. A graph grammar-based formal validation of object-process diagrams – Condensed version of my M.Sc. thesis, published in the Software and Systems Modeling Journal. The final version of this paper is available at
  2. Creating Domain-Specific Modeling Languages with OPM/D, A Meta-modeling approach – Presented at ICSOFT-PT 2013 International Conference on Software Paradigm Trends, Reykjavík, Iceland, 2013. If you’ve never been to Iceland, get accepted to a conference there. It is amazing.

Miscellaneous Work

A System for Assisting Analysis of Some Block Ciphers – Research work done with Prof. Eli Biham on an automatic methodology for the analysis of some block ciphers. The research was funded by the NESSIE project. Improving Clock Synchronization in Large Networks – Final work of a Distributed Systems course Evolving a Backgammon Player at Home –  This is the work that I have enjoyed the most and also put effort into. We programmed a backgammon player that used neural networks to play backgammon, and then using genetic evolution we let the players evolve to see what happened. At the end we did get a decent player and a lot of enjoyment. You can also check out my current PhD Research page, which includes a list of the papers I have read and small summaries of their contents.


Empirical Software Engineering Papers


Leave a Reply