Bence Graics

PhD student
A doktorandusz fényképe

Contact information

1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
István Majzik
Studies started: 
Studies ended: 


Bence Graics is a PhD student at Budapest University of Technology and Economics. His research field is the model-driven development and verification of component-based reactive systems using formal methods. He is 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 a month in 2019 and 2022 at the National Institute for Space Research of Brazil (INPE) in the context of the H2020 ADVANCE project. He presented his work at conferences, such as ICSE'18, MODELS'20, and DepCoS'21, and in the Software and Systems Modeling (SoSyM) journal.

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


PhD topic: 
Formal verification of component-based dynamic architectures
List of publications and author profiles:  ORCID  Google Scholar  ResearchGate


© 2010-2024 BME MIT