Graics Bence

tudományos segédmunkatárs
A munkatárs fényképe

Elérhetőségek

Iroda: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Tel.: 
+36 1 463-3579
Fax: 
+36 1 463-4112
Email: 
graics (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~graics/

Bevezetés

Graics Bence a Budapesti Műszaki és Gazdaságtudományi Egyetem tudományos segédmunkatá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. 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) folyóiratban is bemutatta.

Legfontosabb publikációk

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

Oktatás

Kutatás

Publikációs lista, tudománymetriai táblázat és szerzői oldalak:  ORCID  Google Scholar  ResearchGate
© 2010-2024 BME MIT | Hibajelentés | Használati útmutató