Publications

Export 204 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Journal Article
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., "Runtime verification of statechart implementations", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005. Abstract
Majzik, I., "Software Diagnosis Using Compressed Signature Sequences", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 40, issue 2, pp. 87 - 103, 1996.
Pintér, G., Micskei, Z., and Majzik, I., "Supporting design and development of safety critical applications by model based tools", ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
Honfi, D., and Micskei, Z., "Supporting Unit Test Generation via Automated Isolation", Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.
Majzik, I., and Huszerl, G., "Towards dependability modeling of FT-CORBA architectures", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002. Abstract
Hegedüs, Á., Horváth, Á., and Varró, D., "Towards Guided Trajectory Exploration of Graph Transformation Systems", Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011. Abstract
Pataricza, A., Majzik, I., Hohl, W., and Hönig, J., "Watchdog Processors in Parallel Systems", MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993. Abstract
Conference Paper
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.
Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Pintér, G., Majzik, I., and Pataricza, A., "Application of Data Mining in Failure Data Analysis", Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
Mens, T., Gorp, P V., Karsai, G., and Varró, D., "Applying a Model Transformation Taxonomy to Graph Transformation Technology", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006. Abstract
Domokos, P., and Majzik, I., "Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation", Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
Bondavalli, A., Majzik, I., and Mura, I., "Automated Dependability Analysis of UML Designs", Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
Semeráth, O., Babikian, A. A., Li, A., Marussy, K., and Varró, D., "Automated Generation of Consistent Models with Structural and Attribute Constraints", 23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
Debreceni, C., Ráth, I., Varró, D., Carlos, X D., Mendialdua, X., and Trujillo, S., "Automated Model Merge by Design Space Exploration", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
Sisak, Á., Pintér, G., and Majzik, I., "Automated Verification of Complex Behavioral Models Using the SAL Model Checker", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.