Concepedia

Márk Asztalos

MA

Statistics

Publications

5

Citations

142

H-Index

5

Active since

2009

Affiliations

Budapest University of Technology and Economics(Current)

Márk Asztalos is an author at Budapest University of Technology and Economics specializing in systems modeling, formal methods, and computer science.

Publications per year

2009–2019

5

Publications

5

Towards Automated, Formal Verification of Model Transformations

Márk Asztalos, László Lengyel, Tihamér Levendovszky · 2010 · 79 citations

Computing, Computer Science, Formal Methods +16

Manual and automated performance optimization of model transformation systems

Tamás Mészáros, Gergely Mezei, Tihamér Levendovszky et al. · International Journal on Software Tools for Technology Transfer · 2010 · 27 citations

Engineering, Systems Engineering, Model-based Systems Engineering +13

Systematic review of matching techniques used in model-driven methodologies

Ferenc A. Somogyi, Márk Asztalos · Software & Systems Modeling · 2019 · 14 citations · Full text

Computing, Computer Science, Information Retrieval +16

Runtime model validation with parallel object constraint language

Tamás Vajk, Zoltán Dávid, Márk Asztalos et al. · 2011 · 12 citations

Computing, Computer Science, Formal Methods +11

A formalism for describing modeling transformations for verification

Márk Asztalos, László Lengyel, Tihamér Levendovszky · 2009 · 10 citations

Computing, Computer Science, Formal Methods +15

1–5 of 5