Gábor Bergmann

Orcid: 0000-0002-2556-2582

According to our database1, Gábor Bergmann authored at least 50 papers between 2008 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Controllable and decomposable multidirectional synchronizations.
Softw. Syst. Model., 2021

Incremental whole-program analysis in Datalog with lattices.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Diversity of graph models and graph generators in mutation testing.
Int. J. Softw. Tools Technol. Transf., 2020

Scalable modeling technologies in the wild: an experience report on wind turbines control applications development.
Softw. Syst. Model., 2020

2019
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.
Softw. Syst. Model., 2019

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.
Softw. Syst. Model., 2019

Adaptive Step Size Control for Hybrid CT Simulation without Rollback.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

2018
Secure Views for Collaborative Modeling.
IEEE Softw., 2018

Incrementalizing lattice-based program analyses in Datalog.
Proc. ACM Program. Lang., 2018

Incquery server for teamwork cloud: scalable query evaluation over collaborative model repositories.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017
The MONDO collaboration framework: secure collaborative modeling over existing version control systems.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Property-Based Locking in Collaborative Modeling.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development.
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework.
Softw. Syst. Model., 2016

Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules.
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Query-based access control for secure collaborative modeling using bidirectional transformations.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Rete Network Slicing for Model Queries.
Proceedings of the Graph Transformation - 9th International Conference, 2016

2015
EMF-IncQuery: An integrated development environment for live model queries.
Sci. Comput. Program., 2015

Viatra 3: A Reactive Model Transformation Platform.
Proceedings of the Theory and Practice of Model Transformations, 2015

2014
Movie Database Case: An EMF-IncQuery Solution.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Graph Query by Example.
Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Translating OCL to Graph Patterns.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2013
Inkrementális modell-lekérdezések a modellvezérelt tervezésben
PhD thesis, 2013

PN2SC Case Study: An EMF-IncQuery solution.
Proceedings of the Proceedings Sixth Transformation Tool Contest, 2013

Towards precise metrics for predicting graph query performance.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012
Change-driven model transformations - Change (in) the rule to rule the change.
Softw. Syst. Model., 2012

Integrating Efficient Model Queries in State-of-the-Art EMF Tools.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

Ontology driven design of EMF metamodels and well-formedness constraints.
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Incremental Pattern Matching for the Efficient Computation of Transitive Closure.
Proceedings of the Graph Transformations - 6th International Conference, 2012

Applying Incremental Graph Transformation to Existing Models in Relational Databases.
Proceedings of the Graph Transformations - 6th International Conference, 2012

2011
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Reengineering Case with VIATRA2
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

SeCMER: A Tool to Gain Control of Security Requirements Evolution.
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Implementing efficient model validation in EMF tools.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

A Graph Query Language for EMF Models.
Proceedings of the Theory and Practice of Model Transformations, 2011

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

A Tool for Managing Evolving Security Requirements.
Proceedings of the IS Olympics: Information Systems in a Diverse World, 2011

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Experimental assessment of combining pattern matching strategies with VIATRA2.
Int. J. Softw. Tools Technol. Transf., 2010

Stochastic Graph Transformation with Regions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Back-annotation of Simulation Traces with Change-Driven Model Transformations.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Incremental Evaluation of Model Queries over EMF Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Workflow-Driven Tool Integration Using Model Transformations.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Parallelization of Graph Transformation Based on Incremental Pattern Matching.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Efficient Model Transformations by Combining Pattern Matching Strategies.
Proceedings of the Theory and Practice of Model Transformations, 2009

2008
Incremental pattern matching in the viatra model transformation system.
Proceedings of the Third International Workshop on Graph and Model Transformations, 2008

Live Model Transformations Driven by Incremental Pattern Matching.
Proceedings of the Theory and Practice of Model Transformations, 2008

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.
Proceedings of the Graph Transformations, 4th International Conference, 2008


  Loading...