Dr. Ing. Petr Peringer

2013Dudka, 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, p. 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, p. 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, p. 48
2012Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 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, Vol. 2012, No. 6927, DE, p. 527-534, ISSN 0302-9743
2011Dudka, 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, p. 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, Vol. 2011, No. 6806, DE, p. 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, p. 23
2008Peringer, P.: New Calendar Implementation for SIMLIB/C++, In: Proceedings of ASIS 2008, Ostrava, CZ, MARQ, 2008, p. 166-169, ISBN 978-80-86840-42-0
2007Peringer, P.: Porting SIMLIB/C++ to 64-bit Platform, In: Proceedings of XXIXth International Autumn Colloquium ASIS 2007, Ostrava, CZ, MARQ, 2007, p. 155-160, ISBN 978-80-86840-34-5
2006Hanáček, P., Hrubý, M., Peringer, P., Rábová, Z.: Bakalářský studijní program na VUT FIT, In: Sborník konference Informatika 2006, Brno, CZ, 2006, p. 1-4
 Peringer, P.: Open Source Simulation and Data Analysis Tools, In: Proceedings of ASIS 2006, Ostrava, CZ, MARQ, 2006, p. 109-112, ISBN 80-86840-26-3
2005Hanáček, P., Peringer, P., Rábová, Z.: Získávání vstupních dat pro modely bezpečnosti, In: Proceedings of ASIS 2005, Ostrava, CZ, MARQ, 2005, p. 68-73, ISBN 80-86840-16-6

Show all publications

Your IPv4 address: 50.16.108.167
Switch to IPv6 connection

DNSSEC [dnssec]