Gergely Mezei

Orcid: 0000-0001-9464-7128

According to our database1, Gergely Mezei authored at least 75 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
1
2
1
1
2
1
3
1
2
1
2
5
3
3
5
5
5
3
3
3
3
2
1
1
2
1
2
6
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models.
SN Comput. Sci., June, 2024

Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
Verifying Static Constraints on Models Using General Formal Verification Methods.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

Field Types for Deep Characterization in Multi-Level Modeling.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Playground for multi-level modeling constructs.
Softw. Syst. Model., 2022

The Challenges of Defining and Parsing Multi-Layer DMLA Models.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Towards Model Transformation with Structural Level-spanning Patterns.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Practical application of the multi-level modeling playground.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

DeepTelos and DMLA: a contribution to the MULTI 2022 collaborative comparison challenge.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Connections between Language Semantics and the Query-based Compiler Architecture.
Proceedings of the 17th International Conference on Software Technologies, 2022

2021
Preface to the 8th International Workshop on Multi-Level Modelling (MULTI 2021).
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

The MULTI Collaborative Comparison Challenge.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Melanee and DMLA - A Contribution to the MULTI 2021 Collaborative Comparison Challenge.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020
Multi-level Modeling without Classical Modeling Facilities.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

Join potency: a way of combining separate multi-level models.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Step-wise refinement in multi-paradigm modeling.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
Benchmarking Graph Database Backends - What Works Well with Wikidata?
Acta Cybern., 2019

Towards a Classification to Facilitate the Design of Domain-Specific Visual Languages.
Acta Cybern., 2019

The Art of Bootstrapping.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Towards Mainstream Multi-level Meta-modeling.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

By Multi-layer to Multi-level Modeling.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Multi-level Modeling with DMLA - A Contribution to the MULTI Process Challenge.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Flexible, Rigorous Refinement in Metamodeling.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018
Self-describing Operations for Multi-level Meta-modeling.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

The bicycle challenge in DMLA, where validation means correct modeling.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

OpenCL-Based Performance Enhancement of Model Transformations.
Proceedings of the International Workshop on OpenCL, 2018

The Dynamic Sensor Data Description and Data Format Conversion Language.
Proceedings of the 13th International Conference on Software Technologies, 2018

Towards a Visualization of Multi-level Metamodeling Techniques.
Proceedings of the 13th International Conference on Software Technologies, 2018

2017
Formalism for Static Aspects of Dynamic Metamodeling.
Period. Polytech. Electr. Eng. Comput. Sci., 2017

Introduction of an OpenCL-Based Model Transformation Engine.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Validated Multi-layer Meta-modeling via Intrinsically Modeled Operations.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Constraint Modularization Within Multi-level Meta-modeling.
Proceedings of the Information and Software Technologies - 23rd International Conference, 2017

Demonstration of Using a Domain-Specific Visual Modeler for Building Semantic Queries.
Proceedings of the Joint Proceedings of the 2nd RDF Stream Processing (RSP 2017) and the Querying the Web of Data (QuWeDa 2017) Workshops co-located with 14th ESWC 2017 (ESWC 2017), Portoroz, Slovenia, May 28th - to, 2017

Truly Parallel Model-Matching Algorithm in OpenCL.
Proceedings of the Software Engineering Trends and Techniques in Intelligent Systems, 2017

2016
Generic approach for pattern matching with OpenCL.
Proceedings of the 24th High Performance Computing Symposium, 2016

Multi-level Dynamic Instantiation for Resolving Node-edge Dichotomy.
Proceedings of the MODELSWARD 2016, 2016

Towards a Model Transformation Tool on the Top of the OpenCL Framework.
Proceedings of the MODELSWARD 2016, 2016

2015
Towards creating a GPGPU-accelerated framework for pattern matching.
Proceedings of the 13th IEEE International Symposium on Intelligent Systems and Informatics, 2015

An Algebraic Instantiation Technique Illustrated by Multilevel Design Patterns.
Proceedings of the 2nd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015

Creating a GPGPU-accelerated framework for pattern matching using a case study.
Proceedings of the IEEE EUROCON 2015, 2015

2014
Integrating System Modeling and Cost Models Using Meta-Modeling Techniques.
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Holistic, model-based service repository for distributed industrial automation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Fundamentals of a graph transformation based web data processing system.
Proceedings of the 5th IEEE Conference on Cognitive Infocommunications, 2014

2013
Incremental semantic analysis for OCL compilers.
Innov. Syst. Softw. Eng., 2013

Graph Partitioning Algorithm for Social Network Model Transformation Frameworks.
Proceedings of the ICSOFT 2013, 2013

Graph partitioning algorithm for model transformation frameworks.
Proceedings of Eurocon 2013, 2013

Core line detector of a multi purpose geometry scanner.
Proceedings of the IEEE 4th International Conference on Cognitive Infocommunications, 2013

2012
Parallel Graph Transformations on Multicore Systems.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

Model-driven paradigms: the evolution of a university course.
Proceedings of the 8th edition of the Educators' Symposium, 2012

2011
Active Model Patterns with Interactive Model Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Runtime model validation with parallel object constraint language.
Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010
Manual and automated performance optimization of model transformation systems.
Int. J. Softw. Tools Technol. Transf., 2010

Performance Optimization of Exhaustive Rules in Graph Rewriting Systems.
Proceedings of the ICSOFT 2010, 2010

2009
Engineering the Dynamic Behavior of Metamodeled Languages.
Simul., 2009

Code Generation with the Model Transformation of Visual Behavior Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Systematic Transformation Development.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Explicit Transformation Modeling.
Proceedings of the Models in Software Engineering, 2009

Incremental Type Checking in OCL Compilers.
Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009

2008
Vizuális nyelvek transzformációalapú támogatása.
PhD thesis, 2008

An Incremental OCL Compiler for Modeling Environments.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A flexible, declarative presentation framework for domain-specific modeling.
Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007
A distribution technique for graph rewriting and model transformation systems.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

Introducing the VMTS Mobile Toolkit.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Restrictions for OCL Constraint Optimization Algorithms.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Model-Based System Development for Embedded Mobile Platforms.
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006

Model-Based Development with Validated Model Transformation.
Proceedings of the Model-Driven Enterprise Information Systems, 2006

An optimizing OCL Compiler for Metamodeling and Model Transformation Environments.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Visual Presentation Solutions for Domain Specific Languages.
Proceedings of the IASTED International Conference on Software Engineering, 2006

A Visual Control Flow Language for Model Transformation Systems.
Proceedings of the IASTED International Conference on Software Engineering, 2006

Towards a Model-Based Unification of Mobile Platforms.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Metamodel-Based Model Transformation with Aspect-Oriented Constraints.
Proceedings of the International Workshop on Graph and Model Transformation, 2005

A Flexible Attribute Instantiation Technique for Visual Languages.
Proceedings of the IASTED International Conference on Software Engineering, 2005

2004
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004


  Loading...