Publications

Export 204 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
2004
Majzik, I., and Péceli, G., "Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben", ELEKTROTECHNIKA, vol. 97, issue Tudományos különszám, pp. 19 - 22, 2004.
Varró, D., and Pataricza, A., "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%
Pintér, G., and Majzik, I., "Abstract Model-based Checkpoint And Recovery", Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
Pintér, G., and Majzik, I., "Checkpoint And Recovery in Diverse Software", Proceedings of the 11th PhD mini-symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 20 - 21, 2004.
Pintér, G., and Majzik, I., "High-level Supervision of Program Execution Based on Formal Specification", Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume): IEEE Computer Society Press, pp. 292 - 296, 2004.
Pintér, G., and Majzik, I., "Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms", Proceedings of The EUROMICRO'04 Workshop on Component Based Software Engineering: IEEE Computer Society Press, pp. 136 - 143, 2004.
Domokos, P., Majzik, I., and Varró, D., "Megbízhatósági modellek automatikus generálása gráftranszformációval", Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.
Majzik, I., Pintér, G., and Kovács, P T., "UML Based Design of Time Triggered Systems", Proceedings of The 7th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC-2004): IEEE Computer Society Press, pp. 60 - 63, 2004.
Majzik, I., Pintér, G., and Kovács, P T., "UML Based Visual Design of Embedded Systems", Proceedings of the 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'04), pp. 115 - 120, 2004.
2003
Pintér, G., and Majzik, I., "Program Code Generation Based on Uml Statechart Models", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 47, issue 3-4, pp. 187 - 204, 2003.
Pintér, G., and Majzik, I., "Automatic Code Generation Based on Formally Analyzed UML Statechart Models", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 45 - 52, 2003.
Pintér, G., and Majzik, I., "Code Generation Based on UML Statecharts", Proceedings of the 10th PhD Mini-Symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 18 - 19, 2003.
Pataricza, A., Majzik, I., Huszerl, G., and Várnai, G., "UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
2002
Majzik, I., and Huszerl, G., "Towards dependability modeling of FT-CORBA architectures", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002. Abstract
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., and Varró, D., "VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models", Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002. Abstract
Acceptance rate = 20%
Domokos, P., and Varró, D., "An Open Visualization Framework for Metamodel-Based Modeling Languages", Proc. GraBaTs 2002, International Workshop on Graph-Based Tools, vol. 72 (2), no. 2, Barcelona, Spain, Elsevier, pp. 78–87, October 7–8, 2002. Abstract
Huszerl, G., Majzik, I., Pap, Z., Petri, D., Pataricza, A., and Varró, D., "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
Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract
Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Petri, D., and Varró, D., "A Framework for the Development and Testing of Mission-Critical Applications", PROC. 5. National Conference on Object-Orientation (OOOK-2002), pp. & - , 2002.
Majzik, I., and Darvas, Á., "Model Checking of Replication Management", Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference: LAAS-CNRS, pp. 7 - 8, 2002.
Huszerl, G., and Kosmidis, K., "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.
Majzik, I., "TCP/IP on top of TTP/C", Proc. NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services, Grenoble, pp. 55 - 67, 2002.
Darvas, Á., Majzik, I., and Benyó, B., "Verification of UML Statechart Models of Embedded Systems", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.