Items where Author is "Majzik, István"

Article

Vörös, András and Darvas, Dániel and Hajdu, Ákos and Klenik, Attila and Marussy, Kristóf and Molnár, Vince and Majzik, István (2017) Industrial Applications of the PetriDotNet Modelling and Analysis Tool. SCIENCE OF COMPUTER PROGRAMMING. pp. 1-30. ISSN 0167-6423

Molnár, Vince and Majzik, István (2017) Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 61 (2). pp. 132-150. ISSN 2064-5260

Majzik, István and Pataricza, András and Bondavalli, A. (2003) Stochastic Dependability Analysis of System Architecture Based on Uml Models. LECTURE NOTES IN COMPUTER SCIENCE, 2677. pp. 219-244. ISSN 0302-9743

Book Section

Molnár, Vince and Graics, Bence and Vörös, András and Majzik, István and Varró, Dániel (2018) The Gamma Statechart Composition Framework : Design, Verification and Code Generation for Component-Based Reactive Systems. In: Proceedings of the 40th International Conference on Software Engineering Companion. ACM Press, New York, pp. 1-4. ISBN 978-1-4503-5663-3 (In Press)

Molnár, Vince and Majzik, István (2017) Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 54-57. ISBN 978-963-313-243-2

Czipó, Bence and Hajdu, Ákos and Tóth, Tamás and Majzik, István (2017) Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. In: Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures. Electronic Proceedings in Theoretical Computer Science (245). Open Publishing Association, Uppsala, pp. 31-45.

Marussy, Kristóf and Molnár, Vince and Vörös, András and Majzik, István (2017) Getting the Priorities Right: Saturation for Prioritised Petri Nets. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (10258). Springer International Publishing, Cham (Svájc), pp. 223-242. ISBN 978-3-319-57860-6

Tóth, Tamás and Hajdu, Ákos and Vörös, András and Micskei, Zoltán Imre and Majzik, István (2017) Theta: a Framework for Abstraction Refinement-Based Model Checking. In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design. FMCAD Inc., Bécs, pp. 176-179. ISBN 978-0-9835678-7-5

Hajdu, Ákos and Tóth, Tamás and Vörös, András and Majzik, István (2016) A Configurable CEGAR Framework with Interpolation-Based Refinements. In: Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer International Publishing, [s. l.], pp. 158-174. ISBN 978-3-319-39570-8

Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Majzik, István and Telek, Miklós (2016) Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 281-300. ISBN 978-3-319-39086-4

Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István (2016) PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research. In: Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science (9698). Springer International Publishing, Cham (Svájc), pp. 123-132. ISBN 978-3-319-39086-4

Monograph

Pataricza, András and Bartha, Tamás and Bertók, Botond and Csertán, György and Dobán, Orsolya and Friedler, Ferenc and Fülöp, János and Huszerl, Gábor and Majzik, István and Nagy, Ádám and Papp, László and Petri, Dániel and Polgár, Balázs and Varró, Dániel (2007) Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában = Operation Research Methods for the Analysis and Verification of Information Technology Systems. Project Report. OTKA.

Majzik, István and Csertán, György and Huszerl, Gábor and Pataricza, András and Pintér, Gergely and Varró, Dániel (2007) Önellenőrzés és futásidejű verifikáció számítógépes programokban = Self-checking and run-time verification in computer programs. Project Report. OTKA.

Conference or Workshop Item

Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Telek, Miklós and Majzik, István (2016) Configurable numerical analysis for stochastic systems. In: 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016.04.11-2016.04.11, Bécs.