Follow
Ábel Hegedüs
Title
Cited by
Cited by
Year
EMF-IncQuery: An integrated development environment for live model queries
Z Ujhelyi, G Bergmann, Á Hegedüs, Á Horváth, B Izsó, I Ráth, Z Szatmári, ...
Science of Computer Programming 98, 80-99, 2015
1862015
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
D Varró, G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi
Software & Systems Modeling 15, 609-629, 2016
1612016
A model-driven framework for guided design space exploration
A Hegedus, A Horvath, I Rath, D Varro
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated …, 2011
139*2011
Multi-objective optimization in rule-based design space exploration
H Abdeen, D Varró, H Sahraoui, AS Nagy, C Debreceni, Á Hegedüs, ...
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
1082014
Viatra 3: A Reactive Model Transformation Platform
G Bergmann, I Dávid, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
Theory and Practice of Model Transformations: 8th International Conference …, 2015
1002015
Quick fix generation for DSMLs
Á Hegedüs, Á Horváth, I Ráth, MC Branco, D Varró
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, 2011
802011
A survey and comparison of transformation tools based on the transformation tool contest
E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ...
Science of computer programming 85, 41-99, 2014
712014
Back-annotation of simulation traces with change-driven model transformations
Á Hegedüs, G Bergmann, I Ráth, D Varró
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International …, 2010
602010
Query-driven incremental synchronization of view models
C Debreceni, Á Horváth, Á Hegedüs, Z Ujhelyi, I Ráth, D Varró
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and …, 2014
422014
Derived features for EMF by integrating advanced model queries
I Ráth, Á Hegedüs, D Varró
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
272012
Query-driven soft traceability links for models
Á Hegedüs, Á Horváth, I Ráth, RR Starr, D Varró
Software & Systems Modeling 15, 733-756, 2016
222016
Integrating efficient model queries in state-of-the-art EMF tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012
222012
Query-driven soft interconnection of EMF models
Á Hegedüs, Á Horváth, I Ráth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2012
202012
Replaying execution trace models for dynamic modeling languages
Á Hegedüs, I Ráth, D Varró
Periodica Polytechnica Electrical Engineering and Computer Science 56 (3), 71-82, 2012
192012
Methodologies for model-driven development and deployment: an overview
L Gönczy, Á Hegedüs, D Varró
Rigorous software engineering for service-oriented systems, 541-560, 2011
142011
Incquery server for teamwork cloud: Scalable query evaluation over collaborative model repositories
Á Hegedüs, G Bergmann, C Debreceni, Á Horváth, P Lunk, Á Menyhért, ...
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
122018
Implementing Efficient Model Validation in EMF Tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
26th IEEE/ACM International Conference on Automated Software Engineering …, 2011
122011
Towards guided trajectory exploration of graph transformation systems
Á Hegedüs, Á Horváth, D Varró
Electronic Communications of the EASST 40 (0), 2011
112011
Hardware-software allocation specification of ima systems for early simulation
Á Horváth, Á Hegedüs, M Búr, D Varró, RR Starr, S Mirachi
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 4D3-1-4D3-15, 2014
102014
From BPEL to SAL And Back: a Tool Demo on Back-Annotation with VIATRA2
Á Hegedüs, I Ráth, D Varró
62010
Back-annotation framework for simulation traces of discrete event-based languages
Á Hegedüs, I Ráth, D Varró
BME, Tech. Rep., April, 2010
62010
Visualization of traceability models with domain-specific layouting
A Hegedüs, Z Ujhelyi, I Ráth, A Horváth
Electronic Communications of the EASST, Proceedings of the Fourth …, 2011
52011
Decreasing your coffee consumption with incremental code regeneration
A Horváth, I Ráth, A Hegedüs, A Balogh
EclipseCon France, 2015
32015
Guided state space exploration using back-annotation of occurrence vectors
A Hegedüs, D Varró
Proceedings of the Fourth International Workshop on Petri Nets and Graph …, 2010
32010
Cost Prediction for V&V and Certification Processes
F Brancati, A Pataricza, N Silva, Á Hegedüs, L Gonczy, A Bondavalli, ...
2015 IEEE International Conference on Dependable Systems and Networks …, 2015
22015
Back-annotation of execution sequences by advanced search and traceability techniqes
Á Hegedüs
PQDT-Global, 2015
22015
Graph Query by Example
G Bergmann, Á Hegedüs, G Gerencsér, D Varró
22014
Ecore to Genmodel case study solution using the Viatra2 framework
Á Hegedüs, Z Ujhelyi, G Bergmann, Á Horváth
Transformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, 187, 2010
22010
PN2SC case study: an EMF-IncQuery solution
B Izsó, Á Hegedüs, G Bergmann, Á Horváth, I Ráth
arXiv preprint arXiv:1312.0354, 2013
12013
Saying Hello World with VIATRA2-A Solution to the TTC 2011 Instructive Case
Á Hegedüs, Z Ujhelyi, G Bergmann
12011
Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS’14)
F Brancati, N Laranjeiro, Á Hegedüs
International Conference on Computer Safety, Reliability, and Security, 192-194, 2014
2014
Solving the TTC 2011 Reengineering Case with VIATRA2
Á Hegedüs, Z Ujhelyi, G Bergmann
Electronic Proceedings in Theoretical Computer Science 74, 2011
2011
CRITERIA EVALUATION-DRIVEN STATE SPACE EXPLORATION OF GRAPH TRANSFORMATION SYSTEMS
AH US
18TH PHD MINI-SYMPOSIUM, 42, 2011
2011
Visualization of Traceability Models with Domain-specific Layouting
Á Hegedüs, Z Ujhelyi, I Ráth, Á Horváth
Electronic Communications of the EASST 32, 2010
2010
A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance
Á Hegedüs
University of Florence, Dip. Sistemi Informatica, RCL group}, 2009
2009
A framework for the Dependability analysis of UML-based system designs with maintenance
Á Hegedüs
Budapest University of Technology and Economics, 2009
2009
BPEL 2.0 munkafolyamatok formális verifikációja
Á Hegedüs
Tavaszi Szél 2009, 2009
2009
BPEL 2.0 alapú munkafolyamatok kooperációjának formális verifikációja
T Bende, Á Hegedüs
BME VIK TDK, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–38