Ing.

Kamil Dudka

[photo]

Publikace

  • 2016

    DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek a VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science, roč. 9583. Berlin Heidelberg: Springer Verlag, 2016, s. 431-452. ISBN 978-3-662-49121-8.
    Detail

    DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek a VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers, Technical Report No. FIT-TR-2015-03. Brno, 2016.
    Detail

  • 2014

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Shape Analyzer Based on Symbolic Memory Graphs (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 8413. Heidelberg: Springer Verlag, 2014, s. 412-414. ISBN 978-3-642-54861-1.
    Detail

  • 2013

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Byte-Precise Verification of Low-Level List Manipulation. In: 20th Static Analysis Symposium. Lecture Notes in Computer Science Volume 7935, roč. 20. Berlin: Springer Verlag, 2013, s. 215-237. ISBN 978-3-642-38855-2. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Byte-Precise Verification of Low-Level List Manipulation. FIT-TR-2012-04, Brno: Fakulta informačních technologií VUT v Brně, 2013.
    Detail

    DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science Volume 7795, roč. 2013. Berlin: Springer Verlag, 2013, s. 627-629. ISBN 978-3-642-36742-7. ISSN 0302-9743.
    Detail

  • 2012

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 527-534. ISSN 0302-9743.
    Detail

    DUDKA Kamil, MÜLLER Petr, PERINGER Petr a VOJNAR Tomáš. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution). Lecture Notes in Computer Science, roč. 2012, č. 7214, s. 544-547. ISSN 0302-9743.
    Detail

  • 2011

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. An Easy to Use Infrastructure for Building Static Analysis Tools. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 328-329. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. Lecture Notes in Computer Science, roč. 2011, č. 6806, s. 372-378. ISSN 0302-9743.
    Detail

    DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. FIT-TR-2011-02, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

Nahoru