( en | de | ru )

 

Disambiguation of "Asztalos, Márk"

Author of the publication

copydeleteadd this publication to your clipboard
Formal specification and analysis of functional properties of graph rewriting-based model transformation.

, , and . Softw. Test. Verification Reliab., 23 (5): 405-435 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Asztalos

Arpad Asztalos

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)
 

Other publications of authors with the same name

Formal Description and Verification of a Text-based Model Differencing and Merging Method., and . MODELSWARD, page 657-667. SciTePress, (2018)Towards Formal Analysis of Multi-paradigm Model Transformations., , and . Simulation, 86 (7): 429-452 (2010)Systematic review of matching techniques used in model-driven methodologies., and . Softw. Syst. Model., 19 (3): 693-720 (2020)A formalism for describing modeling transformations for verification., , and . MoDeVVa@MoDELS, page 2:1-2:10. ACM, (2009)Applications of Graph Transformations with Industrial Relevance, , , , , , , , , and 2 other author(s). Springer-Verlag, Berlin, Heidelberg, (2008)Runtime model validation with parallel object constraint language., , , , and . MoDeVVa@MoDELS, page 7:1-7:8. ACM, (2011)A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs., , , and . MODELSWARD, page 205-212. SciTePress, (2015)Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building., , and . MODELSWARD, page 149-156. SciTePress, (2015)Verification of Model Transformations to Refactoring Mobile Social Networks., , , and . ECEASST, (2010)Detecting subgraph isomorphism with MapReduce., , , , and . J. Supercomput., 73 (5): 1810-1851 (2017)