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 for the creation of an Object-Process Diagram (OPD) and an algorithm for the verification of its validity.

Papers
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 www.springerlink.com

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.