41.
Bence, Babati ; Endre, Fülöp ; Norbert, Pataki
Static Analysis of Multithreaded C++ Code (2020)
Poster at The 11th International Conference on Applied Informatics (ICAI 2020),
Közlemény:31152682 Admin láttamozott Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[31152682] [Admin láttamozott]
42.
Endre, Fülöp ; Norbert, Pataki
Symbolic Execution with Finite State Automata
In: William, Steingartner; Stefan, Korecko; Anikó, Szakál (szerk.) 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings
Poprad, Szlovákia : Institute of Electrical and Electronics Engineers (IEEE) (2019) pp. 116-120. , 5 p.
DOI IEEE Xplore Scopus
Közlemény:30932379 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) 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
Konferenciaközlemény (Könyvrészlet) | Tudományos[30932379] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
43.
Bence, Babati ; Gábor, Horváth ; Norbert, Pataki ; Attila, Páter-Részeg
On the Validated Usage of the C++ Standard Template Library
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York, Amerikai Egyesült Államok : Association for Computing Machinery (2019) Paper: 23 , 8 p.
DOI ACM Digital Library Scopus Egyéb URL
Közlemény:30796615 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 0 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[30796615] [Egyeztetett]
Nyilvános idéző összesen: 6, Független: 0, Függő: 6, Nem jelölt: 0
44.
Gábor, Horváth ; Norbert, Pataki
Categorization of C++ Classes for Static Lifetime Analysis
In: Eleftherakis, G.; Lazarova, M.; Aleksieva-Petrova, A.; Tasheva, A. (szerk.) Proceedings of the 9th Balkan Conference on Informatics - BCI'19
New York, Amerikai Egyesült Államok : Association for Computing Machinery (2019) Paper: 21 , 7 p.
DOI ACM Digital Library Scopus Egyéb URL
Közlemény:30796594 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 2 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[30796594] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 2, Függő: 2, Nem jelölt: 0
45.
Soha, Péter ; Norbert, Pataki
Effective type parametrization in Java
In: Theodore, Simos; Charalambos, Tsitouras (szerk.) Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
College Park (MD), Amerikai Egyesült Államok : American Institute of Physics (AIP) (2019) Paper: 350007 , 4 p.
DOI ISSN: 0094-243X WoS Scopus Egyéb URL ADS
Közlemény:30746434 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) 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
Konferenciaközlemény (Könyvrészlet) | Tudományos[30746434] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
46.
Babati, Bence ; Norbert, Pataki
Static analysis of functors’ mathematical properties in C++ source code
In: Theodore, Simos; Charalambos, Tsitouras (szerk.) Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
College Park (MD), Amerikai Egyesült Államok : American Institute of Physics (AIP) (2019) Paper: 350002 , 4 p.
DOI WoS Scopus Egyéb URL ADS
Közlemény:30746433 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: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 2
Konferenciaközlemény (Könyvrészlet) | Tudományos[30746433] [Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 0
47.
Gábor, Horváth ; Norbert, Pataki
Predicting bugs using symbolic execution graph
In: Theodore, Simos; Charalambos, Tsitouras (szerk.) Proceedings of the International Conference on Numerical Analysis and Applied Mathematics (ICNAAM-2018)
College Park (MD), Amerikai Egyesült Államok : American Institute of Physics (AIP) (2019) Paper: 350003 , 4 p.
DOI WoS Scopus Egyéb URL ADS
Közlemény:30746432 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 0 | Függő: 1 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[30746432] [Egyeztetett]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
48.
Ádám, Révész ; Norbert, Pataki
Continuous A/B Testing in Containers
In: Proceedings of the 2019 2nd International Conference on Geoinformatics and Data Analysis
New York, Amerikai Egyesült Államok : ACM Press (2019) 147 p. pp. 11-14. , 4 p.
DOI ACM Digital Library WoS Scopus
Közlemény:30688058 Egyeztetett Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 4 | Független: 3 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 1 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos[30688058] [Egyeztetett]
Nyilvános idéző összesen: 4, Független: 3, Függő: 1, Nem jelölt: 0
49.
Pataki, Norbert
A DevOps fejlesztési módszertan tökéletesítése (2018)
Poszter az A Tudományos Kutatás Napja az ELTE-n rendezvényen, Megjelenés: Magyarország,
Közlemény:30326056 Nyilvános Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[30326056] [Nyilvános]
50.
Gábor, Horváth ; Péter, Szécsi ; Zoltán, Gera ; Dániel, Krupp ; Norbert, Pataki
Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer
In: Árpád, Beszédes; Monika, Gupta (szerk.) 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation SCAM 2018
Madrid, Spanyolország : IEEE Computer Society (2018) pp. 171-176. , 6 p.
DOI IEEE Xplore WoS Scopus
Közlemény:30307362 Egyeztetett Forrás Idéző Könyvrészlet (Könyvfejezet ) Tudományos
Nyilvános idéző összesen: 13 | Független: 5 | Függő: 8 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 8 | WoS/Scopus jelölt: 10 | DOI jelölt: 11
Könyvfejezet (Könyvrészlet) | Tudományos[30307362] [Egyeztetett]
Nyilvános idéző összesen: 13, Független: 5, Függő: 8, Nem jelölt: 0
2024-05-18 22:19