@inproceedings{MTMT:34504488,
	title = {Model-Based Testing of Asynchronously Communicating Distributed Controllers},
	url = {https://m2.mtmt.hu/api/publication/34504488},
	author = {Graics, Bence and Mondok, Milán and Molnár, Vince and Majzik, István},
	booktitle = {Formal Aspects of Component Software},
	doi = {10.1007/978-3-031-52183-6_2},
	unique-id = {34504488},
	year = {2024},
	pages = {23-44},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Mondok, Milán/0000-0001-5396-2172; Molnár, Vince/0000-0002-8204-7595}
}

@inproceedings{MTMT:34144059,
	title = {Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers},
	url = {https://m2.mtmt.hu/api/publication/34144059},
	author = {Graics, Bence and Molnár, Vince and Majzik, István},
	booktitle = {Formal Methods for Industrial Critical Systems},
	doi = {10.1007/978-3-031-43681-9_5},
	unique-id = {34144059},
	year = {2023},
	pages = {76-95},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970}
}

@inproceedings{MTMT:33999238,
	title = {Lazy Abstraction for Probabilistic Systems},
	url = {https://m2.mtmt.hu/api/publication/33999238},
	author = {Szekeres, Dániel and Majzik, István},
	booktitle = {Proceedings of the 30th Minisymposium},
	doi = {10.3311/minisy2023-003},
	unique-id = {33999238},
	year = {2023},
	pages = {9-12},
	orcid-numbers = {Szekeres, Dániel/0000-0002-2912-028X}
}

@article{MTMT:33999210,
	title = {Towards Abstraction-based Probabilistic Program Analysis},
	url = {https://m2.mtmt.hu/api/publication/33999210},
	author = {Szekeres, Dániel and Majzik, István},
	doi = {10.14232/actacyb.298287},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {Special Issue of the 13th Conference of PhD Students in Computer Science},
	unique-id = {33999210},
	issn = {0324-721X},
	abstract = {Probabilistic programs that can represent both probabilistic and non-deterministic choices are useful for creating reliability models of complex safety-critical systems that interact with humans or external systems. Such models are often quite complex, so their analysis can be hindered by state-space explosion. One common approach to deal with this problem is the application of abstraction techniques. We present improvements for an abstraction-refinement scheme for the analysis of probabilistic programs, aiming to improve the scalability of the scheme by adapting modern techniques from qualitative software model checking, and make the analysis result more reliable using better convergence checks. We implemented and evaluated the improvements in our Theta model checking framework.},
	year = {2023},
	eissn = {2676-993X},
	pages = {1-41},
	orcid-numbers = {Szekeres, Dániel/0000-0002-2912-028X}
}

@article{MTMT:33739468,
	title = {Component‐based specification, design and verification of adaptive systems},
	url = {https://m2.mtmt.hu/api/publication/33739468},
	author = {Graics, Bence and Molnár, Vince and Majzik, István},
	doi = {10.1002/sys.21675},
	journal-iso = {SYSTEMS ENG},
	journal = {SYSTEMS ENGINEERING},
	volume = {26},
	unique-id = {33739468},
	issn = {1098-1241},
	year = {2023},
	eissn = {1520-6858},
	pages = {567-589},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Molnár, Vince/0000-0002-8204-7595}
}

@article{MTMT:33723066,
	title = {Biztonság (safety) az elektronikus rendszerek fejlesztésében - A prolan Zrt. megoldása a PRORIS biztosítóberendezés fejlesztése során},
	url = {https://m2.mtmt.hu/api/publication/33723066},
	author = {Lantos, Péter and Lövétei, István Ferenc and Majzik, István},
	journal-iso = {VASÚTI VEZETÉKVILÁG},
	journal = {VASÚTI VEZETÉKVILÁG},
	volume = {2023},
	unique-id = {33723066},
	issn = {2559-8961},
	year = {2023},
	pages = {3-10}
}

@inproceedings{MTMT:33689503,
	title = {Integration Test Generation and Formal Verification for Distributed Controllers},
	url = {https://m2.mtmt.hu/api/publication/33689503},
	author = {Graics, Bence and Majzik, István},
	booktitle = {Proceedings of the 30th Minisymposium},
	unique-id = {33689503},
	year = {2023},
	pages = {1-4},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970}
}

@inproceedings{MTMT:33282155,
	title = {System architecture synthesis for performability by logic solvers},
	url = {https://m2.mtmt.hu/api/publication/33282155},
	author = {Földiák, M. and Marussy, Kristóf and Varró, D. and Majzik, István},
	booktitle = {MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems},
	doi = {10.1145/3550355.3552448},
	unique-id = {33282155},
	year = {2022},
	pages = {43-54},
	orcid-numbers = {Marussy, Kristóf/0000-0002-9135-8256}
}

@CONFERENCE{MTMT:33104616,
	title = {Towards Abstraction-based Probabilistic Program Analysis},
	url = {https://m2.mtmt.hu/api/publication/33104616},
	author = {Szekeres, Dániel and Majzik, István},
	booktitle = {The 13th Conference of PhD Students in Computer Science},
	unique-id = {33104616},
	year = {2022},
	pages = {55},
	orcid-numbers = {Szekeres, Dániel/0000-0002-2912-028X}
}

@inproceedings{MTMT:32054791,
	title = {Contract-Based Specification and Test Generation for Adaptive Systems},
	url = {https://m2.mtmt.hu/api/publication/32054791},
	author = {Graics, Bence and Molnár, Vince and Majzik, István},
	booktitle = {Theory and Engineering of Dependable Computer Systems and Networks},
	doi = {10.1007/978-3-030-76773-0_14},
	unique-id = {32054791},
	year = {2021},
	pages = {136-145},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Molnár, Vince/0000-0002-8204-7595}
}