1.
Szabó, Richárd ✉ ; Szekeres, Dániel* ; Nagy, Simon József ; Thimár, Zoltán ; Majzik, István ; Micskei, Zoltán ; Vörös, András
Aiding the design of critical software systems by iterative exploration of distinct requirement violation scenarios
EMPIRICAL SOFTWARE ENGINEERING 31 : 3 Paper: 58 , 52 p. (2026)
DOI WoS Scopus Egyéb URL
Közlemény:36855049 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36855049] [Admin láttamozott]
2.
Telbisz, Csanád ; Bajczi, Levente ✉ ; Szekeres, Dániel ; Vörös, András
Theta: Various Approaches for Concurrent Program Verification (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 15698 pp. 260-265. Paper: Chapter 22 , 6 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36122885 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36122885] [Egyeztetett]
3.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Szekeres, Dániel ; Vörös, András
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study)
LECTURE NOTES IN COMPUTER SCIENCE 15696 pp. 3-19. Paper: Chapter 1 , 17 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36122897 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36122897] [Admin láttamozott]
4.
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
Konferenciaközlemény (Könyvrészlet) | Tudományos[36196264] [Nyilvános]
5.
Telbisz, Csanád ; Bajczi, Levente ; Szekeres, Dániel ; Vörös, András ; Majzik, István
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework
In: Cinque, Marcello; Cotroneo, Domenico; De Simone, Luigi; Eckhart, Matthias; Lee, Patrick P. C.; Zonouz, Saman (szerk.) 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) pp. 43-46. , 4 p.
DOI WoS Scopus Egyéb URL
Közlemény:36267184 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36267184] [Admin láttamozott]
6.
Dobos-Kovács, Mihály ; Vörös, András ; Micskei, Zoltán
Beyond Hello World: Teaching software engineering with realistic and automated assignments
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. 51-64. , 14 p.
DOI REAL Egyéb URL
Közlemény:36408262 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36408262] [Nyilvános]
7.
Telbisz, Csanád ✉ ; Bajczi, Levente ; Szekeres, Dániel ; Vörös, András
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software
LECTURE NOTES IN COMPUTER SCIENCE 15945 pp. 161-181. Paper: Chapter 9 , 21 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36411499 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36411499] [Admin láttamozott]
8.
Dobos-Kovács, Mihály ; Bajczi, Levente ; Vörös, András
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 434 pp. 40-51. , 12 p. (2025)
DOI Kiadónál WoS Scopus Egyéb URL Teljes dokumentum
Közlemény:36429902 Admin láttamozott Forrás Idéző Duplum Folyóiratcikk (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos[36429902] [Admin láttamozott]
9.
Nagy, Simon József ✉ ; Marussy, Kristóf ; Vörös, András
Early Dependability and Performability Evaluation of Cyber-Physical System Architectures
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING , 16 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36858755 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36858755] [Nyilvános]
10.
Somorjai, Márk ; Dobos-Kovács, Mihály ; Ádám, Zsófia ; Bajczi, Levente ; Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 402 : 402 pp. 105-117. , 13 p. (2024)
DOI WoS Scopus Egyéb URL
Közlemény:33784283 Egyeztetett Forrás Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Folyóiratcikk) | Tudományos[33784283] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
2026-04-12 23:09