Bence Graics

Statistics

Publications

Citations

H-Index

Active since

2018

Affiliations

Budapest University of Technology and Economics(Current)

McGill University

Johannes Kepler University of Linz

Bence Graics is an author at Budapest University of Technology and Economics specializing in software analysis, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringSoftware EngineeringSoftware Design

Publications per year

2018–2023

Publications

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

Bence Graics, Vince Molnár, András Vörös et al. · Software & Systems Modeling · 2020 · 29 citations · Full text

Engineering, Verification, Software Engineering +28

The Gamma statechart composition framework

Vince Molnár, Bence Graics, András Vörös et al. · 2018 · 24 citations

Software Maintenance, Engineering, Verification +24

Pragmatic verification and validation of industrial executable SysML models

Benedek Horváth, Vince Molnár, Bence Graics et al. · Systems Engineering · 2023 · 16 citations

Engineering, Verification, Software Systems +22

Model checking as a service

Benedek Horváth, Bence Graics, Ákos Hajdu et al. · 2020 · 11 citations · Full text

Engineering, Hidden Model Checkers, Verification +20

1–4 of 4