Publikációk
Szűrők: A Cím Első Betűje = G [Minden szűrő visszaállítása]
"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
(Accepted)
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"A Graph Solver for the Automated Generation of Consistent Domain-Specific Models",
40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
"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.
"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.
"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.
"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.
"Graph Query by Example",
First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
"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.
"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 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.
Generic Static Analysis of Transformation Programs,
, no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
"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.
"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
"Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools",
AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
"Graph Transformation in Relational Databases",
Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006.
Abstract
"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%
"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 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 with Time",
Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003.
Abstract
"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
"Generalisation of The Test Model of Multiprocessor Systems",
Proc. of Phd. Mini-symposium 2002: IEEE Hungary Section BUTE Student Branch, pp. 36 - 37, 2002.
"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.