Publikációk
] Szűrők: Az Utónév Első Betűje = H [Minden szűrő visszaállítása]
"Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2",
International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010.
Abstract
"Automatic generation of platform-specific transformation",
Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006.
Abstract
"Verification of Model Transformation",
Proceedings of the 15th PhD Minisymposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2008.
"Dynamic constraint satisfaction problems over models",
Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012.
Abstract
"Manapság már Magyarországon is óránként készülnek az új "Fürdö utca 10"-ek",
Híradástechnika, vol. 61(5), no. 5: Híradástechnikai társulat, pp. 58–59, 2006.
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Towards a Two Layered Verification Approach for Compiled Graph Transformation",
In Proc. of ICGT '08 , 4th Intl. Conference on Graph Transformation: Springer, 2008.
"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
"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.
"UML - Extensions for Quantitative Analysis",
Proc. of UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, München, LMU-München, Institut für Informatik, pp. 70 - 75, 2000.
"Quantitative Analysis of Uml Statechart Models of Dependable Systems",
COMPUTER JOURNAL, vol. 45, issue 3, pp. 260 - 277, 2002.
Abstract
"Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
"Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts",
Proc. of the 27th Euromicro Conference, Workshop on Software Process and Product Improvement, Los Alamitos, IEEE Computer Society Press, pp. 200 - 207, 2001.
"Design Pattern Based Transformation of Dynamic UML Models for Quantitative Analysis",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. - , 2000.
"A Framework for the Development and Testing of Mission-Critical Applications",
PROC. 5. National Conference on Object-Orientation (OOOK-2002), pp. & - , 2002.
"Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models",
Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000), Los Alamitos, IEEE Computer Society Press, pp. 83 - 92, 2000.
"Object Oriented Notation for Modelling Quantitative Aspects",
Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
