• Automatizované pipeliny pro analýzu dat 

      Autor: Michael Vrána; Vedoucí práce: Křikava Filip; Oponent práce: Donat-Bouillud Pierre
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)
      Pipeliny pro analýzu dat popisují datovou analýzu, jako sekvenci na sobě závisejících kroků. Tyto pipeliny jsou reproducibilní a lze je vyhodnocovat efektivně. Tato práce se zabývá návrhem a implementací balíčku v jazyce ...
    • Vnořené smyčky a path explosion problém v symbolické exekuci 

      Autor: Vojtěch Rozhoň; Vedoucí práce: Donat-Bouillud Pierre; Oponent práce: Kirsch Christoph
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      Práce vyhodnocuje techniky pro řešení problému exploze cest v symbolické exekuci. Obzvláštní důraz je kladen na interakce jednotlivých technik se vnořenými cykly. Metody ořezávání cest, subsumpce cest, slučování stavů a ...