1.
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
Publication:35713150 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[35713150] [Approved]
2.
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 (eds.) FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
New York City, United States of America : ACM (2024) pp. 497-501. , 5 p.
DOI WoS Scopus Other URL
Locked Publication:35448990 Validated Core Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[35448990] [Validated]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
3.
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 (eds.) SBFT '24: Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing
New York City, United States of America : ACM (2024) pp. 73-74. , 2 p.
DOI WoS Scopus Other URL
Locked Publication:35448977 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[35448977] [Validated]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
4.
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 (eds.) MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America : ACM (2024) pp. 249-256. , 8 p.
DOI WoS Scopus Other URL
Locked Publication:35448972 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35448972] [Validated]
5.
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 (eds.) MODELS '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
New York City, United States of America : ACM (2024) pp. 13-24. , 12 p.
DOI WoS Scopus Other URL
Locked Publication:35448968 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35448968] [Validated]
6.
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 (eds.) ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
New York City, United States of America : ACM (2024) pp. 64-68. , 5 p.
DOI WoS Scopus Other URL
Locked Publication:34872599 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 4 | Independent citation: 2 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 3 | Number of citations with DOI: 3
Conference paper (Chapter in Book) | Scientific[34872599] [Validated]
All citations+mentions: 4, External citations: 2, Self citations: 2, Unhandled citations: 0
7.
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 Other URL
Locked Publication:34375495 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 4 | Independent citation: 0 | Self citation: 4 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 3 | WoS/Scopus assigned: 4 | Number of citations with DOI: 4
Article (Journal Article) | Scientific[34375495] [Validated]
All citations+mentions: 4, External citations: 0, Self citations: 4, Unhandled citations: 0
8.
Szárnyas, G. ; Marton, J. ; Maginecz, J. ; Varró, D.
High-Performance Property Graph Queries
In: Meinel, Christoph; Polze, Andreas; Bein, Karstens; Strotmann, Rolf; Seibold, Ulrich; Rödszus, Kurt; Müller, Jürgen (eds.) HPI Future SOC Lab – Proceedings 2018
Potsdam, Germany : Universitätsverlag Potsdam (2023) 294 p. pp. 243-254. , 12 p.
Scopus Teljes dokumentum
Locked Publication:35459360 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35459360] [Validated]
9.
Chen, Boqi ; Chen, Kua* ; Hassani, Shabnam* ; Yang, Yujing ; Amyot, Daniel ; Lessard, Lysanne ; Mussbacher, Gunter ; Sabetzadeh, Mehrdad ; Varró, Dániel
On the Use of GPT-4 for Creating Goal Models: An Exploratory Study
In: Schneider, K; Dalpiaz, F; Horkoff, J (eds.) 31st IEEE International Requirements Engineering Conference Workshops, REW 2023
Los Alamitos (CA), United States of America : IEEE Computer Society (2023) 490 p. pp. 262-271. , 10 p.
DOI WoS Other URL Teljes dokumentum
Locked Publication:35449119 Validated Core Chapter in Book (Conference paper ) Scientific
Citing papers: 22 | Independent citation: 19 | Self citation: 3 | Unknown citation: 0 | Number of citations in WoS: 22 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 22 | Number of citations with DOI: 22
Conference paper (Chapter in Book) | Scientific[35449119] [Validated]
All citations+mentions: 22, External citations: 19, Self citations: 3, Unhandled citations: 0
10.
Chen, Kua ; Yang, Yujing* ; Chen, Boqi* ; Hernández López, José Antonio ; Mussbacher, Gunter ; Varró, Dániel
Automated Domain Modeling with Large Language Models: A Comparative Study
In: IEEE - IEEE (eds.) 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Online kiadás, International : Institute of Electrical and Electronics Engineers Inc. (2023) pp. 162-172. , 11 p.
DOI Other URL Teljes dokumentum
Locked Publication:35449112 Validated Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[35449112] [Validated]
2025-05-25 06:37