BME-MIT

Graics Bence a Budapesti Műszaki és Gazdaságtudományi Egyetem tudományos munkatársa. Kutatási területe a komponensalapú reaktív rendszerek modellvezérelt fejlesztése és ellenőrzése formális módszerek alkalmazásával. Bence a Gamma Statechart Composition Framework, egy a komponensalapú reaktív rendszerek tervezésére és ellenőrzésére szolgáló modellezési keretrendszer fő fejlesztője. Bence részt vett a SysML v2 szabvány kidolgozásában az OMG rendszermodellezési közösségének formális módszerekkel foglalkozó munkacsoportjának (Formal Methods Working Group of OMG's Systems Modeling Community) tagjaként, emellett dolgozott a VKE-2018 ipari projektben, amely egy elosztott elektronikus vasúti biztosítóberendezés tervezését és ellenőrzését foglalta magában. Mint vendégkutató, a H2020 ADVANCE projekt keretein belül 2019-ben és 2022-ben egy-egy hónapot töltött a Brazil Űrügynökségnél (INPE). Bence a munkáját több konferencián, pl. az ICSE'18, MODELS'20 és DepCoS'21 konferencián, és a Software and Systems Modeling (SoSyM), Systems Engineering (SE)  és Science of Computer Programming (SCP) folyóiratokban is bemutatta. 7 alapképzési és 1 mesterképzési szakdolgozat témavezetője, valamint 4 Tudományos Diákkonferencia (TDK) beszámoló társtémavezetője volt, amelyek mindegyike első vagy második díjat kapott.

Legfontosabb publikációk

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