Márk Asztalos

According to our database, Márk Asztalos authored at least 26 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Systematic review of matching techniques used in model-driven methodologies.

Ferenc Attila Somogyi, Márk Asztalos

Softw. Syst. Model., 2020

2019

A Survey on Text-based Modeling in Model Evolution and Management.

Ferenc Attila Somogyi, Márk Asztalos

Period. Polytech. Electr. Eng. Comput. Sci., 2019

2018

Formal Description and Verification of a Text-based Model Differencing and Merging Method.

Ferenc Attila Somogyi, Márk Asztalos

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

2017

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

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

Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building.

Gábor Kövesdán, Márk Asztalos, László Lengyel

Proceedings of the MODELSWARD 2015, 2015

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

Proceedings of the MODELSWARD 2015, 2015

2014

Modeling Cloud Messaging with a Domain-Specific Modeling Language.

Gábor Kövesdán, Márk Asztalos, László Lengyel

Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Polymorphic Templates: A design pattern for implementing agile model-to-text transformations.

Gábor Kövesdán, Márk Asztalos, László Lengyel

Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Fast android application development with component modeling.

Gábor Kövesdán, Márk Asztalos, László Lengyel

Proceedings of the 5th IEEE Conference on Cognitive Infocommunications, 2014

2013

Gráfújraírás-alapú modelltranszformációk helyességének offline ellenőrzése

Márk Asztalos

PhD thesis, 2013

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

2011

Towards Transformation Rule Composition.

Eugene Syriani, Márk Asztalos, Manuel Wimmer, Marouane Kessentini

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Runtime model validation with parallel object constraint language.

Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

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

Towards Formal Analysis of Multi-paradigm Model Transformations.

Márk Asztalos, István Madari, László Lengyel

Simul., 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

Simplifying Model Transformation Chains by Rule Composition.

Márk Asztalos, Eugene Syriani, Manuel Wimmer, Marouane Kessentini

Proceedings of the Models in Software Engineering, 2010

Towards Automated, Formal Verification of Model Transformations.

Márk Asztalos, László Lengyel, Tihamer Levendovszky

Proceedings of the Third International Conference on Software Testing, 2010

Performance Optimization of Exhaustive Rules in Graph Rewriting Systems.

Tamás Mészáros, Márk Asztalos, Gergely Mezei, Hassan Charaf

Proceedings of the ICSOFT 2010, 2010

Implementing QVT in a Domain-specific Modeling Framework.

István Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf

Proceedings of the ICSOFT 2010, 2010

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

A formalism for describing modeling transformations for verification.

Márk Asztalos, László Lengyel, Tihamer Levendovszky

Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009

2007

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

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Multi-Layer Traffic Engineering Through Adaptive <i>lambda</i>-Path Fragmentation and De-fragmentation.

Tibor Cinkler, Péter Hegyi, Márk Asztalos, Géza Geleji, János Szigeti, András Kern

Proceedings of the NETWORKING 2006, 2006