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 Egyéb URL
Közlemény:34375495 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[34375495] [Egyeztetett]
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. (szerk.) ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2022) pp. 1-13. Paper: 25 , 13 p.
DOI WoS Scopus Egyéb URL
Közlemény:33648748 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 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[33648748] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 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 Egyéb URL
Közlemény:32589473 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32589473] [Nyilvános]
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 Egyéb URL
Közlemény:32589305 Nyilvános 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
Szakcikk (Folyóiratcikk) | Tudományos[32589305] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 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
Közlemény:32394785 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos[32394785] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 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
Közlemény:31360895 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 3 | Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[31360895] [Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 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
Közlemény:32589303 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[32589303] [Nyilvános]
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 Egyéb URL
Közlemény:32589291 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 2 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[32589291] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 2, Függő: 0, Nem jelölt: 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
Közlemény:32399177 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 1 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos[32399177] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 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
Közlemény:32028274 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 6 | Független: 6 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 6 | Scopus jelölt: 2 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Szakcikk (Folyóiratcikk) | Tudományos[32028274] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 6, Függő: 0, Nem jelölt: 0
2024-05-09 00:24