Dr. Ing. Petr Peringer

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
2004Hanáček, P., Peringer, P., Rábová, Z.: Analýza simulačních dat získaných z kryptografického modulu, In: Proceedings of ASIS 2004, Ostrava, CZ, MARQ, 2004, p. 6, ISBN 80-86840-03
 Hanáček, P., Peringer, P., Rábová, Z.: Využití modelů při analýze bezpečnosti kryptografických modulů, In: NETSS2004, Ostrava, CZ, MARQ, 2004, p. 115-120, ISBN 80-85988-92-5
 Hrubý, M., Peringer, P., Rábová, Z.: Modelling of Tamper-Proof Devices, In: Proceedings of 38th International Conference MOSIS'04, Ostrava, CZ, MARQ, 2004, p. 6, ISBN 80-85988-98-4

Show all publications

Your IPv4 address: 38.107.179.216
Switch to IPv6 connection

DNSSEC [dnssec]