Towards automated, formal verification of model transformations M Asztalos, L Lengyel, T Levendovszky 2010 Third International Conference on Software Testing, Verification and …, 2010 | 64 | 2010 |
Transformation of UML models to CSP: A case study for graph transformation tools D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ... Applications of Graph Transformations with Industrial Relevance: Third …, 2008 | 54 | 2008 |
Manual and automated performance optimization of model transformation systems T Mészáros, G Mezei, T Levendovszky, M Asztalos International Journal on Software Tools for Technology Transfer 12, 231-243, 2010 | 32 | 2010 |
Towards a fast, efficient and customizable domain-specific modeling framework L Angyal, M Asztalos, L Lengyel, T Levendovszky, I Madari, G Mezei, ... Proceedings of the IASTED international conference 31, 11-16, 2009 | 28 | 2009 |
A formalism for describing modeling transformations for verification M Asztalos, L Lengyel, T Levendovszky Proceedings of the 6th International Workshop on Model-Driven Engineering …, 2009 | 21 | 2009 |
Runtime model validation with parallel object constraint language T Vajk, Z Dávid, M Asztalos, G Mezei, T Levendovszky Proceedings of the 8th International Workshop on Model-Driven Engineering …, 2011 | 15 | 2011 |
Multi-Layer Traffic Engineering Through Adaptive λ-Path Fragmentation and De-fragmentation T Cinkler, P Hegyi, M Asztalos, G Geleji, J Szigeti, A Kern NETWORKING 2006. Networking Technologies, Services, and Protocols …, 2006 | 13 | 2006 |
Formal specification and analysis of functional properties of graph rewriting‐based model transformation M Asztalos, L Lengyel, T Levendovszky Software Testing, Verification and Reliability 23 (5), 405-435, 2013 | 10 | 2013 |
Architectural design patterns for language parsers G Kövesdán, M Asztalos, L Lengyel Acta Polytechnica Hungarica 11 (5), 39-57, 2014 | 9 | 2014 |
Generating Executable BPEL Code from BPMN Models M Asztalos, T Mészáros, L Lengyel GraBaTs’ 09 Tool Contest, 2009 | 9 | 2009 |
/spl lambda/-path fragmentation and de-fragmentation through dynamic grooming T Cinkler, G Geleji, M Asztalos, P Hegyi, A Kern, J Szigeti Proceedings of 2005 7th International Conference Transparent Optical …, 2005 | 9 | 2005 |
Detecting subgraph isomorphism with MapReduce P Fehér, M Asztalos, T Vajk, T Mészáros, L Lengyel The Journal of Supercomputing 73, 1810-1851, 2017 | 8 | 2017 |
Systematic review of matching techniques used in model-driven methodologies FA Somogyi, M Asztalos Software and Systems Modeling 19 (3), 693-720, 2020 | 7 | 2020 |
A classification of domain-specific language intents G Kövesdán, M Asztalos, L Lengyel International Journal of Modeling and Optimization 1 (4), 67-73, 2014 | 7 | 2014 |
Validating query/view/transformation relations L Lengyel, I Madari, M Asztalos, T Levendovszky Proceedings of the 2010 Workshop on Model-Driven Engineering, Verification …, 2010 | 7 | 2010 |
Quality assured model-driven requirements engineering and software development L Lengyel, T Mészáros, M Asztalos, P Boros, A Máté, G Madács, P Hudák, ... The Computer Journal 58 (11), 3171-3186, 2015 | 6 | 2015 |
Fast android application development with component modeling G Kövesdán, M Asztalos, L Lengyel 2014 5th IEEE Conference on Cognitive Infocommunications (CogInfoCom), 515-520, 2014 | 6 | 2014 |
Polymorphic Templates: A design pattern for implementing agile model-to-text transformations. G Kövesdán, M Asztalos, L Lengyel XM@ MoDELS, 32-41, 2014 | 6 | 2014 |
Automated verification by declarative description of graph rewriting-based model transformations M Asztalos, P Ekler, L Lengyel, T Levendovszky, G Mezei, T Mészáros Electronic Communications of the EASST 42, 2011 | 6 | 2011 |
Simplifying model transformation chains by rule composition M Asztalos, E Syriani, M Wimmer, M Kessentini Models in Software Engineering: Workshops and Symposia at MODELS 2010, Oslo …, 2011 | 6 | 2011 |