1.
Péter, Bertalan Zoltán ✉ ; Akel, Nada ; Gönczy, László ; Kocsis, Imre
Data Veracity Assurance in Data Spaces
LECTURE NOTES IN NETWORKS AND SYSTEMS 1635 pp. 232-242. Paper: Chapter 22 , 11 p. (2026)
DOI WoS Scopus Egyéb URL
Közlemény:36133886 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36133886] [Egyeztetett]
2.
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 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36855049] [Egyeztetett]
3.
Graics, Bence ✉ ; Mondok, Milán ; Molnár, Vince ; Majzik, István
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
SCIENCE OF COMPUTER PROGRAMMING 242 Paper: 103265 , 40 p. (2025)
DOI WoS Scopus Egyéb URL
Közlemény:35730361 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 4 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[35730361] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 4, Függő: 2, Nem jelölt: 0
4.
Bajczi, Levente ✉ ; Molnár, Vince ✉
Networcat: applying analysis techniques of shared memory software on message-passing distributed systems
SOFTWARE AND SYSTEMS MODELING 24 : 5 pp. 1495-1514. , 20 p. (2025)
DOI WoS Scopus Egyéb URL
Közlemény:35762171 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[35762171] [Admin láttamozott]
5.
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]
6.
Bajczi, Levente ✉ ; Ádám, Zsófia ; Micskei, Zoltán
SV-COMP’25 Reproduction Report (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 15698 pp. 187-191. Paper: Chapter 10 , 5 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36122888 Egyeztetett Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36122888] [Egyeztetett]
7.
Mondok, Milán ; Bajczi, Levente ✉ ; Szekeres, Dániel ; Molnár, Vince
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 15698 pp. 217-222. Paper: Chapter 15 , 6 p. (2025)
DOI Scopus Egyéb URL
Közlemény:36122891 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 0 | Független: 0 | Függő: 0 | Nem jelölt: 0 (Nem nyilvános: 1)
Szakcikk (Folyóiratcikk) | Tudományos[36122891] [Admin láttamozott]
8.
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]
9.
Tarnay, Márton ; Földvári, András ; Péter, Bertalan Zoltán
Inductive Learning-Based Qualitative Fault Diagnosis in Distributed 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. 16-21. , 6 p.
DOI Egyéb URL
Közlemény:36159794 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36159794] [Nyilvános]
10.
Bajczi, Levente ; Szekeres, Dániel ; Telbisz, Csanád ; Molnár, Vince
Giving Some Pointers for Abstraction-Based Model Checking
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. 5-9. , 5 p.
DOI Egyéb URL
Közlemény:36176199 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36176199] [Admin láttamozott]
2026-06-17 06:14