Bence Graics
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MODELS | Towards the Formal Verification of SysML v2 Models. | Vince Molnr, Bence Graics, Andrs Vrs, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Kthe, John Hester, Jamie Smith, Christoph Grimm |
| 2023 | FMICS | Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. | Bence Graics, Vince Molnr, Istvn Majzik |
| 2020 | MODELS | Model checking as a service: towards pragmatic hidden formal methods. | Benedek Horvth, Bence Graics, kos Hajdu, Zoltn Micskei, Vince Molnr, Istvn Rth, Luigi Andolfato, Ivan Gomes, Robert Karban |
| 2018 | ICSE | The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. | Vince Molnr, Bence Graics, Andrs Vrs, Istvn Majzik, Dniel Varr |