×
Author ID: majzik.istvan Recent zbMATH articles by "Majzik, Istvan"
Published as: Majzik, István; Majzik, Istvan; Majzik, I.
Documents Indexed: 14 Publications since 1998
Co-Authors: 20 Co-Authors with 14 Joint Publications
120 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 31 times in 21 Documents Cited by Year
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Zbl 0966.68124
Latella, Diego; Majzik, Istvan; Massink, Mieke
14
1999
Towards a formal operational semantics of UML statechart diagrams. Zbl 0928.68072
Latella, Diego; Majzik, Istvan; Massink, Mieke
6
1999
Lazy reachability checking for timed automata using interpolants. Zbl 1494.68174
Tóth, Tamás; Majzik, István
3
2017
A configurable CEGAR framework with interpolation-based refinements. Zbl 1347.68226
Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István
2
2016
Quantitative analysis of UML statechart models of dependable systems. Zbl 1003.68011
Huszerl, Gábor; Majzik, István; Pataricza, András; Kosmidis, Konstantinos; Dal Cin, Mario
2
2002
Lazy reachability checking for timed automata with discrete variables. Zbl 1508.68225
Tóth, Tamás; Majzik, István
2
2018
Component-wise incremental LTL model checking. Zbl 1355.68178
Molnár, Vince; Vörös, András; Darvas, Dániel; Bartha, Tamás; Majzik, István
1
2016
Getting the priorities right: saturation for prioritised Petri nets. Zbl 1393.68121
Marussy, Kristóf; Molnár, Vince; Vörös, András; Majzik, István
1
2017
Lazy reachability checking for timed automata with discrete variables. Zbl 1508.68225
Tóth, Tamás; Majzik, István
2
2018
Lazy reachability checking for timed automata using interpolants. Zbl 1494.68174
Tóth, Tamás; Majzik, István
3
2017
Getting the priorities right: saturation for prioritised Petri nets. Zbl 1393.68121
Marussy, Kristóf; Molnár, Vince; Vörös, András; Majzik, István
1
2017
A configurable CEGAR framework with interpolation-based refinements. Zbl 1347.68226
Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István
2
2016
Component-wise incremental LTL model checking. Zbl 1355.68178
Molnár, Vince; Vörös, András; Darvas, Dániel; Bartha, Tamás; Majzik, István
1
2016
Quantitative analysis of UML statechart models of dependable systems. Zbl 1003.68011
Huszerl, Gábor; Majzik, István; Pataricza, András; Kosmidis, Konstantinos; Dal Cin, Mario
2
2002
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Zbl 0966.68124
Latella, Diego; Majzik, Istvan; Massink, Mieke
14
1999
Towards a formal operational semantics of UML statechart diagrams. Zbl 0928.68072
Latella, Diego; Majzik, Istvan; Massink, Mieke
6
1999

Citations by Year