Recent Submissions

  • Shepherding Hordes of Markov Chains 

    Češka, Milan (Springer International Publishing, 2019-04-17)
    This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and ...
  • PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) 

    Šoková, Veronika; Peringer, Petr; Vojnar, Tomáš (Springer International Publishing, 2020-02-26)
    This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper ...
  • Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection 

    Češka, Milan; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš (Springer Verlag, 2018-02-23)
    We consider the problem of approximate reduction of non-deterministic automata that appear in hardware-accelerated network intrusion detection systems (NIDSes). We define an error distance of a reduced automaton from the ...
  • Anatomy of Biometric Passports 

    Malčík, Dominik; Drahanský, Martin (Hindawi, 2012-07-18)
    Cestování se stává dostupným pro stále větší procento populace. Každý den jsou přepraveny miliony lidí. Proto vyvstává potřeba lepší kontroly nad přesuny osob a spolehlivější identifikace jedinců. Trendem poslední doby ...
  • Influence of Skin Diseases on Fingerprint Recognition 

    Drahanský, Martin; Doležel, Michal; Urbánek, Jaroslav; Březinová, Eva; Kim, Tae hoon (Hindawi, 2012-05-20)
    V dnešní době trpí mnoho lidí různými kožními onemocněními. Tato kožní onemocnění mají silný vliv na proces rozpoznávání otisků prstů. Lidé trpící kožními onemocněními znemožňujícími použití daktyloskopických senzorů jsou ...