Márk Asztalos

26 papers A 1B 1C 3Journal 11Unranked 9

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