Multi-Layer Traffic Engineering Through Adaptive lambda-Path Fragmentation and De-fragmentation. - Tibor Cinkler; Péter Hegyi; Márk Asztalos; Géza Geleji; János Szigeti; András Kern (Networking, 2006)

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. - Dániel Varró; Márk Asztalos; Dénes Bisztray; Artur Boronat; Duc-Hanh Dang; Rubino Geiß; Joel Greenyer; Pieter Van Gorp; Ole Kniemeyer; Anantha Narayanan; Edgars Rencis; Erhard Weinell (AGTIVE, 2007)

A formalism for describing modeling transformations for verification. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (MoDeVVa@MoDELS, 2009)

Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Implementing QVT in a Domain-specific Modeling Framework. - István Madari; Márk Asztalos; Tamás Mészáros; László Lengyel; Hassan Charaf (ICSOFT (2), 2010)

Performance Optimization of Exhaustive Rules in Graph Rewriting Systems. - Tamás Mészáros; Márk Asztalos; Gergely Mezei; Hassan Charaf (ICSOFT (2), 2010)

Towards Automated, Formal Verification of Model Transformations. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (ICST, 2010)

Simplifying Model Transformation Chains by Rule Composition. - Márk Asztalos; Eugene Syriani; Manuel Wimmer; Marouane Kessentini (MoDELS (Workshops), 2010)

Verification of Model Transformations to Refactoring Mobile Social Networks. - Márk Asztalos; Péter Ekler; László Lengyel; Tihamer Levendovszky (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Towards Formal Analysis of Multi-paradigm Model Transformations. - Márk Asztalos; István Madari; László Lengyel (Simul., 2010)

Manual and automated performance optimization of model transformation systems. - Tamás Mészáros; Gergely Mezei; Tihamer Levendovszky; Márk Asztalos (Int. J. Softw. Tools Technol. Transf., 2010)

Runtime model validation with parallel object constraint language. - Tamás Vajk; Zoltán Dávid; Márk Asztalos; Gergely Mezei; Tihamer Levendovszky (MoDeVVa@MoDELS, 2011)

Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. - Márk Asztalos; Péter Ekler; László Lengyel; Tihamer Levendovszky; Gergely Mezei; Tamás Mészáros (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Towards Transformation Rule Composition. - Eugene Syriani; Márk Asztalos; Manuel Wimmer; Marouane Kessentini (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formal specification and analysis of functional properties of graph rewriting-based model transformation. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (Softw. Test. Verification Reliab., 2013)

Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése - Márk Asztalos (2013)

Fast android application development with component modeling. - Gábor Kövesdán; Márk Asztalos; László Lengyel (CogInfoCom, 2014)

Polymorphic Templates: A design pattern for implementing agile model-to-text transformations. - Gábor Kövesdán; Márk Asztalos; László Lengyel (XM@MoDELS, 2014)

Modeling Cloud Messaging with a Domain-Specific Modeling Language. - Gábor Kövesdán; Márk Asztalos; László Lengyel (CloudMDE@MoDELS, 2014)

A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs. - Péter Fehér; Márk Asztalos; Tamás Mészáros; László Lengyel (MODELSWARD, 2015)

Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building. - Gábor Kövesdán; Márk Asztalos; László Lengyel (MODELSWARD, 2015)

Quality Assured Model-Driven Requirements Engineering and Software Development. - László Lengyel; Tamás Mészáros; Márk Asztalos; Péter Boros; Attila Máté; Gábor Madács; Péter Hudák; Kristóf Kovács; András Tresch; Hassan Charaf (Comput. J., 2015)

Detecting subgraph isomorphism with MapReduce. - Péter Fehér; Márk Asztalos; Tamás Vajk; Tamás Mészáros; László Lengyel (J. Supercomput., 2017)

Formal Description and Verification of a Text-based Model Differencing and Merging Method. - Ferenc Attila Somogyi; Márk Asztalos (MODELSWARD, 2018)

A Survey on Text-based Modeling in Model Evolution and Management. - Ferenc Attila Somogyi; Márk Asztalos (Period. Polytech. Electr. Eng. Comput. Sci., 2019)

Systematic review of matching techniques used in model-driven methodologies. - Ferenc Attila Somogyi; Márk Asztalos (Softw. Syst. Model., 2020)