Publikációk
Szűrők: Az Utónév Első Betűje = V [Minden szűrő visszaállítása]
"Formal verification of complex properties on PLC programs",
Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
"Formal Verification of Model Transformation Systems",
EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
Formális módszerek az informatikában,
: Typotex, 2004.
In Hungarian
"Formalising openCypher Graph Queries in Relational Algebra",
21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
"A Framework for the Development and Testing of Mission-Critical Applications",
PROC. 5. National Conference on Object-Orientation (OOOK-2002), pp. & - , 2002.
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2,
: Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.
Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
"The Future is Big Graphs! A Community View on Graph Processing Systems",
Communications of the ACM, 2021.
To be published in CACM
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"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%
"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 Static Analysis of Transformation Programs,
, no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
"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.
"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.
"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.
"Graph Query by Example",
First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
"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%
"A Graph Solver for the Automated Generation of Consistent Domain-Specific Models",
40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
"Graph Transformation in Relational Databases",
Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006.
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 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
"Graph Transformations in Relational Databases",
Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.
Abstract
In press
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
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.
"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