Bence Graics

According to our database, Bence Graics authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Robert Karban, Gelys Trancho, Zoltán Micskei

Syst. Eng., November, 2023

Component-based specification, design and verification of adaptive systems.

Bence Graics, Vince Molnár, István Majzik

Syst. Eng., September, 2023

Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.

Bence Graics, Vince Molnár, István Majzik

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Model-Based Testing of Asynchronously Communicating Distributed Controllers.

Bence Graics, Milán Mondok, Vince Molnár, István Majzik

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2021

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

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

Mixed-semantics composition of statecharts for the component-based design of reactive systems.

Bence Graics, Vince Molnár, András Vörös, István Majzik, Dániel Varró

Softw. Syst. Model., 2020

Simulation-based Safety Assessment of High-level Reliability Models.

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

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

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2018

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, István Majzik, Dániel Varró

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018