Publikációk
Szűrők: Az Utónév Első Betűje = H [Minden szűrő visszaállítása]
"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%
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"Dynamic Backward Slicing of Model Transformations",
International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012.
Abstract
Acceptance rate: 27%
"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.
"Ontology driven design of EMF metamodels and well-formedness constraints",
Proceedings of the 12th Workshop on OCL and Textual Modelling, New York, NY, USA, ACM, pp. 37–42, 2012.
"Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery",
Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011.
Abstract
10.1007/978-3-642-21470-7_32
"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
"Static Type Checking of Model Transformation Programs",
Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/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
"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
"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
"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%
"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
"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
"Towards Dynamic Backward Slicing of Model Transformations",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.
"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%
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"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.
"Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing",
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
"Workflow-Driven Tool Integration Using Model Transformation",
Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
"Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2",
International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010.
Abstract
"Stochastic Graph Transformation with Regions",
Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.
"A software integration approach for designing and assessing dependable embedded systems",
Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
"Incremental Evaluation of Model Queries over EMF Models",
Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
"Model-Driven Development of ARINC 653 Configuration Tables",
29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010.
Abstract