Géza Kulcsár

Orcid: 0000-0002-5387-8277

According to our database1, Géza Kulcsár authored at least 21 papers between 2014 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models.
Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

2021
A tale of two graph models: a case study in wireless sensor networks.
Formal Aspects Comput., 2021

Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?
Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

2020
A calculus of concurrent graph-rewriting processes.
J. Log. Algebraic Methods Program., 2020

On Controlling the Attack Surface of Object-Oriented Refactorings.
Proceedings of the Software Engineering 2020, 2020

From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain.
Proceedings of the NOMS 2020, 2020

Toolchain Modeling: Comprehensive Engineering Plans for Industry 4.0.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

2019
A Compass to Controlled Graph Rewriting.
PhD thesis, 2019

2018
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
Proceedings of the Software Engineering und Software Management 2018, 2018

eMoflon: A Tool for Tools and Transformations.
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

Graph-Rewriting Petri Nets.
Proceedings of the Graph Transformation - 11th International Conference, 2018

Equivalence and Independence in Controlled Graph-Rewriting Processes.
Proceedings of the Graph Transformation - 11th International Conference, 2018

2016
Towards a Step Semantics for Story-Driven Modelling.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

2015
Improved Conflict Detection for Graph Transformation with Attributes.
Proceedings of the Proceedings Graphs as Models, 2015

A Solution to the Java Refactoring Case Study using eMoflon.
Proceedings of the 8th Transformation Tool Contest, 2015

Object-oriented Refactoring of Java Programs using Graph Transformation.
Proceedings of the 8th Transformation Tool Contest, 2015

Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Topology control with application constraints.
Proceedings of the 40th IEEE Conference on Local Computer Networks, 2015

2014
Rapid Prototyping of Topology Control Algorithms by Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

A Solution to the FIXML Case Study Using Triple Graph Grammars and eMoflon.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014


  Loading...