Ing. Kamil Dudka
| 2013 | Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Tool for Verification of Low-Level List Manipulation (Competition Contribution), In: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, DE, Springer, 2013, s. 627-629, ISBN 978-3-642-36742-7, ISSN 0302-9743 |
| | Dudka, K., Peringer, P., Vojnar, T.: Byte-Precise Verification of Low-Level List Manipulation, In: 20th Static Analysis Symposium, Berlin, DE, Springer, 2013, s. 215-237, ISBN 978-3-642-33124-4, ISSN 0302-9743 |
| | Dudka, K., Peringer, P., Vojnar, T.: Byte-Precise Verification of Low-Level List Manipulation, FIT-TR-2012-04, Brno, CZ, FIT VUT, 2013, s. 48 |
| 2012 | Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution), In: Lecture Notes in Computer Science, roč. 2012, č. 7214, DE, s. 544-547, ISSN 0302-9743 |
| | Dudka, K., Peringer, P., Vojnar, T.: An Easy to Use Infrastructure for Building Static Analysis Tools, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 527-534, ISSN 0302-9743 |
| 2011 | Dudka, K., Peringer, P., Vojnar, T.: 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, ES, IUCTC, 2011, s. 328-329, ISBN 978-84-693-9560-8 |
| | Dudka, K., Peringer, P., Vojnar, T.: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, In: Lecture Notes in Computer Science, roč. 2011, č. 6806, DE, s. 372-378, ISSN 0302-9743 |
| | Dudka, K., Peringer, P., Vojnar, T.: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, FIT-TR-2011-02, Brno, CZ, FIT VUT, 2011, s. 23 |
Zobrazit všechny publikace |
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)