1.
Cziborová, Dóra ; Dobos-Kovács, Mihály ; Marussy, Kristóf ; Vörös, András
Unified Timing-Aware Program Verification
LECTURE NOTES IN COMPUTER SCIENCE 16504 pp. 412-423. , 12 p. (2026)
DOI Scopus Egyéb URL
Közlemény:37120083 Nyilvános Forrás Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Folyóiratcikk) | Tudományos[37120083] [Nyilvános]
2.
Mihály, Dobos-Kovács ; Dóra, Cziborová ; András, Vörös
Sequential and parallel implementation of lazy abstraction strategies
ACTA CYBERNETICA pp. 1-49. , 49 p. (2026)
Közlemény:37120104 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[37120104] [Nyilvános]
3.
Szabó, Richárd ; Cziborová, Dóra ; Vörös, András
Towards Configurable Coordination for Distributed Reactive Systems
In: Renczes, Balázs (szerk.) Proceedings of the 32nd Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering (2025) pp. 45-50. , 6 p.
DOI Egyéb URL
Közlemény:36196264 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[36196264] [Nyilvános]
4.
Szabó, Richárd ; Cziborová, Dóra
Automata-based representation of coordination for distributed reactive systems
In: Tómács, Tibor (szerk.) Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence
Eger, Magyarország : Eszterházy Károly Katolikus Egyetem Líceum Kiadó (2025) 248 p. pp. 201-213. , 13 p.
DOI REAL
Közlemény:36408410 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[36408410] [Admin láttamozott]
5.
Cziborová, Dóra ; Szabó, Richárd
Modeling of Time-Dependent Behavior in Fault-Tolerant Systems
In: Proceedings of the 31th Minisymposium
Budapest, Magyarország : Budapest University of Technology and Economics (2024) pp. 55-60. , 6 p.
DOI Egyéb URL
Közlemény:34872818 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34872818] [Admin láttamozott]
2026-05-17 14:34