Publications
Filters: First Letter Of Last Name is H [Clear All Filters]
"Hardware-software allocation specification of IMA systems for early simulation",
Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014.
Abstract
"Automatic Generation of Compiled Model Transformations",
Proc. of Fifth Conference of PhD Students in Computer Science (CSCS), Szeged, Hungary, Institute of Informatics of the University of Szeged, pp. 54–55, Jun. 27-30, 2006.
"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
"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.
"Automatic generation of platform-specific transformation",
Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006.
Abstract
"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.
"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.
"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.
- « first
- ‹ previous
- 1
- 2
- 3