BME-MIT

Bence Graics is a research fellow at the Department of Measurement and Information Systems in the Critical Systems Research Group (ftsrg). His research field is the model-driven development and verification of component-based reactive systems using formal methods. He has been the main developer of the Gamma Statechart Composition Framework, a modeling framework for the component-based design and analysis of reactive systems. He participated in the development of the SysML v2 standard as a member of the Formal Methods Working Group of OMG's Systems Modeling Community. He participated in the VKE-2018 industrial project that comprised the design and verification of a distributed electronic railway interlocking system. As a visiting researcher, he spent three months at the National Institute for Space Research of Brazil (INPE) in the context of the H2020 ADVANCE project, as well as two months at the Bruno Kessler Foundation (FBK) in Trento, Italy. He presented his work at conferences, such as ICSE'18, MODELS'20, DepCoS'21, FMICS'23 and FACS'23, as well as in the Software and Systems Modeling (SoSyM), Systems Engineering (SE)  and Science of Computer Programming (SCP) journals. He has been the supervisor of 7 bachelor's and 1 master's theses, as well as the co-supervisor of 4 Academic Students Conference (TDK) reports, all of which were awarded a 1st or 2nd prize.

Most important publications

Bence Graics, Milán Mondok, Vince Molnár, and István Majzik. Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations. Science of Computer Programming. 242, 2025. DOI: 10.1016/j.scico.2025.103265

Vince Molnár, Bence Graics, András Vörös, et al. 2024. Towards the Formal Verification of SysML v2 Models. In Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24). Association for Computing Machinery, New York, NY, USA, 1086–1095. DOI: 10.1145/3652620.3687820

Bence Graics, Vince Molnár, and István Majzik. Component-based specification, design and verification of adaptive systems. Systems Engineering. 26(5), 2023, pp. 567–589. DOI: 10.1002/sys.21675

Bence Graics, Vince Molnár, András Vörös, István Majzik, and Dániel Varró. Mixed-semantics composition of statecharts for the component-based design of reactive systems. Software and Systems Modeling, Volume 19, Number 6, Pages 1483–1517, 2020, DOI: 10.1007/s10270-020-00806-5

Vince Molnár, Bence Graics, András Vörös, István Majzik, and Dániel Varró. The Gamma Statechart Composition Framework. In Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, Pages 113-116. ACM. DOI: 10.1145/3183440.3183489