Arieh Bibliowicz

Arieh-Bibliowicz-Picture-2010-150x150Personal Web Site:


2008 – M.Sc. in Information Systems Management, Technion
Thesis: “A Graph Grammar-Based Formal Validation of an Object-Process Diagram”, Supervised by Prof. Dov Dori.
2001 – B.Sc. in Computer Science


  • Bibliowicz A. and Dori D., “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
  • Bibiliowicz A., Biham E. and Cohen P., “A System for Assisting Analysis of Some Block Ciphers”. Deliverable for the NESSIE project, 2003
  • Bibliowicz A. and Dori D., “A graph grammar-based formal validation of object-process diagrams”. Journal of Software and Systems Modeling, Springer. DOI: 10.1007/s10270-011-0201-4, 2011.