Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models. - Kristóf Marussy; Attila Ficsor; Oszkár Semeráth; Dániel Varró (ICSE Companion, 2024)

Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition. - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (CoRR, 2024)

Artifacts for the paper "Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition". - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (Zenodo, 2024)

Artifacts for the paper "Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition". - Aren A. Babikian; Attila Ficsor; Oszkár Semeráth; Gunter Mussbacher; Dániel Varró (Zenodo, 2024)