Bence Graics

11 papers C 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations.
Sci. Comput. Program.
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
2024 — conf
Towards the Formal Verification of SysML v2 Models.
MoDELS (Companion)
Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm
2023 J jnl
Component-based specification, design and verification of adaptive systems.
Syst. Eng.
Bence Graics, Vince Molnár, István Majzik
2023 C conf
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.
FMICS
Bence Graics, Vince Molnár, István Majzik
2023 — conf
Model-Based Testing of Asynchronously Communicating Distributed Controllers.
FACS
Bence Graics, Milán Mondok, Vince Molnár, István Majzik
2023 J jnl
Pragmatic verification and validation of industrial executable SysML models.
Syst. Eng.
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
2021 — conf
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View.
LADC
Danilo Pallamin de Almeida, Bence Graics, Ronan Arraes Jardim Chagas, Fabiano Luis de Sousa, Fátima Mattiello-Francisco
2020 J jnl
Mixed-semantics composition of statecharts for the component-based design of reactive systems.
Softw. Syst. Model.
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
2020 — conf
Model checking as a service: towards pragmatic hidden formal methods.
MoDELS (Companion)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
2020 — conf
Simulation-based Safety Assessment of High-level Reliability Models.
MARS
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2018 — conf
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems.
ICSE (Companion Volume)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró