Publikációk
]
Formal Modelling and Verification of Specifications for the I&C System Software in NPPs,
, 2006.
Art. No.: 11On CD
"Modeling and Parameter Estimation of the Primary Circuit of Paks",
NPPIAEA Regional Workshop on "Modernization Projects of NPP Instrumentation and Control Systems Related to Power Uprates and Licence Renewals Project (RER/4/027)", Bécs, 2008.
Abstract
Art. No.: 29On CD
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
"Incremental pattern matching for the efficient computation of transitive closure",
Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
"A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation",
Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
Abstract
Acceptance rate: ~40%
"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.
"Efficient Model Transformations by Combining Pattern Matching Strategies",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009.
Abstract
Acceptance rate: 22%
"Új formalizmus eseményvezérelt gráftranszformációhoz",
XV. Fiatal Műszakiak Tudományos Ülésszaka: Erdélyi Múzeum-Egyesület, 2010.
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"Graph Triggers and Incrementally Evaluated Queries over EMF Models",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 38-41, 02/2011.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution",
Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
Abstract
10.1007/978-3-642-24755-2_35
"Parallelization of Incremental Pattern Matching in Graph Transformation",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8
"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%
"Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling",
2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
"Change-driven model transformations. Change (in) the rule to rule the change.",
Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
"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
"Contextual Graph Triggers",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 22–25, 2010.
"Incremental pattern matching in the VIATRA model transformation system",
Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008.
Abstract
Event-based model transformations with incremental pattern matching,
, October, 2007.
"BPMN to BPEL case study solution in VIATRA2",
5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"Applying Incremental Graph Transformation to Existing Models in Relational Databases",
Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 371-385, 09/2012.
"Translating OCL to Graph Patterns",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%.
Article page and extended version available at: http://incquery.net/content/graph-patterns-ocl-performance-evaluation
"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%
