Tóth, Tamás; Majzik, István Configurable verification of timed automata with discrete variables. (English) Zbl 1483.68208 Acta Inf. 59, No. 1, 1-35 (2022). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{T. Tóth} and \textit{I. Majzik}, Acta Inf. 59, No. 1, 1--35 (2022; Zbl 1483.68208) Full Text: DOI
Molnár, Vince; Majzik, István Saturation enhanced with conditional locality: application to Petri nets. (English) Zbl 07796231 Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 342-361 (2019). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{V. Molnár} and \textit{I. Majzik}, Lect. Notes Comput. Sci. 11522, 342--361 (2019; Zbl 07796231) Full Text: DOI
Molnár, Vince; Vörös, András; Darvas, Dániel; Bartha, Tamás; Majzik, István Component-wise incremental LTL model checking. (English) Zbl 1355.68178 Formal Asp. Comput. 28, No. 3, 345-379 (2016). MSC: 68Q60 PDFBibTeX XMLCite \textit{V. Molnár} et al., Formal Asp. Comput. 28, No. 3, 345--379 (2016; Zbl 1355.68178) Full Text: DOI Link
Hajdu, Ákos; Tóth, Tamás; Vörös, András; Majzik, István A configurable CEGAR framework with interpolation-based refinements. (English) Zbl 1347.68226 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 158-174 (2016). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{Á. Hajdu} et al., Lect. Notes Comput. Sci. 9688, 158--174 (2016; Zbl 1347.68226) Full Text: DOI HAL