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 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and BME. The work of the third author was partially supported by the Department of Navy award (N629092412063) issued by the Office of Naval Research.

[37120083] [Admin láttamozott]
2.
Dobos-Kovács, Mihály ; Cziborová, Dóra ; Vörös, András
Sequential and parallel implementation of lazy abstraction strategies
ACTA CYBERNETICA , 49 p. (2026)
DOI Kiadónál
Közlemény:37120104 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Supported by the ÚNKP-23-3-I-BME-337 New National Excellence Program of the Ministry for Culture and Innovation from the source of the National Research, Development and Innovation Fund. The project was supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, under a grant aggreement with the National Research, Development and Innovation Office.

[37120104] [Admin láttamozott]
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 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[36196264] [Admin láttamozott]
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-07-18 02:28