Bence Babati et al. On the Validated Usage of the C++ Standard Template Library. (2019) Megjelent: Proceedings of the 9th Balkan Conference on Informatics - BCI'19, 30796615
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30796615]
  1. * Bence Babati et al. The Role of Implementation-specific Static Analysis. (2020) Megjelent: Collection of Abstracts pp. 17-18
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[31622865] [Admin láttamozott]
    Függő, Idéző: 31622865, Kapcsolat: 29480204
  2. * Dániel Kolozsvári et al. A Static Analysis Approach for Modern Iterator Development. (2020) Megjelent: Collection of Abstracts pp. 97-97
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[31622883] [Admin láttamozott]
    Függő, Idéző: 31622883, Kapcsolat: 29480221
  3. * Babati Bence et al. A static analysis method for safe comparison functors in C++. (2020) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 52 5-18
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31783779] [Admin láttamozott]
    Függő, Idéző: 31783779, Kapcsolat: 29741810
  4. * Bence Babati et al. EVALUATION OF PREDICATES IN THE C++ STANDARD TEMPLATE LIBRARY. (2021) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 0138-9491 52 57-72
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[32305034] [Admin láttamozott]
    Függő, Idéző: 32305034, Kapcsolat: 30625468
Gábor Horváth et al. Categorization of C++ Classes for Static Lifetime Analysis. (2019) Megjelent: Proceedings of the 9th Balkan Conference on Informatics - BCI'19, 30796594
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30796594]
  1. * Gábor Horváth et al. IMPROVING THE PRECISION OF FLOW-SENSITIVE LIFETIME ANALYSIS. (2020) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 20 4 10-18
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31819027] [Admin láttamozott]
    Függő, Idéző: 31819027, Kapcsolat: 29783693
Babati Bence et al. Static Analysis Toolset with Clang. (2018) Megjelent: Proceedings of the 10th International Conference on Applied Informatics pp. 23-29, 30307127
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30307127]
  1. * Bence Babati et al. On the Validated Usage of the C++ Standard Template Library. (2019) Megjelent: Proceedings of the 9th Balkan Conference on Informatics - BCI'19
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30796615] [Nyilvános]
    Függő, Idéző: 30796615, Kapcsolat: 28296533
  2. * Endre Fülöp et al. Symbolic Execution with Finite State Automata. (2019) Megjelent: 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings pp. 116-120
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[30932379] [Admin láttamozott]
    Függő, Idéző: 30932379, Kapcsolat: 28451416
  3. * Márk Török et al. DevOps Dashboard with Heatmap. (2020) Megjelent: Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) pp. 400-407
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[31398272] [Admin láttamozott]
    Függő, Idéző: 31398272, Kapcsolat: 29098153
  4. * Endre Fülöp et al. Comprehensive Evaluation of Cross Translation Unit Symbolic Execution. (2020) Megjelent: Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) pp. 105-113
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[31398288] [Admin láttamozott]
    Függő, Idéző: 31398288, Kapcsolat: 29098161
  5. * Fülöp Endre et al. A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. (2020) OPEN COMPUTER SCIENCE 2299-1093 11 1 107-115
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31787944] [Admin láttamozott]
    Függő, Idéző: 31787944, Kapcsolat: 29746260
2022-01-20 00:29