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, 31787944
Szakcikk (Folyóiratcikk) | Tudományos[31787944]
  1. Han Deshuai et al. Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty. (2023) APPLIED SCIENCES-BASEL 2076-3417 13 3 p. 2018
    Szakcikk (Folyóiratcikk) | Tudományos[33628432] [Egyeztetett]
    Független, Idéző: 33628432, Kapcsolat: 32530744
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, 31819027
Szakcikk (Folyóiratcikk) | Tudományos[31819027]
  1. Szalay Richard et al. Flexible semi-automatic support for type migration of primitives for C/C++ programs. (2022) Megjelent: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) pp. 878-889
    Konferenciaközlemény (Könyvrészlet) | Tudományos[33023316] [Admin láttamozott]
    Független, Idéző: 33023316, Kapcsolat: 31595612
Tibor Brunner et al. Backward Compatibility Violations and their Detection in C++ Legacy Code using Static Analysis. (2016) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 16 2 12-19, 3109114
Szakcikk (Folyóiratcikk) | Tudományos[3109114]
  1. * Bence Babati et al. Analysis of Include Dependencies in C++ Source Code. (2017) ACSIS-Annals of Computer Science and Information Systems 2300-5963 13 149-156
    Szakcikk (Folyóiratcikk) | Tudományos[3272050] [Admin láttamozott]
    Függő, Idéző: 3272050, Kapcsolat: 26845433
  2. * Babati Bence et al. Static Analysis Toolset with Clang. (2018) Megjelent: Proceedings of the 10th International Conference on Applied Informatics pp. 23-29
    Konferenciaközlemény (Könyvrészlet) | Tudományos[30307127] [Nyilvános]
    Függő, Idéző: 30307127, Kapcsolat: 27707717
  3. Bavay Mathias et al. Inishell 2.0: semantically driven automatic GUI generation for scientific models. (2022) GEOSCIENTIFIC MODEL DEVELOPMENT 1991-959X 1991-9603 15 2 365-378
    Szakcikk (Folyóiratcikk) | Tudományos[32720548] [Nyilvános]
    Független, Idéző: 32720548, Kapcsolat: 31165381
Pataki Norbert. Safe Iterator Framework for the C++ Standard Template Library. (2012) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 12 1 17-24, 2006749
Szakcikk (Folyóiratcikk) | Tudományos[2006749]
  1. * Gábor Horváth et al. Clang matchers for verified usage of the C++ Standard Template Library. (2015) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 44 99-109
    Szakcikk (Folyóiratcikk) | Tudományos[2906009] [Admin láttamozott]
    Függő, Idéző: 2906009, Kapcsolat: 26629346
  2. * Babati Bence et al. Comprehensive Performance Analysis of C++ Smart Pointers. (2017) POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 1788-1994 1788-3911 12 3 157-166
    Szakcikk (Folyóiratcikk) | Tudományos[3283737] [Admin láttamozott]
    Függő, Idéző: 3283737, Kapcsolat: 26942718
  3. * Gábor Horváth et al. Detecting Misusages of the C++ Standard Template Library. (2018) Megjelent: Proceedings of the 10th International Conference on Applied Informatics pp. 129-136
    Konferenciaközlemény (Könyvrészlet) | Tudományos[30307157] [Nyilvános]
    Függő, Idéző: 30307157, Kapcsolat: 27707751
  4. * 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
    Konferenciaközlemény (Könyvrészlet) | Tudományos[30796615] [Egyeztetett]
    Függő, Idéző: 30796615, Kapcsolat: 28296555
  5. * Dániel Kolozsvári et al. A Static Analysis Approach for Modern Iterator Development. (2020) Megjelent: Collection of Abstracts pp. 97-97
    Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31622883] [Admin láttamozott]
    Függő, Idéző: 31622883, Kapcsolat: 29480224
2023-06-04 08:41