Ábel Hegedüs
Cím
Idézte
Idézte
Év
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
1322015
A model-driven framework for guided design space exploration
Á Hegedüs, Á Horváth, D Varró
Automated Software Engineering 22 (3), 399-436, 2015
942015
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
94*2011
Viatra 3: A Reactive Model Transformation Platform
G Bergmann, I Dávid, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
International Conference on Theory and Practice of Model Transformations …, 2015
622015
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 (3), 609-629, 2016
592016
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
532014
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
452011
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
432010
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
412014
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
252014
Derived features for EMF by integrating advanced model queries
I Ráth, Á Hegedüs, D Varró
European Conference on Modelling Foundations and Applications, 102-117, 2012
252012
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
162012
Integrating efficient model queries in state-of-the-art EMF tools
G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró
International Conference on Modelling Techniques and Tools for Computer …, 2012
152012
Query-driven soft traceability links for models
Á Hegedüs, Á Horváth, I Ráth, RR Starr, D Varró
Software & Systems Modeling 15 (3), 733-756, 2016
142016
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
122012
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
112011
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
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
92014
Towards guided trajectory exploration of graph transformation systems
Á Hegedüs, Á Horváth, D Varró
Electronic Communications of the EASST 40 (0), 2011
72011
Back-annotation framework for simulation traces of discrete event-based languages
Á Hegedüs, I Ráth, D Varró
BME, Tech. Rep., April, 2010
62010
From BPEL to SAL And Back: a Tool Demo on Back-Annotation with VIATRA2
Á Hegedüs, I Ráth, D Varró
52010
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
42011
Decreasing your coffee consumption with incremental code regeneration
A Horváth, I Ráth, A Hegedüs, A Balogh
EclipseCon France, 2015
32015
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
22018
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
Budapesti Műszaki és Gazdaságtudományi Egyetem, 2014
22014
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
22010
Graph Query by Example
G Bergmann, Á Hegedüs, G Gerencsér, D Varró
12014
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
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
12010
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
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–37