Recent Submissions

  • 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 characterizes ...
  • 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 ...
  • 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 (NEUVEDEN, 2012-07-18)
    Travelling is becoming available for more and more people. Millions of people are on a way every day. That is why a better control over global human transfer and a more reliable identity check is desired. A recent trend ...
  • Influence of Skin Diseases on Fingerprint Recognition 

    Drahanský, Martin; Doležel, Michal; Urbánek, Jaroslav; Březinová, Eva; Kim, Tae hoon (NEUVEDEN, 2012-05-20)
    There are many people, who suffer from some of the skin diseases. These diseases have a strong influence on the process of fingerprint recognition. People with fingerprint diseases are unable to use fingerprint scanners, ...