1.
Chen, Boqi ✉ ; Marussy, Kristóf ; Semeráth, Oszkár ; Mussbacher, Gunter ; Varró, Dániel
Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation
DATA MINING AND KNOWLEDGE DISCOVERY 40 : 1 Paper: 11 , 42 p. (2026)
DOI WoS Scopus Egyéb URL
Közlemény:36845510 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[36845510] [Admin láttamozott]
2.
Lopez, Jose Antonio Hernandez ; Chen, Boqi ; Saad, Mootez ; Sharma, Tushar ; Varró, Dániel
On Inter-Dataset Code Duplication and Data Leakage in Large Language Models
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 51 : 1 pp. 192-205. , 14 p. (2025)
DOI WoS Scopus
Közlemény:35713150 Nyilvános Forrás Folyóiratcikk (Szakcikk ) 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
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: Funding Agency and Grant Number: Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation; MCIN/AEI [PID2022-140109NB-I]; FEDER/UE
            Funding text: This work was supported in part by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation; and in part by the PID2022-140109NB-I project AIM (MCIN/AEI/10.13039/501100011033 and FEDER/UE).

[35713150] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
3.
Wang, Yiran ; Meijer, Willem ; Hernandez Lopez, Jose Antonio ; Nilsson, Ulf ; Varro, Daniel
Why do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 51 : 7 pp. 2181-2196. , 16 p. (2025)
DOI WoS Scopus
Közlemény:36190735 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: This work was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation, and the Software Center Project 61.

[36190735] [Admin láttamozott]
4.
Babikian, Aren A. ; Semeráth, Oszkár ✉ ; Varró, Dániel
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 50 : 1 pp. 48-68. , 21 p. (2024)
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:34375495 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 9 | Független: 4 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 4 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[34375495] [Egyeztetett]
Nyilvános idéző összesen: 9, Független: 4, Függő: 5, Nem jelölt: 0
5.
Babikian, Aren A. ; Varró, Dániel
OptAngle at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track
In: Association for Computing Machinery - Association for Computing Machinery (szerk.) SBFT '24: Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 73-74. , 2 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:35448977 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[35448977] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 0
6.
Kargén, Ulf ; Varró, Dániel
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles
In: Association for Computing Machinery - Association for Computing Machinery (szerk.) MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 249-256. , 8 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:35448972 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[35448972] [Egyeztetett]
7.
López, José Antonio Hernández ; Földiák, Máté ; Varró, Dániel
Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT
In: Association for Computing Machinery - Association for Computing Machinery (szerk.) MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 13-24. , 12 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:35448968 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[35448968] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
8.
Marussy, Kristóf ; Ficsor, Attila ; Semeráth, Oszkár ; Varró, Dániel
Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models
In: Association for Computing Machinery - Association for Computing Machinery (szerk.) ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 64-68. , 5 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:34872599 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) 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: 5
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34872599] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 4, Függő: 2, Nem jelölt: 0
9.
Wang, Yiran ; López, José Antonio Hernández ; Nilsson, Ulf ; Varró, Dániel
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
In: Marcelo, d’Amorim (szerk.) FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2024) pp. 497-501. , 5 p.
DOI WoS Scopus Egyéb URL
Központi kezelésű Közlemény:35448990 Egyeztetett Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[35448990] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
10.
Ahmad, Fozail ✉ ; Rangappa, Maruthi ; Katiyar, Neeraj ; Staniszewski, Martin ; Varro, Daniel
Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs
In: IEEE/ACM - IEEE/ACM (szerk.) 2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
Los Alamitos, Amerikai Egyesült Államok : IEEE Computer Society (2023) 510 p. pp. 384-395. , 12 p.
DOI WoS Scopus
Központi kezelésű Közlemény:34357404 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[34357404] [Egyeztetett]
2026-05-10 19:45