1.
Babikian, Aren A. ✉ ; Ficsor, Attila ; Semeráth, Oszkár ; Mussbacher, Gunter ; Varró, Dániel
Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition
SOFTWARE AND SYSTEMS MODELING , 25 p. (2026)
DOI WoS Scopus Egyéb URL
Közlemény:37253633 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos 
Megjegyzés: This paper was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation and Vetenskapsrådet (VR), by the Doctoral Excellence Fellowship Programme (DCEP) funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, and by the Department of Navy award (N629092412063) issued by the Office of Naval Research.

[37253633] [Admin láttamozott]
2.
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]
3.
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: 4 | Független: 4 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 1 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
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: 4, Független: 4, Függő: 0, Nem jelölt: 0
4.
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
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
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]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
5.
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: 10 | Független: 4 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 10 | Scopus jelölt: 4 | WoS/Scopus jelölt: 10 | DOI jelölt: 10
Nyelv: Angol
Szakcikk (Folyóiratcikk) | Tudományos[34375495] [Egyeztetett]
Nyilvános idéző összesen: 10, Független: 4, Függő: 6, Nem jelölt: 0
6.
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
7.
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
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[35448972] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
8.
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: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt: 1 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[35448968] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
9.
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: 4 | Scopus jelölt: 3 | WoS/Scopus jelölt: 4 | 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
10.
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: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 5
Nyelv: Angol
Konferenciaközlemény (Könyvrészlet) | Tudományos[35448990] [Egyeztetett]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
2026-08-18 07:37