Publications

Export 204 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Journal Article
Fajta, R., Domokos, P., and Majzik, I., "Adding High Availability Features to Server Applications Using Aspect-Oriented Programming", HÍRADÁSTECHNIKA, vol. LXII, issue 1, pp. 56 - 62, 2007.
Majzik, I., and Domokos, P., "Aspect-Oriented Modelling and Analysis of Information Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
Marussy, K., Semeráth, O., and Varró, D., "Automated Generation of Consistent Graph Models with Multiplicity Reasoning", IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020. Abstract
Latella, D., Majzik, I., and Massink, M., "Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker", FORMAL ASPECTS OF COMPUTING, vol. 11, issue 6, pp. 637 - 664, 1999.
Honfi, D., and Micskei, Z., "Classifying generated white-box tests: an exploratory study", Software Quality Journal, pp. 42, 2019. Abstract
Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I., "Component-wise Incremental LTL Model Checking", Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "A Data Mining Approach to Identify Key Factors in Dependability Experiments", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005. Abstract
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
Bondavalli, A., Ceccarelli, A., Gronbaek, J., Iovino, D., Karna, L., Klapka, S., Madsen, T. K., Magyar, M., Majzik, I., and Salzo, A., "Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
Hajdu, Á., and Micskei, Z., "Efficient Strategies for CEGAR-based Model Checking", Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020. Abstract
Szárnyas, G., Maginecz, J., and Varró, D., "Evaluation of Optimization Strategies for Incremental Graph Queries", Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
Hajdu, Á., Vörös, A., Bartha, T., and Mártonka, Z., "Extensions to the CEGAR Approach on Petri Nets", Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014. Abstract
Sakr, S., Bonifati, A., Voigt, H., Iosup, A., Ammar, K., Angles, R., Aref, W., Arenas, M., Besta, M., Boncz, P. A., et al., "The Future is Big Graphs! A Community View on Graph Processing Systems", Communications of the ACM, 2021.
To be published in CACM
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.
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018. Abstract
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments", INTERNATIONAL JOURNAL OF KNOWLEDGE MANAGEMENT STUDIES, vol. 2, issue 4, pp. 480 - 498, 2008. Abstract
Micskei, Z., and Waeselynck, H., "The many meanings of UML 2 Sequence Diagrams: a survey", Software and Systems Modeling, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011. Abstract
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Methods of Checking General Safety Criteria in Uml Statechart Specifications", RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005. Abstract
Graics, B., Molnár, V., Vörös, A., Majzik, I., and Varró, D., "Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems", Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020. Abstract
Molnár, V., and Majzik, I., "Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms", Periodica Polytechnica Electrical Engineering and Computer Science, vol. 61, no. 2, pp. 132-150, 2017.
Pintér, G., and Majzik, I., "Modeling and analysis of exception handling by using UML statecharts", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005. Abstract
Majzik, I., Hohl, W., Pataricza, A., and Sieh, V., "Multiprocessor Checking Using Watchdog Processors", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996. Abstract
Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., and Varró, D., "Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010. Abstract
Appeared online
Darvas, D., Majzik, I., and Blanco Viñuela, E., "PLC Program Translation for Verification Purposes", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017. Abstract

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login