The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. - Vince Molnár; Bence Graics; András Vörös 001; István Majzik; Dániel Varró (ICSE (Companion Volume), 2018)

Model checking as a service: towards pragmatic hidden formal methods. - Benedek Horváth; Bence Graics; Ákos Hajdu; Zoltán Micskei; Vince Molnár; István Ráth; Luigi Andolfato; Ivan Gomes; Robert Karban (MoDELS (Companion), 2020)

Simulation-based Safety Assessment of High-level Reliability Models. - Simon József Nagy; Bence Graics; Kristóf Marussy; András Vörös 001 (MARS@ETAPS, 2020)

Mixed-semantics composition of statecharts for the component-based design of reactive systems. - Bence Graics; Vince Molnár; András Vörös 001; István Majzik; Dániel Varró (Softw. Syst. Model., 2020)

Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View. - Danilo Pallamin de Almeida; Bence Graics; Ronan Arraes Jardim Chagas; Fabiano Luis de Sousa; Fátima Mattiello-Francisco (LADC, 2021)

Model-Based Testing of Asynchronously Communicating Distributed Controllers. - Bence Graics; Milán Mondok; Vince Molnár; István Majzik (FACS, 2023)

Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. - Bence Graics; Vince Molnár; István Majzik (FMICS, 2023)

Component-based specification, design and verification of adaptive systems. - Bence Graics; Vince Molnár; István Majzik (Syst. Eng., 2023)

Pragmatic verification and validation of industrial executable SysML models. - Benedek Horváth; Vince Molnár; Bence Graics; Ákos Hajdu; István Ráth; Ákos Horváth 001; Robert Karban; Gelys Trancho; Zoltán Micskei (Syst. Eng., 2023)

Towards the Formal Verification of SysML v2 Models. - Vince Molnár; Bence Graics; András Vörös 001; Stefano Tonetta; Luca Cristoforetti; Greg Kimberly; Pamela Dyer; Kristin Giammarco; Manfred Köthe; John Hester; Jamie Smith; Christoph Grimm 001 (MoDELS (Companion), 2024)

Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations. - Bence Graics; Milán Mondok; Vince Molnár; István Majzik (Sci. Comput. Program., 2025)