Publikációk
Szűrők: Szerző = Ábel Hegedüs [Minden szűrő visszaállítása]
"Visualization of Traceability Models with Domain-specific Layouting",
Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools, vol. 32, 04/2011.
Abstract
"Towards Guided Trajectory Exploration of Graph Transformation Systems",
Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
Abstract
"Solving the TTC 2011 Reengineering Case with VIATRA2",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011.
Abstract
"Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011.
Abstract
"Quick fix generation for DSMLs",
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011.
Abstract
Acceptance rate: 33%
"Query-driven soft interconnection of EMF models",
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012.
Abstract
Acceptance rate: 23%
"A Model-driven Framework for Guided Design Space Exploration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
ACM Distinguished Paper Award, Acceptance rate: 15%
"A Model-driven Framework for Guided Design Space Exploration",
Proceedings of the 19th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2012.
A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance,
, no. rcl090601: University of Florence, Dip. Sistemi Informatica, RCL group, 06/2009.
Abstract
"Methodologies for Model-Driven Development and Deployment: an Overview",
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011.
Abstract
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"Implementing Efficient Model Validation in EMF Tools: Tool Demonstration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2,
: Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.
Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
A framework for the Dependability analysis of UML-based system designs with maintenance,
: Budapest University of Technology and Economics, 05/2009.
Abstract
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"Derived Features for EMF by Integrating Advanced Model Queries",
8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012.
Abstract
Acceptance rate: 31%
"Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 42-45, 02/2011.
"BPEL2.0 munkafolyamatok formális verifikációja",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009.
Abstract
In Hungarian
"BPEL Verification: The Back-annotation Problem",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 30–31, 02/2010.
"Back-annotation of Simulation Traces with Change-Driven Model Transformations",
Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010.
Abstract
Acceptance rate: 22%


] 