TY  - BOOK
AU  - László, Buga
AU  - Hegedüs, Ábel
AU  - Jankó, Annamária
AU  - József, Mihalik
AU  - Annamária, Rojkó
AU  - Suba, János
AU  - Béla, Szabó
AU  - Gyula, Szabó
AU  - Erika, Szalánczi Szabóné
AU  - Ágoston, Tremmel
AU  - Lajos, Várszegi
TI  - 100 years of Hungarian military mapping 1919-2019
PB  - Zrínyi Kiadó
CY  - Budapest
PY  - 2019
SP  - 484
SN  - 9789633276839
UR  - https://m2.mtmt.hu/api/publication/30439848
ID  - 30439848
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Hegedüs, Ábel
AU  - Ráth, István Zoltán
AU  - Bergmann, Gábor
AU  - Debreceni, Csaba
AU  - Horváth, Ákos
AU  - Lunk, Péter
AU  - Menyhért, Ákos
AU  - Papp, István
AU  - Varró, Dániel
AU  - Vileiniskis, Tomas
TI  - Incquery server for teamwork cloud
T2  - Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18
SN  - 9781450359658
PY  - 2018
SP  - 27
EP  - 31
PG  - 5
DO  - 10.1145/3270112.3270125
UR  - https://m2.mtmt.hu/api/publication/30710636
ID  - 30710636
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró, Dániel
AU  - Bergmann, Gábor
AU  - Hegedüs, Ábel
AU  - Horváth, Á
AU  - Ráth, István Zoltán
AU  - Ujhelyi, Zoltán
TI  - Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
JF  - SOFTWARE AND SYSTEMS MODELING
J2  - SOFTW SYST MODEL
VL  - 15
PY  - 2016
IS  - 3
SP  - 609
EP  - 629
PG  - 21
SN  - 1619-1366
DO  - 10.1007/s10270-016-0530-4
UR  - https://m2.mtmt.hu/api/publication/3092063
ID  - 3092063
N1  - Megjegyzés-26230249
Megjegyzés-27167935
OA gold
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Hegedüs, Ábel
AU  - Horváth, Ákos
AU  - Ráth, István Zoltán
AU  - Rodrigo, Rizzi Starr
AU  - Varró, Dániel
TI  - Query-driven soft traceability links for models
JF  - SOFTWARE AND SYSTEMS MODELING
J2  - SOFTW SYST MODEL
VL  - 15
PY  - 2016
IS  - 3
SP  - 733
EP  - 756
PG  - 24
SN  - 1619-1366
DO  - 10.1007/s10270-014-0436-y
UR  - https://m2.mtmt.hu/api/publication/2693671
ID  - 2693671
AB  - Model repositories play a central role in the model driven development of complex software-
intensive systems by offering means to persist and manipulate models obtained from 
heterogeneous languages and tools. Complex models can be assembled by interconnecting model 
fragments by hard links, i.e., regular references, where the target end points to external 
resources using storage-specific identifiers. This approach, in certain application scenarios, 
may prove to be a too rigid and error prone way of interlinking models. As a flexible 
alternative, we propose to combine derived features with advanced incremental model queries as 
means for soft interlinking of model elements residing in different model resources. These soft 
links can be calculated on-demand with graceful handling for temporarily unresolved references. 
In the background, the links are maintained efficiently and flexibly by using incremental model 
query evaluation. The approach is applicable to modeling environments or even property graphs 
for representing query results as first-class relations, which also allows the chaining of soft 
links that is useful for modular applications. The approach is evaluated using the Eclipse 
Modeling Framework (EMF) and EMF-IncQuery in two complex industrial case studies. The first 
case study is motivated by a knowledge management project from the financial domain, involving 
a complex interlinked structure of concept and business process models. The second case study 
is set in the avionics domain with strict traceability requirements enforced by certification 
standards (DO-178b). It consists of multiple domain models describing the allocation scenario 
of software functions to hardware components.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Francesco, Brancati
AU  - Pataricza, András
AU  - Nuno, Silva
AU  - Hegedüs, Ábel
AU  - Gönczy, László
AU  - Andrea, Bondavalli
AU  - Rosaria, Esposito
TI  - Cost Prediction for V&V and Certification Processes
T2  - 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015
SN  - 146738044X
PY  - 2015
SP  - 57
EP  - 62
PG  - 6
DO  - 10.1109/DSN-W.2015.15
UR  - https://m2.mtmt.hu/api/publication/3029854
ID  - 3029854
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Hegedüs, Ábel
TI  - Back-Annotation of Execution Sequences by Advanced Search and Traceability Techniques
PB  - Budapesti Műszaki és Gazdaságtudományi Egyetem
PY  - 2015
SP  - 195
UR  - https://m2.mtmt.hu/api/publication/2944244
ID  - 2944244
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Bergmann, Gábor
AU  - Dávid, István
AU  - Hegedüs, Ábel
AU  - Horváth, Ákos
AU  - Ráth, István Zoltán
AU  - Ujhelyi, Zoltán
AU  - Varró, Dániel
ED  - Kolovos, Dimitris
ED  - Wimmer, Manuel
TI  - Viatra 3: A Reactive Model Transformation Platform
T2  - Theory and Practice of Model Transformations
PB  - Springer Netherlands
CY  - Cham
SN  - 9783319211558
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 9152.
PY  - 2015
SP  - 101
EP  - 110
PG  - 10
DO  - 10.1007/978-3-319-21155-8_8
UR  - https://m2.mtmt.hu/api/publication/2924869
ID  - 2924869
AB  - Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (live execution). Unfortunately, their integration into a complex industrial modeling environment is difficult due to hidden interference and unspecified interaction between different features. In this paper, we present a reactive, event-driven model transformation platform over EMF models, which captures tool features as model queries and transformations, and provides a systematic, well-founded integration between a variety of such tool features. Viatra 3 offers a family of internal DSLs (i.e. dedicated libraries) to specify advanced tool features built on top of existing languages like EMF-IncQuery and Xtend. Its main innovation is a source incremental execution scheme built on the reactive programming paradigm ssupported by an event-driven virtual machine.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Hegedüs, Ábel
AU  - Horváth, Ákos
AU  - Varró, Dániel
TI  - A model-driven framework for guided design space exploration
JF  - AUTOMATED SOFTWARE ENGINEERING
J2  - AUTOMAT SOFTW ENG
VL  - 22
PY  - 2015
IS  - 3
SP  - 399
EP  - 436
PG  - 38
SN  - 0928-8910
DO  - 10.1007/s10515-014-0163-1
UR  - https://m2.mtmt.hu/api/publication/2763228
ID  - 2763228
AB  - Design space exploration (DSE) aims at searching through 
various models representing different design candidates to 
support activities like configuration design of critical 
systems or automated maintenance of IT systems. In model-
driven engineering, DSE is applied to find instance models 
that are (i) reachable from an initial model with a sequence 
of transformation rules and (ii) satisfy a set of structural 
and numerical constraints. Since exhaustive exploration of 
the design space is infeasible for large models, the 
traversal is often guided by hints, derived by system 
analysis, to prioritize the next states to traverse 
(selection criteria) and to avoid searching unpromising 
states (cut-off criteria). In this paper, we define an 
exploration approach where selection and cut-off criteria are 
defined using dependency analysis and algebraic abstraction 
of transformation rules. Additionally, we apply different 
state encoding techniques to identify recurring states and 
reduce the number of visited states. Finally, we illustrate 
our approach on a cloud infrastructure configuration problem 
and provide detailed evaluation on both synthetic and real 
applications. This evaluation includes (i) the comparison of 
several exploration techniques, (ii) performance measurements 
on multiple state encoding techniques and (iii) comparing two 
implementation architectures of our design space exploration 
framework.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ujhelyi, Zoltán
AU  - Bergmann, Gábor
AU  - Hegedüs, Ábel
AU  - Horváth, Ákos
AU  - Izsó, Benedek
AU  - Ráth, István Zoltán
AU  - Szatmári, Zoltán
AU  - Varró, Dániel
TI  - EMF-IncQuery. An integrated development environment for live model queries
TS  - An integrated development environment for live model queries
JF  - SCIENCE OF COMPUTER PROGRAMMING
J2  - SCI COMPUT PROGRAM
VL  - 98
PY  - 2015
IS  - Part 1
SP  - 80
EP  - 99
PG  - 20
SN  - 0167-6423
DO  - 10.1016/j.scico.2014.01.004
UR  - https://m2.mtmt.hu/api/publication/2696210
ID  - 2696210
N1  - WoS:hiba:000347740500005 2020-08-27 08:55 cím nem egyezik
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Szárnyas, Gábor
AU  - Semeráth, Oszkár
AU  - Izsó, Benedek
AU  - Debreceni, Csaba
AU  - Hegedüs, Ábel
AU  - Ujhelyi, Zoltán
AU  - Bergmann, Gábor
ED  - Krause, C
ED  - Horn, T
ED  - Rose, L M
TI  - Movie database case: An EMF-IncQuery solution
T2  - 7th Transformation Tool Contest
PB  - CEUR Workshop Proceedings
C1  - York
T3  - CEUR Workshop Proceedings ; 1305.
PY  - 2014
SP  - 103
EP  - 115
PG  - 13
UR  - https://m2.mtmt.hu/api/publication/2813997
ID  - 2813997
AB  - This paper presents a solution for the Movie Database Case of the 
Transformation Tool Contest 2014, using EMF-INCQUERY and Xtend 
for implementing the model transformation.
LA  - English
DB  - MTMT
ER  -