Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
"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
"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%
"Incremental Backward Change Propagation of View Models by Logic Solvers",
19th International Conference on Model Driven Engineering Languages and Systems, Saint-malo, France, ACM, 07/2016 .
acceptance rate: 23.7%
"IncQuery-D: Incremental Graph Search in the Cloud",
Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
"IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"Improving Saturation-based Bounded Model Checking",
Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
"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
"Implementation of a testing and diagnostic concept for an NPP reactor protection system",
Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
Abstract
"Graph Transformations in Relational Databases",
Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.
Abstract
In press
"Graph Transformation with Time: Causality and Logical Clocks",
Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002.
Abstract
"Graph Transformation with Time",
Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003.
Abstract
"Graph Transformation with Incremental Updates",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 71-83, 2004.
Abstract
"Graph Transformation in Relational Databases",
Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006.
Abstract
"A Graph Solver for the Automated Generation of Consistent Domain-Specific Models",
40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
"A Graph Query Language for EMF models",
Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011.
Abstract
Acceptance rate: 27%
"Graph Query by Example",
First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
"Graph Constraint Evaluation over Partial Models by Constraint Rewriting",
Proceedings of the 10th International Conference on Theory and Practice of Model Transformation, Marburg, Germany, Springer, 2017.
"Grafikus nyelvek automatikus transzformációjának tervezése",
Végzõs Konferencia '2000, Budapest, Hungary, Budapest University of Technology and Economics, pp. 454–459, April 26, 2000.
"Getting the Priorities Right: Saturation for Prioritised Petri Nets",
International Conference on Applications and Theory of Petri Nets and Concurrency: Springer, pp. 223–242, 2017.
Generic Static Analysis of Transformation Programs,
, no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
"Generic Search Plans for Matching Advanced Graph Patterns",
Electronic Communications of the EASST, vol. 6, 2007.
Abstract
Selected papers of GT-VMT 2007: Graph Transformation and Visual Modelling Techniques 2007
"Generic and Meta-Transformations for Model Transformation Engineering",
Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004.
Abstract
Acceptance rate: 22%
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM