Géza Kulcsár

25 papers A* 1B 7C 2Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems.
ICPS
Ármin Zavada, Géza Kulcsár, Vince Molnár, Ákos Horváth
2024 J jnl
SysML modeling of service-oriented system-of-systems.
Innov. Syst. Softw. Eng.
Jerker Delsing, Géza Kulcsár, Øystein Haugen
2022 B conf
Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models.
NOMS
Géza Kulcsár, Johannes Kristan, Sven Erik Jeroschewski
2021 J jnl
A tale of two graph models: a case study in wireless sensor networks.
Formal Aspects Comput.
Blair Archibald, Géza Kulcsár, Michele Sevegnani
2021 B conf
Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?
IM
Géza Kulcsár, Pál Varga, Marek S. Tatara, Federico Montori, Michel A. Iñigo, Gianvito Urgese, Paolo Azzoni
2020 J jnl
A calculus of concurrent graph-rewriting processes.
J. Log. Algebraic Methods Program.
Géza Kulcsár, Andrea Corradini, Malte Lochau
2020 B conf
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain.
NOMS
Géza Kulcsár, Kadosa Koltai, Szvetlin Tanyi, Bálint Péceli, Ákos Horváth, Zoltán Micskei, Pál Varga
2020 — conf
On Controlling the Attack Surface of Object-Oriented Refactorings.
SE
Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
2020 C conf
Toolchain Modeling: Comprehensive Engineering Plans for Industry 4.0.
IECON
Géza Kulcsár, Marek S. Tatara, Federico Montori
2019 — —
A Compass to Controlled Graph Rewriting.
Géza Kulcsár
2018 B conf
Controlling the Attack Surface of Object-Oriented Refactorings.
FASE
Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
2018 B conf
Equivalence and Independence in Controlled Graph-Rewriting Processes.
ICGT
Géza Kulcsár, Andrea Corradini, Malte Lochau
2018 B conf
Graph-Rewriting Petri Nets.
ICGT
Géza Kulcsár, Malte Lochau, Andy Schürr
2018 C conf
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-Pattern Matching.
Software Engineering
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
2018 — conf
eMoflon: A Tool for Tools and Transformations.
Modellierung
Lars Fritsche, Géza Kulcsár
2016 — conf
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
FMSPLE
Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró, Andy Schürr
2016 A* conf
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching.
ASE
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
2016 — conf
Towards a Step Semantics for Story-Driven Modelling.
GaM
Géza Kulcsár, Anthony Anjorin
2015 — conf
A Solution to the Java Refactoring Case Study using eMoflon.
TTC@STAF
Sven Peldszus, Géza Kulcsár, Malte Lochau
2015 — conf
Improved Conflict Detection for Graph Transformation with Attributes.
GaM
Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró, Andy Schürr
2015 — conf
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation.
PPPJ
Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze
2015 — conf
Object-oriented Refactoring of Java Programs using Graph Transformation.
TTC@STAF
Géza Kulcsár, Sven Peldszus, Malte Lochau
2015 B conf
Topology control with application constraints.
LCN
Michael Stein, Géza Kulcsár, Immanuel Schweizer, Gergely Varró, Andy Schürr, Max Mühlhäuser
2014 — conf
A Solution to the FIXML Case Study Using Triple Graph Grammars and eMoflon.
TTC@STAF
Géza Kulcsár, Erhan Leblebici, Anthony Anjorin
2014 J jnl
Rapid Prototyping of Topology Control Algorithms by Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Géza Kulcsár, Michael Stein, Immanuel Schweizer, Gergely Varró, Max Mühlhäuser, Andy Schürr