• Analýza výkonu řešiče systému generálního klíče a hlavních klíčů 

      Autor: Hořeňovský Martin; Vedoucí práce: Černoch Radomír; Oponent práce: Vyskočil Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-09)
      Tato práce popisuje existující řešič systémů generálního klíče vyvinutý na katedře počítačů, FEL, ČVUT, který je založený na problému SAT. Práce poskytuje přehled, jak se systém generálního klíče převádí na problém SAT, ...
    • Využití symbolické exekuce pro testování real-time, bezpečnostně kritického softwaru 

      Autor: Hořeňovský Martin; Vedoucí práce: Sojka Michal; Oponent práce: Štěpán Petr
      Tato práce zkoumá vhodnost nástroje symbolické exekuce KLEE pro verifikaci real-time bezpečnostně kritických systémů. Real-time bezpečnostně kritické systémy jsou ty, u kterých selhání může vést ke ztrátě lidských životů anebo ...