11.
Márton, Elekes ; Gábor, Szárnyas
An incremental GraphBLAS solution for the 2018 TTC Social Media case study
In: Anu, G. Bourgeois; Ramachandran, Vaidyanathan (szerk.) 2020 IEEE 34th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2020
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2020) 1,136 p. pp. 203-206. , 4 p.
DOI REAL WoS Scopus
Közlemény:31340716 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31340716] [Nyilvános]
12.
Aznaveh, Mohsen ; Chen, Jinhao ; Davis, Timothy A. ; Hegyi, Bálint ; Kolodziej, Scott P. ; Mattson, Timothy G. ; Szárnyas, Gábor
Parallel GraphBLAS with OpenMP
In: Li, Xiaoye Sherri; Bücker, H. Martin (szerk.) 2020 Proceedings of the SIAM Workshop on Combinatorial Scientific Computing
Society for Industrial and Applied Mathematics (2020) pp. 138-148. , 11 p.
DOI Egyéb URL
Közlemény:31329295 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31329295] [Nyilvános]
13.
Bence, Graics ; Majzik, István
Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework
In: Balázs, Renczes (szerk.) Proceedings of the 27th PhD Mini-Symposium
Budapest, Magyarország : Budapest University of Technology and Economics, Department of Measurement and Information Systems (2020) pp. 25-28. , 4 p.
Egyéb URL
Közlemény:31294892 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31294892] [Nyilvános]
14.
Aren, Babikian ; Oszkár, Semeráth ; Daniel, Varro
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
In: Wehrheim, Heike; Cabot, Jordi (szerk.) Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Cham, Svájc : Springer-Verlag (2020) 565 p. pp. 441-461. , 21 p.
DOI WoS Scopus
Közlemény:31160534 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 2 | Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[31160534] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 0
15.
Abel, Gómez ; ·Xabier, Mendialdua ; ·Konstantinos, Barmpis ; Bergmann, Gábor ; Jordi, Cabot ; ·Xabier, de Carlos ; Debreceni, Csaba ; ·Antonio, Garmendia ; ·Dimitrios, S. Kolovos ; ·Juan, de Lara
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
SOFTWARE AND SYSTEMS MODELING 19 : 5 pp. 1229-1261. , 33 p. (2020)
DOI WoS Scopus Teljes dokumentum
Közlemény:31128076 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 2 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos[31128076] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
16.
Hajdu, Ákos ✉ ; Micskei, Zoltán
Efficient Strategies for CEGAR-Based Model Checking
JOURNAL OF AUTOMATED REASONING 64 pp. 1051-1091. , 41 p. (2020)
DOI WoS Scopus Egyéb URL
Közlemény:30910225 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 15 | Független: 14 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 12 | WoS/Scopus jelölt: 12 | DOI jelölt: 13 (Nem nyilvános: 1)
Szakcikk (Folyóiratcikk) | Tudományos[30910225] [Egyeztetett]
Nyilvános idéző összesen: 15, Független: 14, Függő: 1, Nem jelölt: 0
17.
Oszkár, Semeráth ; Rebeka, Farkas ; Gábor, Bergmann ; Dániel, Varró
Diversity of Graph Models and Graph Generators in Mutation Testing
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 22 pp. 57-78. , 22 p. (2020)
DOI WoS Scopus Teljes dokumentum
Közlemény:30748493 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 13 | Független: 8 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 11 | Scopus jelölt: 9 | WoS/Scopus jelölt: 11 | DOI jelölt: 13
Szakcikk (Folyóiratcikk) | Tudományos[30748493] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 8, Függő: 5, Nem jelölt: 0
18.
Bur, Marton ; Varro, Daniel
Evaluation of Distributed Query-Based Monitoring over Data Distribution Service
In: IEEE, . (szerk.) 2019 IEEE 5th World Forum on Internet of Things (WF-IoT)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2019) pp. 674-679. , 6 p.
DOI WoS Scopus Egyéb URL
Közlemény:32894480 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32894480] [Egyeztetett]
19.
Chechik, Marsha ; Strüber, Daniel ; Varró, Dániel
Message from the MiSE 2019 Workshop Organizers
In: Randall, S. Bilof (szerk.) 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)
Los Alamitos (CA), Amerikai Egyesült Államok : IEEE Computer Society Press (2019) pp. 7-7. , 1 p.
DOI Scopus Egyéb URL
Közlemény:32889806 Nyilvános Forrás Könyvrészlet (Előszó, utószó ) Tudományos
Előszó, utószó (Könyvrészlet) | Tudományos[32889806] [Nyilvános]
20.
Bur, Marton ✉ ; Varro, Daniel
Towards WCET Estimation of Graph Queries@Run.time
In: Burgueno, L; Voss, S; Pretschner, A; Yue, T; Kessentini, M (szerk.) 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2019)
Los Alamitos (CA), Amerikai Egyesült Államok : IEEE Computer Society (2019) pp. 233-238. , 6 p.
DOI WoS Scopus
Közlemény:31576227 Nyilvános Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[31576227] [Nyilvános]
2024-05-08 15:52