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. 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, and in the Software and Systems Modeling (SoSyM) and Systems Engineering (SE) journals. He participated in the VKE-2018 industrial project that comprised the design and verification of a distributed electronic railway interlocking system. 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, Vince Molnár, and István Majzik. Contract-Based Specification and Test Generation for Adaptive Systems. In Proceedings of the 16th International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland, in Advances in Intelligent Systems and Computing, Volume 1389, Pages 136–145, Springer Nature, DOI:10.1007/978-3-030-76773-0

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