Bence Graics

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Reactive Systems

Conceptual Model

Top Venues

ICSE (Companion Volume)

Publications

Bence Graics, Milán Mondok, Vince Molnár, István Majzik
Model-Based Testing of Asynchronously Communicating Distributed Controllers. FACS (2023)
Bence Graics, Vince Molnár, István Majzik
Component-based specification, design and verification of adaptive systems. Syst. Eng. 26 (5) (2023)
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Pragmatic verification and validation of industrial executable SysML models. Syst. Eng. 26 (6) (2023)
Bence Graics, Vince Molnár, István Majzik
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. FMICS (2023)
Danilo Pallamin de Almeida, Bence Graics, Ronan Arraes Jardim Chagas, Fabiano Luis de Sousa, Fátima Mattiello-Francisco
Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View. LADC (2021)
Benedek Horváth, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes, Robert Karban
Model checking as a service: towards pragmatic hidden formal methods. MoDELS (Companion) (2020)
Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró
Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw. Syst. Model. 19 (6) (2020)
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
Simulation-based Safety Assessment of High-level Reliability Models. MARS@ETAPS (2020)
Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. ICSE (Companion Volume) (2018)