1.
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
Publication:34375495 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34375495] [Validated]
2.
Chen, Boqi ; Marussy, K. ; Pilarski, Sebastian ; Semeráth, Oszkár ; Varro, Dániel
Consistent Scene Graph Generation by Constraint Optimization
In: Aehnelt, M.; Kirste, T. (eds.) ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
New York City, United States of America : ACM (2022) pp. 1-13. Paper: 25 , 13 p.
DOI WoS Scopus Other URL
Publication:33648748 Validated Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[33648748] [Validated]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
3.
Pilarski, Sebastian ; Pilarski, Slawomir ; Varro, Daniel
Delayed Reward Bernoulli Bandits: Optimal Policy and Predictive Meta-Algorithm PARDI
IEEE Transactions on Artificial Intelligence 3 : 2 pp. 152-163. , 12 p. (2022)
DOI Other URL
Publication:32589473 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[32589473] [Approved]
4.
Khan, Faizan ; Chen, Boqi ; Varro, Daniel ; Mcintosh, Shane
An Empirical Study of Type-Related Defects in Python Projects
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 48 : 8 pp. 3145-3158. , 14 p. (2022)
DOI WoS Scopus Other URL
Publication:32589305 Published Core Journal Article (Article ) 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
Article (Journal Article) | Scientific[32589305] [Approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
5.
Babikian, Aren A. ✉ ; Semerath, Oszkar ; Li, Anqi ; Marussy, Kristof ; Varro, Daniel
Automated generation of consistent models using qualitative abstractions and exploration strategies
SOFTWARE AND SYSTEMS MODELING 21 : 5 pp. 1763-1787. , 25 p. (2022)
DOI WoS Scopus
Publication:32394785 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 1 | Independent citation: 0 | Self citation: 1 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Article (Journal Article) | Scientific[32394785] [Validated]
All citations+mentions: 1, External citations: 0, Self citations: 1, Unhandled citations: 0
6.
Kristóf, Marussy ; Oszkár, Semeráth ; Dániel, Varró
Automated Generation of Consistent Graph Models with Multiplicity Reasoning
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 48 : 5 pp. 1610-1629. , 20 p. (2022)
DOI WoS Scopus
Publication:31360895 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[31360895] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 0
7.
Pilarski, Sebastian ; Pilarski, Slawomir ; Varro, Daniel
Optimal Policy for Bernoulli Bandits: Computation and Algorithm Gauge
IEEE Transactions on Artificial Intelligence 2 : 1 pp. 2-17. , 16 p. (2021)
DOI Egyéb URL
Publication:32589303 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[32589303] [Approved]
8.
Búr, Márton ; Marussy, Kristóf ; Meyer, Brett H. ; Varró, Dániel
Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 20 : 6 pp. 1-36. , 36 p. (2021)
DOI Other URL
Publication:32589291 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 2 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[32589291] [Approved]
All citations+mentions: 2, External citations: 2, Self citations: 0, Unhandled citations: 0
9.
Pilarski, Sebastian ✉ ; Staniszewski, Martin ; Bryan, Matthew ; Villeneuve, Frederic ; Varro, Daniel
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime For multi-disciplinary design and operation of gas turbines
SOFTWARE AND SYSTEMS MODELING 20 : 3 pp. 685-709. , 25 p. (2021)
DOI WoS Scopus
Publication:32399177 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 2 | Independent citation: 0 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 2 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[32399177] [Validated]
All citations+mentions: 2, External citations: 0, Self citations: 2, Unhandled citations: 0
10.
Oszkár, Semeráth ; Aren, A. Babikian ; Boqi, Chen ; Chuning, Li ; Kristóf, Marussy ; Gábor, Szárnyas ; Dániel, Varró
Automated Generation of Consistent, Diverse and Structurally Realistic Graph Models
SOFTWARE AND SYSTEMS MODELING 20 : 5 pp. 1713-1734. , 22 p. (2021)
DOI WoS Scopus
Publication:32028274 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 6 | Independent citation: 6 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 6 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 6 | Number of citations with DOI: 6
Article (Journal Article) | Scientific[32028274] [Validated]
All citations+mentions: 6, External citations: 6, Self citations: 0, Unhandled citations: 0
2024-05-05 05:27