| 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 | 180 | 2015 |
| 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 | 144 | 2016 |
| A model-driven framework for guided design space exploration Á Hegedüs, Á Horváth, D Varró Automated Software Engineering 22, 399-436, 2015 | 135 | 2015 |
| 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 | 135* | 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 | 97 | 2014 |
| 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 | 96 | 2015 |
| 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 | 78 | 2011 |
| 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 | 68 | 2014 |
| 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 | 60 | 2010 |
| 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 | 40 | 2014 |
| 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 | 24 | 2012 |
| 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 | 23 | 2012 |
| 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 | 21 | 2016 |
| 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 | 21 | 2012 |
| 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 | 17 | 2012 |
| 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 | 15 | 2011 |
| 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 | 11 | 2011 |
| Towards guided trajectory exploration of graph transformation systems Á Hegedüs, Á Horváth, D Varró Electronic Communications of the EASST 40 (0), 2011 | 11 | 2011 |
| 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 | 10 | 2018 |
| 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 | 10 | 2014 |
| From BPEL to SAL And Back: a Tool Demo on Back-Annotation with VIATRA2 Á Hegedüs, I Ráth, D Varró | 6 | 2010 |
| Back-annotation framework for simulation traces of discrete event-based languages Á Hegedüs, I Ráth, D Varró BME, Tech. Rep., April, 2010 | 6 | 2010 |
| 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 | 5 | 2011 |
| 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 | 3 | 2015 |
| Decreasing your coffee consumption with incremental code regeneration A Horváth, I Ráth, A Hegedüs, A Balogh EclipseCon France, 2015 | 3 | 2015 |
| 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 | 3 | 2010 |
| Back-annotation of execution sequences by advanced search and traceability techniqes Á Hegedüs PQDT-Global, 2015 | 2 | 2015 |
| Graph Query by Example G Bergmann, Á Hegedüs, G Gerencsér, D Varró | 2 | 2014 |
| 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 | 2 | 2010 |
| PN2SC case study: an EMF-IncQuery solution B Izsó, Á Hegedüs, G Bergmann, Á Horváth, I Ráth arXiv preprint arXiv:1312.0354, 2013 | 1 | 2013 |
| Saying Hello World with VIATRA2-A Solution to the TTC 2011 Instructive Case Á Hegedüs, Z Ujhelyi, G Bergmann | 1 | 2011 |
| Criteria evaluation-driven state space exploration of graph transformation systems AH US 18th PhD Mini-Symposium, 42, 2011 | 1 | 2011 |
| 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 |
| 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 |
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
