| 2018 | MODELSWARD | Formal Description and Verification of a Text-based Model Differencing and Merging Method. | Ferenc Attila Somogyi, Mrk Asztalos |
| 2015 | MODELSWARD | A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs. | Pter Fehr, Mrk Asztalos, Tams Mszros, Lszl Lengyel |
| 2015 | MODELSWARD | Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building. | Gbor Kvesdn, Mrk Asztalos, Lszl Lengyel |
| 2014 | MODELS | Polymorphic Templates: A design pattern for implementing agile model-to-text transformations. | Gbor Kvesdn, Mrk Asztalos, Lszl Lengyel |
| 2014 | MODELS | Modeling Cloud Messaging with a Domain-Specific Modeling Language. | Gbor Kvesdn, Mrk Asztalos, Lszl Lengyel |
| 2011 | MODELS | Runtime model validation with parallel object constraint language. | Tams Vajk, Zoltn Dvid, Mrk Asztalos, Gergely Mezei, Tihamer Levendovszky |
| 2010 | ICSoft | Implementing QVT in a Domain-specific Modeling Framework. | Istvn Madari, Mrk Asztalos, Tams Mszros, Lszl Lengyel, Hassan Charaf |
| 2010 | ICSoft | Performance Optimization of Exhaustive Rules in Graph Rewriting Systems. | Tams Mszros, Mrk Asztalos, Gergely Mezei, Hassan Charaf |
| 2010 | ICST | Towards Automated, Formal Verification of Model Transformations. | Mrk Asztalos, Lszl Lengyel, Tihamer Levendovszky |
| 2010 | MODELS | Simplifying Model Transformation Chains by Rule Composition. | Mrk Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini |
| 2009 | MODELS | A formalism for describing modeling transformations for verification. | Mrk Asztalos, Lszl Lengyel, Tihamer Levendovszky |
| 2006 | Networking | Multi-Layer Traffic Engineering Through Adaptive | Tibor Cinkler, Pter Hegyi, Mrk Asztalos, Gza Geleji, Jnos Szigeti, Andrs Kern |