Publications

Export 502 results:
Sort by: [ Author (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Majzik, I., and Pataricza, A., "Többprocesszoros rendszerek ellenőrzése watchdog processzorok felhasználásával", XIV. Tudományos Ülésszak, Kandó Kálmán Műszaki Főiskola, pp. - , 1994.
Majzik, I., Micskei, Z., and Pintér, G., "Development of Model Based Tools to Support the Design of Railway Control Applications", Computer Safety, Reliability, and Security, Berlin, Springer-Verlag, pp. 430 - 435, 2007.
Majzik, I., and Huszerl, G., "Towards dependability modeling of FT-CORBA architectures", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002. Abstract
Majzik, I., Concurrent Error Detection in Multiprocessor Systems using Watchdog Processors, : Budapest University of Technology, 1997.
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., "Software Monitoring and Debugging Using Compressed Signature Sequences", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 311 - 318, 1996.
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.
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
Majzik, I., Pataricza, A., Hohl, W., Hönig, J., and Sieh, V., "A High-Speed Watchdog Processor for Multitasking Systems", Proc. Eighth Symposium on Microcomputer and Microprocessor Applications (uP'94): HTE, pp. 65 - 74, 1994.
Majzik, I., Jávorszky, J., Pataricza, A., and Selényi, E., "Concurrent Error Detection of Program Execution Based on Statechart Specification", Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 181 - 185, 1999.
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles", IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
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.
Majzik, I., Pataricza, A., and Bondavalli, A., "Stochastic Dependability Analysis of System Architecture Based on UML Models", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2677, pp. 219 - 244, 2003. Abstract
Majzik, I., and Bondavalli, A., "Automatic Dependability Modeling of Systems Described in UML", Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
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.
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.
Majzik, I., Pataricza, A., Dal Cin, M., Hohl, W., Hönig, J., and Sieh, V., "Hierarchical Checking of Multiprocessors Using Watchdog Processors", Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
Makai, J., Szárnyas, G., Horváth, Á., Ráth, I., and Varró, D., "Optimization of Incremental Queries in the Cloud", CloudMDE, 2015.
Marton, J., Szárnyas, G., and Varró, D., "Formalising openCypher Graph Queries in Relational Algebra", 21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
Marton, J., Szárnyas, G., and Búr, M., "Model-driven engineering of an openCypher engine: using graph queries to compile graph queries", 18th System Design Languages Forum, Budapest, Hungary, 2017.
Marussy, K., Semeráth, O., and Varró, D., "Incremental View Model Synchronization Using Partial Models", 21th International Conference on Model Driven Engineering Languages and Systems (MODELS '18), Copenhagen, Denmark, 2018.
Submitted version. Artifacts available at https://doi.org/10.5281/zenodo.1318156
Marussy, K., Molnár, V., Vörös, A., and Majzik, I., "Getting the Priorities Right: Saturation for Prioritised Petri Nets", International Conference on Applications and Theory of Petri Nets and Concurrency: Springer, pp. 223–242, 2017.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
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
Marussy, K., and Majzik, I., "Constructing Dependability Analysis Models of Reconfigurable Production Systems", 14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018. Abstract
See also our accompanying technical report at https://doi.org/10.5281/zenodo.1290661

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login