Mohamad Reza Zand Miralvand

  • Citations Per Year
Learn More
Graphical structures (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems. These structures are often augmented by formalisms which add a further dimension to the static description allowing for the modeling of the evolution of systems via any kind of transformation of such graphical structures.(More)
Non-functional requirements like performance and reliability play a prominent role in distributed and dynamic systems. To measure and predict such properties using stochastic formal methods is crucial. At the same time, graph transformation systems are a suitable formalism to formally model distributed and dynamic systems. Already, to address these two(More)
Today, software system development (especially safety critical systems) is a complex task. Any bug in these systems may cause serious and costly problems. In this paper, we propose a formal and automatic approach to refinement platform independent models to more platform specific ones. Using graph transformation systems as background formalism, we can(More)
  • 1