Publikációk

Ádám, Z., Sallai, G., and Hajdu, Á., "Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)", Tools and Algorithms for the Construction and Analysis of Systems, vol. 12652: Springer, 2021. Abstract

• BibTex

Elekes, M., Nagy, A., Sándor, D., Antal, J B., Davis, T. A., and Szárnyas, G., "A GraphBLAS solution to the SIGMOD 2014 Programming Contest using multi-source BFS", HPEC, 2020.

• BibTex

Molnár, V., Graics, B., Vörös, A., Majzik, I., and Varró, D., "The Gamma Statechart Composition Framework", 40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.

• BibTex

Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.

• BibTex

Marussy, K., Molnár, V., Vörös, A., and Majzik, I., "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.

• BibTex

Semeráth, O., and Varró, D., "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.

• BibTex

Honfi, D., and Micskei, Z., "Generating Unit Isolation Environment Using Symbolic Execution", Proceedings of the 23rd PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.

• BibTex

Darvas, D., Majzik, I., and Blanco Viñuela, E., "Generic Representation of PLC Programming Languages for Formal Verification", Proceedings of the 23rd PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 6-9, 2016.

• BibTex

Bergmann, G., Hegedüs, Á., Gerencsér, G., and Varró, D., "Graph Query by Example", First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.

• BibTex

Bergmann, G., "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.

• BibTex

Bergmann, G., Ujhelyi, Z., Ráth, I., and Varró, D., "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

• BibTex

Horváth, Á., "Graph Transformation Based Constraint Solving", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 2009.

• BibTex

Ujhelyi, Z., Horváth, Á., and Varró, D., Generic Static Analysis of Transformation Programs, , no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.

• BibTex

Polgár, B., and Selényi, E., "Gradient Based System-level diagnosis", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, Barborak, M., Malek, M., Dahbura, A., The consensus problem in faulttolerant computing (1993) ACM Computing Surveys, 25 (2), pp. 171-220. , June;Barsi, F., Grandoni, F., Maestrini, P., A theory of diagnosability of digital systems (1976) IEEE Transactions, pp. 43 - 55, 2007.

• BibTex

Horváth, Á., Varró, D., and Varró, G., "Generic Search Plans for Matching Advanced Graph Patterns", Electronic Communications of the EASST, vol. 6, 2007. Abstract

• BibTex

Geiss, R., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Horváth, Á., Kniemeyer, O., et al., "Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools", AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.

• BibTex

Varró, G., Friedl, K., and Varró, D., "Graph Transformation in Relational Databases", Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006. Abstract

• BibTex

Varró, D., and Pataricza, A., "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

• BibTex

Varró, G., Friedl, K., and Varró, D., "Graph Transformations in Relational Databases", Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004. Abstract

• BibTex

Varró, G., and Varró, D., "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

• BibTex

Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time", Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003. Abstract

• BibTex

Gyapay, S., Heckel, R., and Varró, D., "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

• BibTex

Polgár, B., "Generalisation of The Test Model of Multiprocessor Systems", Proc. of Phd. Mini-symposium 2002: IEEE Hungary Section BUTE Student Branch, pp. 36 - 37, 2002.

• BibTex

Varró, D., "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.

• BibTex