Gábor Horváth et al. Poster: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages. (2018) Megjelent: Proceedings of the 40th International Conference on Software Engineering Companion pp. 428-429, 3376954
Könyvrészlet/Absztrakt / Kivonat (Könyvrészlet)/Tudományos[3376954]
  1. Mikhail Yasha. Scalable and precise verification based on k-induction, symbolic execution and floating-point theory. (2019)
    Disszertáció/PhD (Disszertáció)/Tudományos[30811496] [Nyilvános]
    Független, Idéző: 30811496, Kapcsolat: 28314216
Gábor Horváth et al. Code Generation in Serializers and Comparators of Apache Flink. (2017) Megjelent: Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, 3245042
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[3245042]
  1. Henri Hagberg. Performance of serialized object processing in Java. (2019)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[30782155] [Nyilvános]
    Független, Idéző: 30782155, Kapcsolat: 28278819
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, 2906009
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2906009]
  1. * Gábor Horváth. C++ Static Analysis with Clang. (2016)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[26616565] [Nyilvános]
    Függő, Idéző: 26616565, Kapcsolat: 26612657
  2. Mário Nelson. Energy analysis in the CodeCompass system. (2017)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[30677959] [Nyilvános]
    Független, Idéző: 30677959, Kapcsolat: 28167461
2022-01-20 01:04