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
- 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
- Creating Domain-Speciﬁc 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.
- 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 (Not updated a lot…).