"Workshop on Graph-Based Tools.", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 465-466, 2006.
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity", Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
"Mobile Systems from a Validation Perspective: a Case Study", Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.
"Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
"Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
"Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006.
Selected papers of Workshop on Petri Nets and Graph Transformations
"Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006.
"Incremental Graph Pattern Matching: Data Structures and Initial Experiments", Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006.
A Unifying Semantic Framework for Multilevel Metamodelling, : Budapest University of Technology and Economics, October, 2001.
"Model Transformation by Example", Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006.
Acceptance rate: 29%
An XML Schema Description of Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001.
"VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML", Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.
"Graph Transformations in Relational Databases", Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.
Towards an XMI–Based Model Interchange Format for Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000.
"UML modellek automatikus transzformációi", OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
"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.
Acceptance rate: 22%
"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.
"Automated Program Generation in VIATRA", Mini–Symposium 2002, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 34–35, February 4–5, 2002.
"Automated Formal Verification of Visual Modeling Languages by Model Checking", Journal of Software and Systems Modeling, vol. 3, no. 2, pp. 85–113, May, 2004.
"UML Based Modeling and Development of J2EE Applications: Course Experiences", MODELS 2006: Educators Symposium, Genova, Italy, 2006.
"Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007.
"Visual Automated Model Transformation", Mini–Symposium 2001, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 48–49, January 31 – Feb, 2001.
"Graph Transformation in Relational Databases", Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006.