Márk Asztalos

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 4

Top Topics

Model Driven Architecture

Software Development

Subgraph Isomorphism

Top Venues

Softw. Test. Verification Reliab.

Softw. Syst. Model.

Publications

Ferenc Attila Somogyi, Márk Asztalos
Systematic review of matching techniques used in model-driven methodologies. Softw. Syst. Model. 19 (3) (2020)
Ferenc Attila Somogyi, Márk Asztalos
A Survey on Text-based Modeling in Model Evolution and Management. Period. Polytech. Electr. Eng. Comput. Sci. 63 (1) (2019)
Ferenc Attila Somogyi, Márk Asztalos
Formal Description and Verification of a Text-based Model Differencing and Merging Method. MODELSWARD (2018)
Péter Fehér, Márk Asztalos, Tamás Vajk, Tamás Mészáros, László Lengyel
Detecting subgraph isomorphism with MapReduce. J. Supercomput. 73 (5) (2017)
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
Quality Assured Model-Driven Requirements Engineering and Software Development. Comput. J. 58 (11) (2015)
Gábor Kövesdán, Márk Asztalos, László Lengyel
Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building. MODELSWARD (2015)
Péter Fehér, Márk Asztalos, Tamás Mészáros, László Lengyel
A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs. MODELSWARD (2015)
Gábor Kövesdán, Márk Asztalos, László Lengyel
Polymorphic Templates: A design pattern for implementing agile model-to-text transformations. XM@MoDELS (2014)
Gábor Kövesdán, Márk Asztalos, László Lengyel
Fast android application development with component modeling. CogInfoCom (2014)
Gábor Kövesdán, Márk Asztalos, László Lengyel
Modeling Cloud Messaging with a Domain-Specific Modeling Language. CloudMDE@MoDELS (2014)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
Formal specification and analysis of functional properties of graph rewriting-based model transformation. Softw. Test. Verification Reliab. 23 (5) (2013)
Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky
Runtime model validation with parallel object constraint language. MoDeVVa@MoDELS (2011)
Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Tamás Mészáros
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 42 (2011)
Eugene Syriani, Márk Asztalos, Manuel Wimmer, Marouane Kessentini
Towards Transformation Rule Composition. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 42 (2011)
Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky
Verification of Model Transformations to Refactoring Mobile Social Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Márk Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini
Simplifying Model Transformation Chains by Rule Composition. MoDELS (Workshops) (2010)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
Towards Automated, Formal Verification of Model Transformations. ICST (2010)
István Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf
Implementing QVT in a Domain-specific Modeling Framework. ICSOFT (2) (2010)
Tamás Mészáros, Márk Asztalos, Gergely Mezei, Hassan Charaf
Performance Optimization of Exhaustive Rules in Graph Rewriting Systems. ICSOFT (2) (2010)
Márk Asztalos, István Madari, László Lengyel
Towards Formal Analysis of Multi-paradigm Model Transformations. Simul. 86 (7) (2010)
Tamás Mészáros, Gergely Mezei, Tihamer Levendovszky, Márk Asztalos
Manual and automated performance optimization of model transformation systems. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Márk Asztalos, László Lengyel, Tihamer Levendovszky
A formalism for describing modeling transformations for verification. MoDeVVa@MoDELS (2009)
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
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE (2007)
Tibor Cinkler, Péter Hegyi, Márk Asztalos, Géza Geleji, János Szigeti, András Kern
-Path Fragmentation and De-fragmentation. Networking (2006)