 | 2011 |
| 12 |  | 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.
ECEASST 42: (2011) |
| 11 |  | Eugene Syriani,
Márk Asztalos,
Manuel Wimmer,
Marouane Kessentini:
Towards Transformation Rule Composition.
ECEASST 42: (2011) |
| 2010 |
| 10 |  | Tamás Mészáros,
Márk Asztalos,
Gergely Mezei,
Hassan Charaf:
Performance Optimization of Exhaustive Rules in Graph Rewriting Systems.
ICSOFT (2) 2010: 292-295 |
| 9 |  | 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: 304-307 |
| 8 |  | Márk Asztalos,
László Lengyel,
Tihamer Levendovszky:
Towards Automated, Formal Verification of Model Transformations.
ICST 2010: 15-24 |
| 7 |  | Márk Asztalos,
Eugene Syriani,
Manuel Wimmer,
Marouane Kessentini:
Simplifying Model Transformation Chains by Rule Composition.
MoDELS Workshops 2010: 293-307 |
| 6 |  | Márk Asztalos,
Péter Ekler,
László Lengyel,
Tihamer Levendovszky:
Verification of Model Transformations to Refactoring Mobile Social Networks.
ECEASST 32: (2010) |
| 5 |  | Tamás Mészáros,
Gergely Mezei,
Tihamer Levendovszky,
Márk Asztalos:
Manual and automated performance optimization of model transformation systems.
STTT 12(3-4): 231-243 (2010) |
| 4 |  | Márk Asztalos,
István Madari,
László Lengyel:
Towards Formal Analysis of Multi-paradigm Model Transformations.
Simulation 86(7): 429-452 (2010) |
| 2009 |
| 3 |  | Márk Asztalos,
László Lengyel,
Tihamer Levendovszky:
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models.
ECEASST 21: (2009) |
| 2007 |
| 2 |  | 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: 540-565 |
| 2006 |
| 1 |  | Tibor Cinkler,
Péter Hegyi,
Márk Asztalos,
Géza Geleji,
János Szigeti,
András Kern:
Multi-Layer Traffic Engineering Through Adaptive lambda-Path Fragmentation and De-fragmentation.
Networking 2006: 715-726 |