Export 204 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
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   [Show ALL]
Graics, B., and Molnár, V., "Mix-and-Match Composition in the Gamma Framework", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018. 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
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.
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
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata with Discrete Variables", Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018. Abstract
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata using Interpolants", Formal Modelling and Analysis of Timed Systems, vol. 10419: Springer, pp. 264–280, 2017. Abstract
Micskei, Z., Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
Szárnyas, G., Bader, D. A., Davis, T. A., Kitchen, J., Mattson, T. G., McMillan, S., and Welch, E., "LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms", GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
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
Tóth, T., Majzik, I., and Vörös, A., "K-induction based verification of real-time safety critical systems.", Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
Honfi, D., Micskei, Z., and Vörös, A., Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013. Abstract
Bondavalli, A., Majzik, I., and van Moorsel, A., "International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)", Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), pp. 542 - 543, 2008.
Kovács, Máté, Lollini, P., Majzik, I., and Bondavalli, A., "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications", Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems: ACM, pp. 29 - 38, 2008.
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
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.
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., 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.
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.
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.
Horváth, Á., Hegedüs, Á., Búr, M., Varró, D., Starr, R R., and Mirachi, S., "Hardware-software allocation specification of IMA systems for early simulation", Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014. Abstract
Csertán, G., Majzik, I., Pataricza, A., Allmaier, S., and Hohl, W., "Hardware Accelerators for Petri-net Analysis", Proc. Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98): University of Vienna, Department of Applied Computer Science, pp. 99 - 104, 1998.